A top mathematician almost quit when # AI got good at math. Now he's using it to rewrite # Economics Axiom is building a formal, machine-verifiable library of f
A mathematician, initially concerned about AI's mathematical prowess, is now leveraging it to reconstruct economic theory. Axiom is developing a formal, machine-verifiable library of foundational economic results, aiming to enhance antitrust analysis and economic modeling. AI
IMPACT Axiom's approach could lead to more rigorous and verifiable economic models, potentially impacting policy and business strategy.