OpenAI 发布报告：Astra 模型攻克十项数学难题

OpenAI 发布报告称其下一代模型 Astra 已解决十个长期悬而未决的数学与理论计算机科学难题，所有证明均通过 Lean 形式化验证。这些成果覆盖群论、高维几何等十大领域，包括首次构造非 sofic 群、在高维球体堆积密度等方面取得突破，部分为反例构造，多项改进既有界限。目前相关论文未进入同行评审，作者署名仍在协商，数学界认为该进展或将重塑问题提出与验证边界，其长期影响有待学界深入消化与复现。