OpenAI 的 Astra 模型内部版本在数学领域取得突破，解决了十道开放超过十年的数学和计算机科学问题。结果以严格证明的形式呈现，据 infohub.kz 网站报道。

OpenAI 在 GitHub 上以 Apache 2.0 许可证发布了 249 页的手写汇编和 10 道未解问题的 Lean 4 数字证书。所有由算法推导出的证明均成功通过正式机器验证，逻辑链中没有任何遗漏。

在已解决的问题中，包括反驳 1980 年提出的 Conn 刚性猜想，构建非苏菲克群存在性的证明，以及解决 Paul Erdős 关于多色 Ramsey 数的第 183 题。此外，Astra 还在多维空间球体堆积、量子重复和算法复杂性方面找到了解决方案。

新的 AI 系统 Astra 旨在通过协调多个代理的工作，长期处理复杂问题。研究员 Noam Brown 指出，代币成本仅为约 2000 美元。不过，所有呈现的结果仍有待科学家的专家评审。