Exclusive: a top mathematician almost quit when AI got good at math. Now he's using it to rewrite economics (opens in new tab)

Axiom Math, a $1.6B AI unicorn, is building a formally verified library of economic theorems — and already found gaps in the foundations of antitrust law.