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