微软新模型 Astra 证明非sofic群存在，离散数学达超智能
josh_wills · x · 2026-08-02
微软核心研究员 Sebastien Bubeck 透露，其下一代主要模型 Astra 在离散数学领域已达到“狭义超智能”水平，并成功证明了非 sofic 群的存在性。
该团队发布了 10 个由 Astra 产出的数学证明，涵盖冯·诺依曼代数（推翻 Connes 刚性猜想）、高维球填充更优边界以及电路复杂性等多个前沿领域。所有证明均附带了 Lean 证书和思维链（CoT）解析。
评论指出，当前模型在某些领域超越博士水平，而在其他领域仍有不足，这表明 AI 进展在很大程度上取决于结果的可验证性。
「模型」频道最新
- 跑通真实业务靠的不是跑分：速度与成本决定 Agent 生死 — RachelVT42 · 2026-08-02
- TokenRouter 提供 5000 万免费额度，支持白嫖 Kimi K3 — dr_cintas · 2026-08-02
- Agent 执行器模型横评：GLM-5.2 决策强，Ling-3.0 更守规矩 — derspenti · 2026-08-02
- 实测吐槽：DeepSeek 模型无视规则提示，实战不如 Qwen — Juulk9087 · 2026-08-02
- Grok 语音模型实测胜出：准确率更高且“语音损耗”更小 — XFreeze · 2026-08-02
- Gary Marcus 批驳 Astra 泛化论：数学能力不代表能解决所有现实问题 — GaryMarcus · 2026-08-02