Het AI-model Claude heeft een belangrijke bijdrage geleverd aan de getaltheorie door te bewijzen dat $\ge 67\%$ van de niet-triviale nulpunten van de Riemann-hypothese op de kritieke lijn liggen. Dit is een aanzienlijke stijging ten opzichte van de voorheen bekende waarde van $41,6\%$.
Kernpunten uit het artikel:
- Methodiek: Claude combineerde recent menselijk onderzoek met een paper uit 2000. Het bewijs is inmiddels geformaliseerd in de programmeertaal Lean en geverifieerd door expert Goldston.
- De rol van de mens: Gebruiker Jarred Sumner, die zelf geen wiskundige achtergrond heeft, fungeerde enkel als aansturing en motivator voor het model.
- Vergelijking: Andere AI-modellen (zoals Sonnet 5, Haiku 4.5 en Opus 5) waren niet in staat om tot dezelfde conclusies te komen of liepen vast tijdens het proces.
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$.
Acht dagen geleden vroeg Jarred Sumner aan het AI-model Claude om de Riemann-hypothese op te lossen. Hoewel het model de hypothese niet volledig oploste, kwam het anderhalf dag later met een bewijs dat $\ge 67\%$ van de nulpunten op de kritieke lijn liggen. Dit is een aanzienlijke verbetering ten opzichte van de voorgaande waarde van $41,6\%$. Analytisch getaltheoretici reageren enthousiast op dit resultaat.
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$.
Groetjes,