Hoe GPT-5.6 Sol hielp de 150 jaar oude Maxwell-conjectuur te weerleggen

Plaats drie gelijke elektrische ladingen op de hoeken van een gelijkzijdige driehoek, en het resulterende veld heeft vier balanspunten, waar elke duw en trek elkaar opheffen: één in het midden en drie net binnen de randen. Laat nu twee heel kleine ladingen net boven en net onder dat midden vallen. Het centrale balanspunt versplintert in eenentwintig, en de hele configuratie springt naar vierentwintig.

Die constructie verscheen op 29 juli op arXiv als een tegenvoorbeeld voor de Maxwell-conjectuur, een bovengrens op elektrostatistische evenwichtspunten die teruggaat tot Maxwells verhandeling uit 1873. De auteurs meldden ook dat het idee afkomstig was van een groot taalmodel. Hieronder behandel ik wat de conjectuur stelde, hoe het tegenvoorbeeld werkt, wat GPT-5.6 Sol wel en niet deed, en waarom juist die openbaarmaking misschien het interessantste deel van het verhaal is.

Het korte antwoord: hoe de Maxwell-conjectuur viel

De conjectuur zette een plafond op het aantal evenwichtspunten dat het veld van n puntladingen kon hebben: hoogstens (n−1)^². Voor vijf ladingen betekent dat 16. Philip Arathoon, Gavin Ball en Matthew Kvalheim bouwden een configuratie met vijf ladingen met minstens 24 evenwichtspunten, een direct tegenvoorbeeld. GPT-5.6 Sol stelde het geometrische idee voor; de drie auteurs deden de analyse, draaiden de computeralgebra en schreven het bewijs.

Met die samenvatting op zak, kijken we naar waar de conjectuur vandaan kwam en waarom ze zo lang standhield.

Wat was de Maxwell-conjectuur?

James Clerk Maxwell kaartte de vraag aan in een korte passage van zijn Treatise on Electricity and Magnetism uit 1873: hoeveel evenwichtspunten kan een systeem van ladingen opleveren? Het bleef bijna een eeuw lang een terloopse opmerking, tot Marston Morse en Stewart Cairns in 1969 hetzelfde probleem stelden, naar het schijnt zonder te weten dat Maxwell hen was voorgegaan. Dat is een klein detail waar ik waarschijnlijk meer van geniet dan ik zou moeten.

De precieze formulering waar nu iedereen over debatteert kwam in 2007, toen Andrei Gabrielov, Dmitry Novikov en Boris Shapiro Maxwells passage nauwkeurig lazen en er een conjectuur van maakten: als de evenwichtspunten van het potentiaal gegenereerd door n ladingen allemaal niet-gedegenereerd zijn, kunnen het er hoogstens (n−1)^² zijn. Dat is de enige formule die je echt nodig hebt, dus als algebra je gespannen maakt, ben je het ergste voorbij. De bovengrens geldt triviaal voor twee ladingen. Voor drie weet niemand of vier echt het maximum is, behalve in het speciale geval waarin alle drie de ladingen gelijk zijn.

Om te begrijpen waarom deze bovengrens ertoe doet, helpt het om te snappen wat evenwichtspunten precies zijn.

De Maxwell-conjectuur begrijpen met een eenvoudig voorbeeld

Elke lading creëert een veld. Zet meerdere ladingen in een ruimte en hun velden overlappen, duwen en trekken in verschillende richtingen op elk punt in de ruimte. Op bepaalde plekken heffen de krachten van elke lading elkaar exact op, en een testdeeltje dat daar geplaatst wordt, zou geen resulterende kracht voelen. Dat zijn de evenwichtspunten, ook wel kritieke punten van het elektrostatische potentiaal genoemd.

