Riemann-zetafunctie

Een onuitgebracht Claude-model tilde de bewezen ondergrens voor zeta-nulpunten op de kritieke lijn van 41,6 naar 67,2 procent, volledig nagerekend in Lean. Wat die controleerbare vorm zegt over AI-werk dat je kunt uitbesteden.