🚨 Agentul Math Inc, Gauss, tocmai a autoformalizat demonstrația Ipotezei Riemann pentru curbe