Will's Blog: 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 (Cade Metz/New York Times)

12 March 2026

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 (Cade Metz/New York Times)

Cade Metz / New York Times:
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 …

Posted from: this blog via Microsoft Power Automate.