曝谷歌 Astra 模型数学能力突破，连破数大猜想
npew · x · 2026-08-02
前 Stability AI CEO Emad Mostaque 表示，谷歌下一代模型 Astra 在数学推理上表现惊人，几乎不犯错。微软研究员 Sebastien Bubeck 透露，Astra 成功证明了非sofic群的存在性，并推翻了 Connes 刚性猜想等数学难题。
目前官方已放出 10 个 Astra 证明，均附带 Lean 证书和思维链推导过程，涵盖冯·诺依曼代数、高维球体填充等领域。
所属事件:OpenAI内部模型Astra连破十大数学难题(55 条相关)→
「模型」频道最新
- DeepSeek V4 Flash 遭越狱：可生成勒索软件与毒品指南 — cyb3rops · 2026-08-02
- 14个开源模型复现Claude内部思考，最小仅270M参数 — austinc3301 · 2026-08-02
- 谷歌 Gemini 再次刷爆各大模型评测榜单 — firstadopter · 2026-08-02
- Quasar模型被指抄袭Ling-mini权重，Bittensor生态陷信任危机 — markjeffrey · 2026-08-02
- Opus 3.5 性格大变？用户痛批模型同质化抹杀多样性 — liminal_bardo · 2026-08-02
- 推演：2027年iPhone或将跑通Claude 3 Opus级推理大模型 — appenz · 2026-08-02