Neurochirurg Lost 22 Jaar Oud Wiskundeprobleem op met ChatGPT

Het probleem dat hij oploste is het vermoeden van Crouzeix, voorgesteld door de Franse wiskundige Michel Crouzeix in 2004. Het vermoeden stelt dat voor elke vierkante complexe matrix A en polynoom p, de operatornorm ||p(A)|| maximaal twee keer de maximale waarde van |p| over het numerieke bereik W(A) is . De scherpe constante van 2 was 22 jaar lang een open vraag; eerdere grenzen hadden slechts ongeveer 2,414 bereikt .

Hoe Jin Shanmu de Autonome Run Opzette

Jins aanpak was geen simpele ChatGPT-vraag. Hij ontwierp een autonoom redenatiesysteem, geïnspireerd op OpenAI's eerdere succes met het Cycle Double Cover-vermoeden . Zijn 'prompt'-strategie bevatte vier belangrijke instructies:

1. Air-gapped omgeving: Het model werd geïnstrueerd om in een fysiek losgekoppelde (air-gapped) omgeving te werken om puur origineel redeneren af te dwingen, zodat het niet kon terugvallen op bestaande oplossingen of bekende bewijzen .
2. Multi-agent parallelle verkenning: Hij lanceerde meerdere agentinstanties om verschillende oplossingspaden parallel te verkennen, waardoor het systeem niet te vroeg op één enkele foutieve benadering zou convergeren .
3. Adversarial auditing: Hij paste 'adversarial auditing' toe op kandidaatstrategieën – de AI kreeg de opdracht om zijn eigen redenering te bekritiseren en zijn bewijzen te testen tegen tegenvoorbeelden .
4. Geen vroegtijdig stoppen: Hij gaf het model de opdracht niet te stoppen totdat een volledig bewijs was verkregen .

Na het starten van de run liet Jin het systeem zijn werk doen. "Hij sloot het model af van het web, startte het en vertrok. Zestien uur later had het het bewijs," aldus berichten . Gedurende die 16 uur voerde GPT-5.6-Sol duizenden cycli uit van hypothesengeneratie, testen en verfijning .

Het Bewijs en de Verificatie

Het resultaat was een bewijs dat het vermoeden van Crouzeix waar is: de constante 2 is correct. Het bewijs werd op 27 juli 2026 als preprint gepubliceerd onder de titel The Numerical Range Is a 2-Spectral Set .

Het verificatieproces was grondig. Michel Crouzeix zelf – de wiskundige die het vermoeden in 2004 oorspronkelijk had voorgesteld – beoordeelde het argument en bevestigde dat het correct is . Ook numerieke analisten onderzochten het bewijs . Jin publiceerde bovendien al het onderzoeksmateriaal op GitHub, waaronder de uiteindelijke paper, prompts, iteratieontwerpen, Lean 4 formeel bewijs en auditrapporten .

Wat Dit Betekent voor AI-Gestuurd Onderzoek

Jins prestatie is opmerkelijk, niet alleen vanwege de moeilijkheidsgraad van het probleem, maar ook vanwege zijn achtergrond en methode. Een neurochirurg in opleiding zonder formeel geavanceerd wiskundediploma, die een AI-model 16 uur lang autonoom liet werken, loste een probleem op waar wiskundigen twee decennia lang hun tanden op hadden stukgebeten.

Het verhaal belicht een nieuwe onderzoeksmodus: mensen ontwerpen de experimentele omstandigheden en het redeneerkader, terwijl AI-modellen grootschalige, autonome verkenningen van de wiskundige ruimte uitvoeren. Het is een concrete demonstratie dat AI kan dienen als een echte onderzoekspartner in de wiskunde – niet alleen als een hulpmiddel voor berekening of zoekopdrachten, maar als een systeem dat in staat is tot het genereren van nieuwe bewijzen.

Of deze benadering een standaardmethode wordt in wiskundig onderzoek, moet nog blijken. Maar voor nu staat Jins resultaat als een van de meest sprekende voorbeelden van AI-gestuurde ontdekking in 2026.