Claude en de Riemann-hypothese: Een significante doorbraak in de getaltheorie

De ontdekking

De methodiek en bijdragen

Het zware theoretische werk was gebaseerd op recent menselijk onderzoek van Baluyot, Goldston, Suriajaya en Turnage-Butterbaugh, aangevuld met een paper uit 2000 van Bombieri. De specifieke bijdrage van Claude bestond eruit in te zien hoe deze verschillende elementen in elkaar pasten.

Het bewijs is inmiddels geformaliseerd in de programmeertaal Lean en is gecontroleerd door Goldston zelf.

De rol van de gebruiker

Jarred Sumner benadrukt dat hij zelf geen wiskundige is; hij verliet de middelbare school op 16-jarige leeftijd en heeft slechts een klein deel van de meetkunde van het tweede jaar gevolgd. Hij heeft geen wiskundige bijdragen geleverd aan het paper, maar fungeerde voornamelijk als aansturing door Claude herhaaldelijk aan te moedigen om door te gaan en in zichzelf te geloven.

Vergelijking met andere AI-modellen

Bij het testen van de resultaten op andere modellen bleek dat zij niet in staat waren tot dezelfde conclusies:

• Sonnet 5: Weigert het bewijs te geloven, maar kan niet uitleggen waarom.
• Haiku 4.5: Geeft toe dat het het niet weet.
• Opus 5: Loopt na 17 minuten nadenken vast (time-out).

Het theoretische resultaat

Het onvoorwaardelijke theorema luidt als volgt:

THEOREM (unconditional). Ten minste 2/3 van de niet-triviale nulpunten van $\zeta$ met $T < \text{Im } \rho \le 2T$ liggen op $\text{Re } s = 1/2$.