AxiomProver 首次自动验证“246 定理”数学证明

Axiom Math 使用其 AI 系统 AxiomProver 首次自动验证了与素数相关的“246 定理”证明。该验证过程基于机器可读的证明形式，展示了 AI 在数学研究中辅助验证的潜力。AxiomProver 已用于验证多个数学证明，并构建了关于素数间隔的可复用结果库，未来或可用于确保 AI 生成代码的安全性。