Ze tellen is geen boekhoudoefening. Het aantal en de ligging van deze punten begrenzen de vorm van het hele veld, zoals vlakke plekken in een bergketen beperken hoe die keten kan liggen. Een bovengrens op het aantal is dus eigenlijk een uitspraak over hoe complex een elektrostatisch veld mag worden, en daarom hield een terloopse vraag uit 1873 wiskundigen anderhalve eeuw bezig.

Nu we weten wat de conjectuur beschermde, lopen we precies door hoe ze ontmanteld werd.

Hoe de Maxwell-conjectuur werd weerlegd

De constructie is kort genoeg om in vier stappen te beschrijven. Tenzij je de Hessiaan-berekeningen wilt, kun je de arXiv-notitie overslaan; de vorm van het argument is wat interessant is:

• Plaats drie eenheidsladingen op de hoekpunten van een gelijkzijdige driehoek. Dit veld heeft vier evenwichten: één in het midden, drie naar binnen verschoven langs de randen.
• Voeg twee veel kleinere ladingen toe op de symmetrieas, één net boven het vlak en één net eronder, waardoor een ondiepe bipiramide ontstaat.
• De drie rand-evenwichten overleven de toevoeging. Het centrale niet. Dat vertakt in een familie van 21 evenwichten, 10 met de ene Morse-index en 11 met de andere.
• Drie plus eenentwintig geeft minstens 24 niet-gedegenereerde kritieke punten uit vijf ladingen, tegen een voorspeld plafond van 16.

De sterktes van de ladingen zijn niet willekeurig. De auteurs kiezen een specifieke waarde zó afgestemd dat de leidende term van het potentiaal van de kleine ladingen de overeenkomstige term van de driehoek opheft, en dat legt de fijnere structuur bloot die de 21 punten oplevert. Er is ook een stap die je bij de eerste lezing gemakkelijk mist: het argument tot dusver sluit gedegenereerde kritieke punten elders in de configuratie niet uit, dus passen de auteurs een transversaliteitsargument toe op een licht verstoelde set ladingsterktes, wat die opruimt.

Dan volgt het deel dat in de koppen werd overgeslagen. Dezelfde truc kun je herhalen. Voeg nog een paar kleine ladingen toe en je krijgt er 20 kritieke punten bij voor de prijs van 2 extra ladingen, wat configuraties oplevert van 3 + 2m ladingen met minstens 4 + 20m evenwichten. Dat is asymptotisch 10 kritieke punten per lading, tegen de 25/7 die Herbert Edelsbrunner, Christopher Fillmore en Gonçalo Oliveira eerder dit jaar haalden. Het tegenvoorbeeld is de kop; de verhouding is het resultaat waarop anderen zullen voortbouwen.

Met de constructie zelf helder, komt nu het wat ongebruikelijke deel: wie, of wat, eigenlijk met het idee kwam.

Welke rol speelde GPT-5.6 Sol?

De openbaarmaking staat in een eigen kort onderdeel van het artikel en is verfrissend duidelijk over wat er gebeurde: "Het idee achter deze constructie is voorgesteld door een LLM (OpenAI's GPT-5.6 Sol)." De auteurs voegen toe dat ze de wiskunde zelf controleerden en het betoog in eigen woorden schreven, en dat Mathematica en Maple de berekeningen en figuren verzorgden.

Het model droeg dus een strategie aan: perturbeer een symmetrische configuratie met kleine off-axis ladingen en kijk hoe een gedegenereerd punt uit elkaar valt, en de auteurs werkten dat uit tot Taylor-reeksen van harmonische polynomen, een indeling van 21 kritieke punten naar Hessiaan-signatuur, drie toepassingen van de impliciete-functiestelling en een transversaliteitsargument. Een idee genereren en een stelling bewijzen zijn verschillende activiteiten met verschillende faalwijzen. Een idee dat niet werkt kost je een middag. Een bewijs dat niet werkt kost je een intrekking. Het model wees naar een onwaarschijnlijke plek op de kaart; drie wiskundigen legden de weg aan.

