10h agoAxiom Math and Scott Kominers launch project to formalize economic theory, starting with Aumann's agreement theoremThe initiative translates economic models into computer-checked proofs.SentimentSentimentPos100%Neg0%Users are excited about Axiom Math AI formalizing the Aumann Agreement Theorem because they call the work awesome and want to learn more about the result and paper.1 comment with sentiment. View comments.