Fuente: 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.
Leer en la Fuente
Noticias Relacionadas
Lista de Noticias
Exclusive: Economists have been teaching an unproven proof for 50 years. AI just solved it
Exclusive
Fortune
Hace 6h
