Series A Round

Axiom Math is an innovative startup leveraging artificial intelligence to solve complex mathematical problems and advance mathematical reasoning capabilities. The company aims to build mathematical superintelligence, pushing the boundaries of what is possible in the field of mathematics. This Series A funding round, led by Menlo Ventures, raised $200 million at a post-money valuation of over $1.6 billion, allowing Axiom Math to extend its lead in formal mathematics into Verified AI.