Post
Post
Dan Roberts 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 new formalizations and with any errata we notice. https://t.co/HI6otY2NTO"
Dan Roberts @danintheory 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 new formalizations and with any errata we notice. math/history.md at main · openai/math From github.com 5:20 AM · Oct 8, 2026 · 336.6K Views 71
Anderson @ItsGoharr 10h proofs are shipping like software now 6
Smoke-away @SmokeAwayyy 13h To save you a click: > As a result, we have withdrawn the following three manuscripts: - Algebraicity of Weil classes on split abelian eightfolds - Algebraicity of Kuga–Satake Correspondences for K3 Surfaces - The rational Hodge conjecture for products of K3 surfaces 3
Bicycle @BicycleSocials 6h Respectfully why did you not check these before releasing them? 9