A(A(
Axiom (Math)
Verified AI prover
AISeries AEst. 202011–50 employeesSan Francisco, United States
Axiom's mission is to build a self-improving superintelligent reasoner, starting with an AI mathematician.
Founders
More in AI
Are you the founder?
Add the badge to your site
Show visitors Axiom (Math) is featured on Startups.fm.
<a href="https://startups.fm/startups/axiom-math" target="_blank" rel="noopener noreferrer"> <img src="https://startups.fm/badge/axiom-math" alt="Featured on Startups.fm" width="240" height="63" /> </a>
Newsletter
New startups to watch
Hand-picked startups we discover — delivered every Monday.