🚨 Math Inc:s agent, Gauss, har just autoformaliserat beviset för Riemannhypotesen för kurvor