微软高管暗示下一代模型Astra，连破多项数学难题

PeterBowdenLive · x · 2026-08-01

微软 AI 副总裁 Sébastien Bubeck 在推文中暗示，微软的下一代重大模型 Astra 已经证明了包括“非sofic群存在性”在内的多个全新数学结果。

该模型即将发布 10 项类似的 Astra 证明，每项均附带 Lean 证书和思维链 (CoT) 演练。其成果涵盖广泛，从冯·诺依曼代数（推翻了 Connes 刚性猜想）、高维球填充的更优边界，到电路复杂性以及多色图中的单色三角形等。此消息引发了关于 AI 推理能力是否已迈过奇点门槛的讨论。