tech
Exclusive: Math AI startup can prove its work
Axiom's tools get better at math.
TL;DR
- Axiom Math, an AI startup, has had proofs generated by its algorithms published in five academic journals.
- The AI tool, AxiomProver, produces machine-checkable proofs in the formal language Lean from natural-language problem statements.
- Human mathematicians pair the formal proofs with academic explanations for publication.
- In some instances, the AI has autonomously produced complete, machine-verified proofs for open research problems within approximately 24 hours.
- This advancement highlights the growing capability of AI in solving complex mathematical tasks, a field where large language models are rapidly improving.
- Axiom Math's approach complements other AI advancements, focusing on integrating AI-generated proofs with conventional mathematical papers.