微软高管暗示下一代模型Astra，连破多项数学难题
PeterBowdenLive · x · 2026-08-01
微软 AI 副总裁 Sébastien Bubeck 在推文中暗示，微软的下一代重大模型 Astra 已经证明了包括“非sofic群存在性”在内的多个全新数学结果。
该模型即将发布 10 项类似的 Astra 证明，每项均附带 Lean 证书和思维链 (CoT) 演练。其成果涵盖广泛，从冯·诺依曼代数（推翻了 Connes 刚性猜想）、高维球填充的更优边界，到电路复杂性以及多色图中的单色三角形等。此消息引发了关于 AI 推理能力是否已迈过奇点门槛的讨论。
所属事件:曝OpenAI下一代模型Astra连破十大数学难题(44 条相关)→
「模型」频道最新
- antirez 实测多款国产 AI 模型编程能力 — antirez · 2026-08-01
- DeepSeek开启斩杀模式，能力差价格贵的模型面临淘汰 — rickasaurus · 2026-08-01
- 传 OpenAI 新模型 Astra 解决数学难题,打脸多位 AI 大佬 — Imaginary_Dinner2710 · 2026-08-01
- 用户吐槽 Gemini 安全过滤极度过敏,正常对话频频被拦 — BigLead8814 · 2026-08-01
- Gemini辟谣:AI并未解决10大数学难题 — Dr_Singularity · 2026-08-01
- 谷歌下一代 Astra 模型内测：耗资 2000 美元解决十大数学难题 — yacineMTB · 2026-08-01