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