精选理由
Axiom 的 AxiomProver 证明了 BGP246 定理，离孪生素数猜想很近。
Axiom 发布了 AxiomProver 模型。该模型完成了 BGP246 定理的机器可验证形式化。BGP246 是素数间隙的最佳已知界限，接近孪生素数猜想。
原文 · The Rundown AI
AI math summer continues
AI math summer continues Axiom @axiommathai 1/ We’re delighted to announce a milestone for AI-assisted mathematics: With AxiomProver, we've completed a machine-checkable formalization of the “BGP246 theorem,” the best-known bound on recurring small gaps between primes. Closest math has come to the Twin Prime Conjecture. 🔗 View Quoted Tweet 💬 2 🔄 0 ❤️ 6 👀 2373 📊 2 ⚡