🚨 El agente de Math Inc, Gauss, acaba de autoformalizar la prueba de la Hipótesis de Riemann para curvas