AI验证迄今最复杂数学定理：246素数间隙定理

Axiom Math团队使用AxiomProver首次自动验证了246素数间隙定理的形式化证明，这是数论领域的重要里程碑。该定理指出存在无穷多个差值为246的素数对，是数学界向孪生素数猜想目标推进的最新成果。文章指出形式化验证技术可作为验证AI生成代码正确性的测试平台，对网络安全和密码学具有潜在价值。