Het is wel de moeite waard om dat kader te bevragen. "Slechts een idee" doet het tekort. Iedereen kan voorstellen een symmetrische configuratie te perturbëren. Het nuttige is voorstellen die perturbatie, met kleine axiale ladingen, op die basiskonfiguratie, in een probleem waar de zoekruimte van dingen om te proberen feitelijk onbegrensd is. Smaak in wat je probeert is een groot deel van onderzoeksmathematica. Dat de suggestie van een model kwam in plaats van uit een decennium aan intuïtie van een specialist, is de kern van het verhaal.

Waarom dit resultaat ertoe doet

Een 150 jaar oude wiskundige vraag

De vraag gaat terug op Maxwells opmerking uit 1873, waar de "150 jaar" in elke kop vandaan komt. Wel precies zijn: Maxwell stelde een vraag en deed een observatie. Hij formuleerde niet de conjectuur die nu is gevallen.

Een hardnekkige moderne conjectuur valt

Als formele stelling is de Maxwell-conjectuur 19 jaar oud, en gedurende het grootste deel van die tijd was ze het organiserende uitgangspunt van het veld, datgene wat je probeerde te bewijzen, en het doel waar elke verbeterde bovengrens naartoe kroop. Nu lijkt ze onwaar. Het tegenvoorbeeld is een vier pagina’s tellende arXiv-preprint die nog niet peer-reviewed is, en de centrale stap is een Hessiaan-classificatie gecontroleerd met computeralgebra, dus de gebruikelijke voorbehouden gelden. Maar het betoog is kort, expliciet en makkelijk voor anderen te verifiëren.

Nieuwe vragen vervangen de oude

Weten dat het plafond niet (n−1)^² is, vertelt ons niet wat het wel is. De geiterereerde constructie van de auteurs duwt de bekende ondergrens omhoog naar grofweg 10 kritieke punten per lading, wat een vloer is, geen antwoord. En die drie ladingen van eerder? Of die ooit meer dan vier evenwichten kunnen opleveren, is nog steeds open, wat opmerkelijk is om nog te zeggen over het kleinste interessante geval na al die tijd.

De groeiende rol van AI in wiskundige ontdekkingen

Er is het afgelopen jaar iets verschoven. Tussen oktober 2025 en begin 2026 hielpen AI-tools om grofweg honderd problemen uit de Erdős-probleemdatabase naar de kolom "opgelost" te verplaatsen, en Terence Tao hield een doorlopende pagina bij met die bijdragen totdat die eind juni 2026 niet meer werd bijgewerkt. Veel daarvan was literatuuronderzoek: het model vindt het paper uit 1974 dat de kwestie al beslechtte. Een deel niet. Een handvol oplossingen waren originele redeneringen, grotendeels door het model geconstrueerd, en Tao heeft er minstens één aangemerkt als een echt mijlpaalmoment.

Het patroon over deze gevallen is consistent, en het komt overeen met wat er met de Maxwell-conjectuur gebeurde. Modellen zijn goed in het voorstellen van kandidaten, het scannen van literatuur die geen individu in zijn hoofd kan houden, en het ’s nachts doorzoeken van een ruimte aan constructies zonder zich te vervelen. Verificatie blijft bij mensen en bij proof assistants zoals Lean. Wil je de conceptuele basis van hoe deze systemen werken voordat je je er een oordeel over vormt, dan is ons AI Fundamentals-traject een goed startpunt.

Kan AI uiteindelijk wiskundige bewijzen ontdekken?

Conjecturen genereren is inmiddels routine. Bewijsondersteuning is zo gangbaar dat het beschrijven ervan onopvallend is. Formeel stellingen bewijzen — een model dat een volledig, machinegecontroleerd betoog produceert voor een onderzoeksprobleem zonder mens in de lus — is waar de grens nu ligt, en er zijn resultaten aan beide kanten, afhankelijk van hoe strikt je "onderzoeksniveau" definieert.

