🚨 L'agente di Math Inc, Gauss, ha appena autoformalizzato la dimostrazione dell'ipotesi di Riemann per le curve