🚨 Math Inc:n agentti, Gauss, autoformalisoitui juuri Riemannin hypoteesin todistuksen käyrille