2026-03-12
New York Times
2 related
Axiom Math, which uses AI and the Lean language to verify code in much the same way that mathematicians prove math problems, raised $200M at a $1.6B valuation
In January, a team of researchers at Carnegie Mellon University published a study analyzing the use of artificial intelligence technologies …
2025-12-04
Wall Street Journal
1 related
University of Virginia professor Ken Ono, one of the world's most prominent mathematicians, joins AI startup Axiom Math, which is building an “AI mathematician”
Ken Ono had an epiphany. Now the professor is moving to Silicon Valley to chase mathematical superintelligence. Forums: Hacker News Forums: Hacker News : The Math Legend Who Just Left Academia-For an...
2025-10-01
Forbes
6 related
Axiom Math, which aims to build an “AI mathematician” and has recruited researchers from Meta, raised a $64M seed led by B Capital at a $300M valuation
Axiom Math, which has recruited top talent from Meta, has raised $64 million in seed funding to build an AI math whiz.
Loading articles...