AI Kraakt Zuivere Wiskunde: Twee 2026-Doorbraken Die Bewijzen Dat Machines Nieuwe Wiskunde Kunnen Ontdekken

In 2026 heeft kunstmatige intelligentie een historische drempel overschreden in de zuivere wiskunde. Voor het eerst leverden AI-systemen onafhankelijk belangrijke resultaten op open problemen die tientallen jaren weerstand hadden geboden aan menselijke wiskundigen. Twee doorbraken springen eruit: de weerlegging van het vermoeden van Erdős over eenheidsafstanden door OpenAI in mei, en het tegenvoorbeeld voor de Jacobiaanse conjectuur door Anthropic in juli. Dit zijn geen kleine stappen – het zijn paradigmaverschuivingen die een nieuw tijdperk van mens-AI-samenwerking in wiskundig onderzoek inluiden.

De Twee Doorbraken

OpenAI Weerlegt het Vermoeden van Erdős over Eenheidsafstanden (mei 2026)

Op 20 mei 2026 maakte OpenAI bekend dat een van zijn interne, algemene redeneermodellen een tegenvoorbeeld had geproduceerd voor het vermoeden van Erdős over eenheidsafstanden, een probleem dat Paul Erdős in 1946 formuleerde . Het vermoeden ging over het maximale aantal puntenparen dat exact één eenheid uit elkaar kan liggen bij n punten in het vlak. 80 jaar lang dachten wiskundigen dat de beste configuratie er ongeveer uitzag als een vierkant rooster .

Het OpenAI-model toonde aan dat deze overtuiging onjuist was. Het genereerde een oneindige familie van puntconstructies die een polynoomverbetering ten opzichte van het rooster bewerkstelligen – waarmee bewezen werd dat voor oneindig veel n het aantal eenheidsafstand-paren sneller groeit dan n^(1+δ) voor een zekere vaste δ > 0 . Het bewijs putte uit geavanceerde algebraïsche getaltheorie, waaronder de Golod-Shafarevich-theorie en oneindige klassenlichaamtorens – hulpmiddelen waarvan niemand eerder een verband had gelegd met dit meetkundige probleem .

Het resultaat werd geverifieerd door een groep externe wiskundigen, waaronder Thomas Bloom – dezelfde onderzoeker die eerder een onjuiste bewering van OpenAI aan het licht had gebracht . Een door mensen toegankelijk gemaakt begeleidend artikel werd gepubliceerd op arXiv . Princeton-wiskundige Will Sawin verfijnde snel de constante, waarmee hij aantoonde dat de exponent ten minste n^1.014 kan zijn . Fields-medaillewinnaar Tim Gowers was een van de negen externe wiskundigen die het bewijs controleerden .

Anthropic's Claude Fable 5 Vindt een Tegenvoorbeeld voor de Jacobiaanse Conjectuur (juli 2026)

Op 19 juli 2026 kondigde wiskundige Levent Alpöge, een onderzoeker bij Anthropic, op X aan dat hij met behulp van Anthropic's Claude Fable 5-model een tegenvoorbeeld had gevonden voor de Jacobiaanse conjectuur – een 87 jaar oud open probleem in de algebraïsche meetkunde, voor het eerst gesteld door Ott-Heinrich Keller in 1939 . De conjectuur, gerangschikt op #16 op Fields-medaillewinnaar Stephen Smale's lijst van problemen voor de volgende eeuw uit 1998, stelde dat een polynoomafbeelding van C^n naar C^n met een constante, niet-nulle Jacobiaan-determinant globaal inverteerbaar moet zijn .

Het tegenvoorbeeld is een opmerkelijk beknopte 216-karakter polynoomafbeelding van C³ naar C³ met een Jacobiaan-determinant die overal identiek -2 is, maar die drie verschillende invoertripels naar dezelfde uitvoer stuurt, waarmee de globale inverteerbaarheid wordt weerlegd . Binnen enkele uren na Alpöge's bericht verifieerden wiskundigen wereldwijd onafhankelijk het resultaat, en een formele verificatie in de Lean-bewijsassistent was binnen 24 uur voltooid .

