🚨 Agent společnosti Math Inc, Gauss, právě autoformalizoval důkaz Riemannovy hypotézy pro křivky