OpenAI 攻克十道数学难题
热点事件历史事件
OpenAI 攻克十道数学难题
2 篇报道2 个报道来源2026-08-01更新
先了解这件事
报道摘要
OpenAI 下一代模型 Astra 证明了 10 项重大数学成果，包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程，相关细节已发布于官方博客。
摘自 Tibo
最新进展8月1日 22:13
OpenAI Astra 发布 10 项数学突破报道时间线
沿着报道，了解事件的不同侧面。
8月1日
- TiboOpenAI Astra 发布 10 项数学突破
OpenAI 下一代模型 Astra 证明了 10 项重大数学成果，包括推翻 Connes 刚性猜想、改进高维球堆积与电路复杂度下界等。每项证明均附带 Lean 证书与 CoT 推理过程，相关细节已发布于官方博客。
- The Decoder：AI NewsOpenAI 发布“下一代主要模型”Astra，攻克十道多年未解数学难题
OpenAI 正式确认其“下一代主要模型家族”Astra，称内部版本已解决数学与理论计算机科学领域的十道开放难题，其中一道证明建立了非 sofic 群的存在性，相关领域数学家至少十年未获进展。