Nieuws5 min
12 aug 06:08
Onuitgebracht Claude-model verhoogt bewezen ondergrens voor zeta-nulpunten naar 67,2 procent
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.