AI Used to Verify Toughest Mathematics Proof Yet
产业动态
来源：IEEE Spectrum AI发布时间待核实
Representing a significant milestone in AI-assisted mathematical research, a team at Axiom Math has automatically verified the proof of a theorem relating to prime numbers—colloquially referred to as the “246 theorem”—for the first time using the company’s AI system AxiomProver. In formal verification, mathematicians task a computer with checking a machine-readable version of a proof.