品玩8月3日讯，OpenAI于8月1日发布报告，披露其下一代模型Astra已解决十个长期悬而未决的数学与理论计算机科学难题。所有证明均已通过Lean形式化验证，确保逻辑严谨性。

这些成果覆盖群论、高维几何、编码理论、算子代数、计算复杂性、量子复杂性、格密码学、离散几何、Ramsey理论及极值图论等领域。其中，Astra首次构造出非sofic群，解决了自1999年以来的开放问题；同时在高维球体堆积密度、算术电路复杂度等方面取得实质性突破。

尽管部分结果为反例构造，但多项成果属于对既有界限的实质性改进。目前相关论文尚未进入同行评审流程，作者署名仍在协商中。数学界普遍认为，这一进展或将重塑问题提出与验证的边界，但成果的长期影响仍有待学界深入消化与复现。