AI math startup's proofs land in peer-reviewed journals
- May 27
- 1 min read
AXIOS — Axiom Math (no relation to Axios) says proofs produced by its technology — with human-authored articles — have now been accepted by five leading journals.
They also have more papers under review at journals, eight papers on arXiv and six more in the pipeline.
Axiom's tool — called AxiomProver — produces full, machine-checkable proofs in a formal language known as Lean.
Read the full story | AXIOS
