谷歌 Astra 模型数学能力突破：证伪猜想并发布 10 项证明

danintheory · x · 2026-08-02

Google AI 负责人 Boaz Barak 透露了下一代重磅模型 Astra 在高级数学推理上的突破性进展。该模型成功证明了包括证伪 Connes' 刚性猜想（涉及冯·诺依曼代数）在内的多项重要数学命题，并给出了高维球体填充、电路复杂度等领域的更优边界。

官方已发布了 10 项由 Astra 生成的数学证明，每项证明均配备了 Lean 证书（形式化验证）以及详细的思维链（CoT）推理解析，以确保其严谨性。Boaz Barak 表示，他非常期待数学家和科学家们能利用该模型推动科研进展。