🚨 De agent van Math Inc, Gauss, heeft zojuist het bewijs van de Riemann-hypothese voor krommen automatisch geformaliseerd.