🚨 Der Agent von Math Inc, Gauss, hat gerade den Beweis der Riemannschen Hypothese für Kurven automatisch formalisiert.