标签
一个名为 Theo Conjecture 的AI系统，利用了大型语言模型，解决了一个35年前的图论问题，该问题最初由数学家 Paul Erdős 提出，发现了一个意想不到的项。该系统通过循环提出、测试和修正数学想法来工作。
HBO Max正在推出一个名为“HBO Max Shorts”的竖屏视频信息流，它利用AI和人工编辑为用户呈现定制化的预告片、片段和附加内容，初期将面向美国部分iOS用户进行测试。
一个名为Fable的AI模型发现了雅可比猜想的一个反例，这是一个长期未解决的数学难题。它通过找到一个满足特殊条件但不可逆的多项式函数实现了这一点。
Microsoft 发布了创纪录的 570 个 Windows 及其他软件的安全补丁，包括 60 个严重缺陷和三个零日漏洞，并将数量激增归因于 AI 辅助的漏洞发现。
Codex发现了一个名为“HTTP/2炸弹”的远程拒绝服务漏洞，该漏洞针对主流Web服务器（包括nginx、Apache、IIS、Envoy、Pingora）中的HPACK压缩，通过将压缩炸弹与流量控制保持相结合，快速耗尽服务器内存。
今天我们推出 Recursive，一家专注于递归自我改进和知识发现的 AI 公司，旨在推动科学与技术进步。
GPT-5 帮助数学家 Ernest Ryu 解决了一个困扰优化理论40年的开放问题，涉及 Nesterov 加速梯度法的稳定性性质。这一突破展示了大型语言模型通过从数学文献中提取相关技术和思想来辅助重大数学发现的能力。