🚨 Math Incs agent, Gauss, har nettopp autoformalisert beviset for Riemann-hypotesen for kurver