微软高管预告下一代模型 Astra：连破 10 大数学难题
ctjlewis · x · 2026-08-01
微软 AI 副总裁 Sebastien Bubeck 透露了代号为 Astra 的下一代模型。该模型在高级纯数学领域取得了重大突破，例如推翻了 Connes 刚性猜想。
官方已发布了 10 个由 Astra 证明的数学结果，涵盖冯·诺依曼代数、高维球体堆积、电路复杂度等领域。每个证明都附带了 Lean 证书和思维链（CoT）推演过程。这种严谨的定理证明能力，让人看到了迈向超级智能（ASI）的潜力。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(34 条相关)→
「模型」频道最新
- 曝 OpenAI 向华盛顿官员演示多智能体系统 Astra — ChrisGPT · 2026-08-01
- OpenAI大降API价：GPT-5.6 Luna降价80%，性能逼近Opus且成本仅1/17 — gabrielchua · 2026-08-01
- Claude Opus 5 被指难用，Sonnet 5 成最可靠模型 — seanmcdonaldxyz · 2026-08-01
- 探讨主流大模型是否采纳 Unlimited OCR 技术 — Wise_Stick9613 · 2026-08-01
- 用户吐槽 Claude Opus 德语对话像心理医生,且语法糟糕 — MarcJSchmidt · 2026-08-01
- DeepSeek 被曝 7 美分开发一款游戏,编程成本白菜价 — rand_longevity · 2026-08-01