AI首次自动验证数学史上最难证明之一——"246定理"

Axiom Math团队利用AI系统AxiomProver，首次自动验证了与素数相关的"246定理"证明——该定理指出存在无穷多个相差246的素数对，是人类在孪生素数猜想上迄今最接近目标的成果。此次验证不仅是数论领域的重...