Introducing Gauss, an agent for autoformalization~ai~dev~mathematics~research~scienceannouncementsproofs.formalproofs.lean> [W]e are pleased to announce that with Gauss, we have completed the project… morewww.math.inc Oct 3, 2025Tildes