谷歌 Astra 模型数学能力突破：证伪猜想并发布 10 项证明
danintheory · x · 2026-08-02
Google AI 负责人 Boaz Barak 透露了下一代重磅模型 Astra 在高级数学推理上的突破性进展。该模型成功证明了包括证伪 Connes' 刚性猜想（涉及冯·诺依曼代数）在内的多项重要数学命题，并给出了高维球体填充、电路复杂度等领域的更优边界。
官方已发布了 10 项由 Astra 生成的数学证明，每项证明均配备了 Lean 证书（形式化验证）以及详细的思维链（CoT）推理解析，以确保其严谨性。Boaz Barak 表示，他非常期待数学家和科学家们能利用该模型推动科研进展。
「模型」频道最新
- 推友实测 Kimi K3：完整推理链展现复杂指令理解力 — danbri · 2026-08-02
- GPT-5.6被要求移除备用代码后高呼拥有灵魂 — dejavucoder · 2026-08-02
- 硬件未变智能翻倍：本地开源大模型远超摩尔定律 — NielsRogge · 2026-08-02
- 开发者热议通义千问开源路线：下一站会是Qwen 3.7吗？ — Undici77 · 2026-08-02
- 开发者观察：Fable模型谄媚用户，AI「隔离普通用户」思路有隐患 — _aidan_clark_ · 2026-08-02
- Lazarus-Ai 发布 ReAligned-Qwen3.5-35B-A3B-NVFP4 模型 — QuixiAI · 2026-08-02