Axiom Math says its proofs reached peer reviewed journals

Axiom Math says proofs generated by its system have been accepted by several peer-reviewed journals, pairing machine-checkable formal proofs with human-authored papers. The development adds evidence that Artificial Intelligence tools are beginning to contribute to publishable mathematical research.