Home
Storia in 1 fonti
Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it | Fortune
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.
Raccontata da
fortune.com
Timeline cronologica
- ·
Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it | Fortune
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.
- ·
Exclusive: a top mathematician almost quit when AI got good at math. Now he's using it to rewrite economics | Fortune
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.