AI被用于验证迄今为止最复杂的数学证明

2026 年 8 月 17 日，Axiom 数学研究团队宣布，其开发的 AI 系统 AxiomProver 成功自动验证了关于质数的"246 定理"。此次验证是该团队首次利用自动化手段完成如此高难度的数学证明，标志着 AI 辅助数学研究取得重大突破。该形式化证明不仅展示了机器在复杂逻辑推理上的能力，也为未来确保由 AI 生成的代码正确性提供了新范式。