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