OpenAI 用 Astra 模型攻克十大数学难题

Ten advances in mathematics and theoretical computer science

OpenAI 宣布其内部模型 Astra 在数学与理论计算机科学领域取得突破性进展，成功解决了十道长期悬而未决的难题。这些成果涵盖高维几何、编码理论、群论及量子复杂性等多个核心领域，包括对 Erdős 问题的解答以及 Connes 刚性猜想的证伪。所有证明均由模型生成，并由人类整理成文，最终通过 Lean 证书完成形式化验证。OpenAI 强调，AI 生成的证明应诚实归因，同时承诺向科学界开放工具，以加速未来发现。