Post #233555 1.62K Oct 8, 2026, 09:44 UTC OpenAI withdraws three mathematical resultsArticle, Comments X (formerly Twitter) Dan Roberts (@danintheory) on X We've updated our GitHub math repo with 6 new Lean formalizations, 19 modifications, and 3 withdrawals. The repo now has ~42% top-line results formalized. We will continue to update the repo with … 🤣 51 😁 3 👀 3 😭 2 👾 2 💩 1 🤡 1 😐 1