AxiomProver formalizza in Lean 4 il teorema sui gap tra numeri primi con limite 246
Axiom Math ha completato con il sistema di intelligenza artificiale AxiomProver una dimostrazione formalmente verificata in Lean 4 del risultato attualmente più avanzato sui gap limitati tra numeri primi: esistono…