Post #234038 1.46K Oct 16, 2026, 15:05 UTC How to Formalize All of MathematicsArticle, Comments Xena How to Formalize All of Mathematics (This is a guest post, written by Jeremy Avigad, Kevin Buzzard, Johan Commelin, Rémy Degenne, Kim Morrison, Oliver Nash and Adam Topaz.) Mathematicians’ reactions to last week’s big OpenAI release … 🤣 11 💊 6 👎 1