What are junk theorems?~mathematics.foundationsjunk theoremsnatural numbersproofssets> But this looks a bit like rubbish, doesn’t it? That’s why such theorems are… morewww.cantorsparadise.com Dec 27, 2025Tildes
Introducing Gauss, an agent for autoformalization~ai~mathematics~research~scienceproofs.formalproofs.lean> [W]e are pleased to announce that with Gauss, we have completed the project… morewww.math.inc Oct 3, 2025Tildes
Formalizing Fermat’s Last Theorem - How it’s going~mathematics~research~sciencefermats last theoremproofs.leanxenaproject.wordpress.com Dec 12, 2024Tildes