AI-generated proofs published in peer-reviewed journals

Axiom Math's AxiomProver achieved acceptance in five peer-reviewed journals with Lean verification, backed by $200M funding. This marks a concrete milestone for AI-generated proofs, distinct from previous AI-math results.