谷歌下一代模型 Astra 解决十大数学难题
burny_tech · x · 2026-08-01
微软员工 Sebastien Bubeck 转述了 Google DeepMind 高管 Demis Hassabis 的推文：Google 使用下一代内部版本 Astra 模型，成功解决了数学和理论计算机科学领域的十项重大难题。
据称，这些证明的总计算成本仅约 2000 美元。取得的突破非常广泛，包括：
- 证明了非 sofic 群（non-sofic groups）的存在性
- 推翻了 Connes 刚性猜想（涉及冯·诺依曼代数）
- 改进了高维球体堆积的边界
- 在电路复杂度、多色图中的单色三角形等领域取得新进展
官方表示将发布这 10 个 Astra 证明，并为每个证明提供 Lean 证书和思维链（CoT）解析。
所属事件:传OpenAI内部模型Astra连破十大数学难题(11 条相关)→
「模型」频道最新
- 曝谷歌 Astra 内部版破解 10 大数学难题，成本仅 2000 美元 — reach_vb · 2026-08-01
- DeepSeek V4 Flash 本地跑分追平 5 个月前顶级模型 — joorklee · 2026-08-01
- 曝 OpenAI 正研发 Astra 模型，多智能体可连续工作数天 — The Decoder · 2026-08-01
- 10亿参数级大模型正在被各大厂商放弃？ — winter-m00n · 2026-08-01
- 实测 105 个 Bug：最贵模型不碰代码，Luna 性价比远超 Fable — PawelHuryn · 2026-08-01
- OpenAI 内部模型连破 10 大数学难题，涉几何与密码学 — alphacolony21 · 2026-08-01