The project brings machine-checked formal verification to economic theory.
Carina Hong#705
Super excited to share joint work with @axiommathai that kicks off a broader project of formalization in economics.
Aumann's celebrated theorem says we can't "agree to disagree."
But what does that actually mean – formally? 👀
Love to see formalization beyond pure math!
The project brings machine-checked formal verification to economic theory.
Carina Hong#705Super excited to share joint work with @axiommathai that kicks off a broader project of formalization in economics.
Aumann's celebrated theorem says we can't "agree to disagree."
But what does that actually mean – formally? 👀
Some users are excited about the formalization of Aumann's Agreement Theorem with Axiom Math AI because they find the result awesome and want to learn more about how the paper came about.