OpenAI 攻克十道数学难题
OpenAI Astra 证明非 sofic 群存在等 10 项数学成果
事件全貌
OpenAI 发布下一代主要模型 Astra，内部版本已解决数学与理论计算机科学领域的十道开放难题。其中一道证明建立了非 sofic 群的存在性，相关领域数学家至少十年未获进展。另一项成果为 Connes 刚性猜想的反例，并附有 Lean 证书与思维链逐步推导。此外，Astra 还改进了高维球堆积与电路复杂度下界等。
OpenAI 的 Sebastien Bubeck 确认了这些进展，并强调证明过程包含形式化验证。Emad Mostaque 称 GPT 5.6 Sol 是首个在数学上不犯错、无需人工输入的模型，但该说法与 Astra 的关系未明确说明。
所有证明均附带 Lean 证书与 CoT 推理过程，相关细节已发布于官方博客。Ethan Mollick 指出，此类成果已超出多数人类的理解范围，能力提升正变得难以“感知”。
本综述由 AI 汇总全部报道生成，随事件进展持续更新；下方时间线中的单篇报道保留其发布时的原貌。
本事件热度走势
报道时间线
- OpenAI Astra 证明非 sofic 群存在等 10 项数学成果
OpenAI 下一代模型 Astra 证明了非 sofic 群存在等多项新数学结果，并发布 10 项完整证明，每项均附带 Lean 证书和 CoT 逐步推演。成果涵盖 von Neumann 代数（推翻 Connes 刚性猜想）、高维球堆积、电路复杂度和多色图单色三角形等方向。
- OpenAI Astra 模型攻克十项数学难题
一个未发布的 OpenAI 模型解决了数学、量子复杂性和理论计算机科学领域的***10 个重大开放问题*** 如果你仍然认为时间线很长，抱歉，那只是自我安慰
- OpenAI Astra 证明数学难题，人类难以感知其能力
OpenAI 下一代模型 Astra 证明了 10 个数学难题，包括推翻 Connes 刚性猜想，并附 Lean 证书与 CoT 推理过程。Ethan Mollick 指出，此类成果已超出多数人类的理解范围，能力提升正变得难以“感知”。
- OpenAI Astra 发布 10 项数学突破
OpenAI 下一代模型 Astra 证明了 10 项重大数学成果，包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程，相关细节已发布于官方博客。
- GPT 5.6 Sol 数学零失误，Astra 证明 10 项新定理
Emad Mostaque 称 GPT 5.6 Sol 是首个在数学上不犯错、无需人工输入的模型。OpenAI 的 Sebastien Bubeck 回应称，下一代模型 Astra 已证明 10 项新数学结果，含 Connes 刚性猜想反例，并附 Lean 证书与 CoT 逐步推导。
- OpenAI 发布“下一代主要模型”Astra，攻克十道多年未解数学难题
OpenAI 正式确认其“下一代主要模型家族”Astra，称内部版本已解决数学与理论计算机科学领域的十道开放难题，其中一道证明建立了非 sofic 群的存在性，相关领域数学家至少十年未获进展。