De beperking is niet per se creativiteit. Huidige modellen hallucineren nog steeds referenties, raken nog steeds de draad kwijt over lange redeneerlijnen, en zijn nog steeds veel beter in het genereren van kandidaten dan in het weten welke kandidaat juist is. Die laatste asymmetrie is precies waarom menselijke verificatie dragend is in plaats van ceremonieel. Een model dat zijn eigen output betrouwbaar kan evalueren, zou een ander soort systeem zijn dan wat we nu hebben, en niemand kan momenteel zeggen hoe ver dat weg is.

GPT-5.6 Sol en de toekomst van wetenschappelijk onderzoek

Wiskunde is een ongebruikelijk zuivere testcase omdat bewijzen ofwel juist ofwel onjuist zijn. Maar dezelfde dynamiek — AI die de ideeëngeneratiefase versnelt terwijl mensen de verificatie behouden — speelt in tal van disciplines.

Dit gaat veel verder dan wiskunde. Fysica, chemie, materiaalwetenschap en techniek delen allemaal dezelfde bottleneck: hypothesegeneratie kost veel mensentijd, en de meeste hypothesen falen. Een onderzoeker kan serieus slechts een handvol kandidaatstructuren of -mechanismen per jaar nastreven. De ruimte aan kandidaten is veel groter dan dat.

Ideeëngeneratie zou weleens de onderzoekscapaciteit kunnen blijken die het meest telt, juist omdat het de stap is waar de menselijke doorvoer het laagst is en de kosten van een verkeerde gok het kleinst zijn. Een model dat een enorme ruimte kan scannen en kan zeggen "kijk hier" verandert de snelheid van ontdekking zonder vaak gelijk te hoeven hebben. Wat hier ruwweg is gebeurd.

Veelvoorkomende misvattingen over deze ontdekking

Voordat je bredere conclusies trekt, is het de moeite waard een paar dingen recht te zetten die de berichtgeving verkeerd had.

GPT-5.6 Sol bewees de stelling niet zelfstandig

Het model stelde de geometrische constructie voor. Het bewijs, de uitbreidingen, de Hessiaan-classificatie, het transversaliteitsargument, waren het werk van de auteurs.

Menselijke onderzoekers verifieerden elke stap

Mathematica en Maple controleerden berekeningen en maakten de figuren. De wiskundige verificatie is gedaan door de drie auteurs, en zij zeggen dat expliciet in het artikel.

De Maxwell-conjectuur was niet Maxwells formele stelling

Maxwell deed in 1873 een observatie. Gabrielov, Novikov en Shapiro formuleerden de conjectuur in 2007 op basis van hun lezing van die passage.

Het wiskundige probleem is niet volledig opgelost

Als het tegenvoorbeeld standhoudt, weten we dat (n−1)^² onjuist is. We weten niet wat de juiste bovengrens is, en het geval met drie ladingen blijft open.

Conclusie

De Maxwell-conjectuur viel door een samenwerking: een door AI gegenereerd geometrisch idee en drie wiskundigen die de moeite namen om het om te zetten in iets controleerbaars. Het artikel is ongewoon eerlijk over welk deel door wie is gedaan. Een openbaarmakingsparagraaf van drie zinnen die waarschijnlijk vaker geciteerd zal worden dan de stelling.

Wat dit je aandacht waard maakt, is de aard van de bijdrage, niet de omvang. Een model zonder persoonlijk belang in het probleem stelde een constructie voor die de mensen die er het meest om gaven niet op deze configuratie hadden geprobeerd, en die bleek te werken. De bredere vraag hoeveel evenwichten n ladingen kunnen hebben is nog open, en dat geldt ook voor de vraag hoe onderzoek eruitziet als ideeëngeneratie ophoudt de schaarse hulpbron te zijn. Wil je volgen hoe deze systemen in de praktijk worden toegepast in plaats van hoe ze worden vermarkt, dan behandelen onze AI-cursussen het terrein van concepten tot en met deployment.