Vooraanstaande wiskundigen, waaronder Terence Tao en Timothy Gowers, prezen het resultaat . Tao publiceerde een meetkundige analyse van het tegenvoorbeeld, en de verificatie werd breed bevestigd in de wiskundegemeenschap . De tweedimensionale versie van de conjectuur blijft vooralsnog onopgelost .

Wat Deze Resultaten Betekenen voor de Toekomst van de Wiskunde

AI Kan Nu Echt Nieuwe Bewijzen Genereren

Beide doorbraken omvatten diepe conceptuele sprongen, niet slechts rekenkundige ondersteuning. De weerlegging van het eenheidsafstanden-vermoeden vereiste dat de AI algebraïsche getaltheorie aan combinatoire meetkunde koppelde – een verband dat geen menselijke wiskundige eerder had gelegd . Het Jacobiaanse tegenvoorbeeld vereiste het construeren van een subtiele polynoomafbeelding met specifieke algebraïsche eigenschappen .

Het Mens-AI-Partnerschapsmodel Blijkt Krachtig

Deze resultaten wijzen op een toekomst waarin AI fungeert als een creatieve medewerker in plaats van een vervanger. In het Jacobiaanse geval stuurde een bekwame wiskundige de AI aan en herkende de betekenis van de output . In het geval van OpenAI werkte het model meer autonoom, maar was nog steeds menselijke verificatie vereist . Dit partnerschapsmodel stelt AI in staat enorme zoekruimtes te verkennen die mensen niet efficiënt kunnen doorlopen, terwijl mensen intuïtie, oordeelsvermogen en verificatie bieden.

Het Tempo Neemt Snel Toe

OpenAI kondigde later in augustus 2026 aan dat dezelfde klasse van interne redeneermodellen vooruitgang had geboekt op 10 grote problemen in de wiskunde en theoretische informatica, variërend van hoogdimensionale meetkunde, coderingstheorie, groepentheorie, operatoralgebra's, quantumcomplexiteit, rooster-cryptografie tot extremale combinatoriek . Waarnemers spreken van een "nieuwe gouden eeuw" van de wiskunde, aangedreven door AI .

Belangrijke Kanttekeningen Blijven

Het Jacobiaanse tegenvoorbeeld is alleen van toepassing in dimensie 3 en hoger – de oorspronkelijke conjectuur blijft open in dimensie 2 . Sommige resultaten hebben nog geen volledige peer-reviewed toetsing via de traditionele kanalen ondergaan, en niet alle claims zijn volledig gepubliceerd . Maar de algemene richting is duidelijk: AI heeft de drempel overschreden van wiskundig assistent naar wiskundig ontdekker, en zijn rol in onderzoek zal zich waarschijnlijk snel uitbreiden.

Het Grotere Geheel

Deze doorbraken in 2026 volgen op een snelle vooruitgang in de wiskundige capaciteiten van AI. In juli 2025 losten AI-modellen voor het eerst vijf van de zes problemen op de Internationale Wiskunde Olympiade op . Begin 2026 behaalden modellen gouden-medaille-normen op de IMO . Nu produceren AI resultaten aan de onderzoeksfrontier – het oplossen van problemen die hele carrières definieerden.

Zoals wiskundige Terence Tao opmerkte, vertegenwoordigt het Jacobiaanse resultaat een mijlpaal in mens-AI-samenwerking . Het model werkte niet alleen, maar het partnerschap leverde een resultaat op dat noch mens noch machine onafhankelijk had kunnen bereiken. Dat model – menselijke intuïtie geleid door AI-verkenning, geverifieerd door formele bewijsassistenten – zou wel eens de toekomst van wiskundige ontdekking kunnen bepalen.