Axiom Math团队利用AI系统AxiomProver，首次自动验证了与素数相关的"246定理"证明——该定理指出存在无穷多个相差246的素数对，是人类在孪生素数猜想上迄今最接近目标的成果。此次验证不仅是数论领域的重要里程碑，更展示了AI形式化验证在未来确保AI生成代码正确性方面的巨大潜力。研究团队还构建了可复用的素数间隔结果库，为后续数学研究奠定基础。