Självlärd kliniker och en 16-timmars AI-session löste ett av tillämpad matematiks öppna problem
I korthet
En neurokirurg från Peking använde GPT-56 för att bevisa en 20 år gammal matematisk gissning, vilket signalerar ett skifte i vem som kan producera – och verifiera – forskning.
Shanmu Jin, postdoktor och neurokirurgisk specialist vid Peking Union Medical College Hospital i Peking, har bevisat Crouzeix förmodan – ett problem inom matrisanalys som hade varit öppet i över två decennier. Det avgörande argumentet kom inte från en matematikinstitution: det dök upp under en 16 timmar lång autonom körning av GPT-5.6 Sol inuti ChatGPT Arbetsläge, styrt av en noggrant konstruerad prompt som Jin designat själv.
Jin nådde problemet genom en icke-linjär väg. Hans grundutbildning var inom geologi; han tog senare en medicinsk examen och byggde upp sina matematiska kunskaper genom självstudier, initialt motiverade av forskning om transkraniell ultraljud. Crouzeix förmodan, formulerad 2004, handlar om förhållandet mellan en matris spektralnorm och maximumet för ett polynom över dess numeriska område - ett kompakt konvext område av det komplexa planet som fångar mer av en matris beteende än enbart dess egenvärden. Dess upplösning har direkta tillämpningar inom analys av matrisfunktioner, iterativa lösare som GMRES och rationella Krylov-metoder.
Istället för att uppmana modellen interaktivt körde Jin en utökad autonom session med hjälp av en promptarkitektur anpassad från en OpenAI hade utvecklat för ett tidigare matematiskt resultat, Cycle Double Cover-förmodandet. Installationen nekade modellen internetåtkomst. Den använde konkurrerande underagenter med uppgift att oberoende utveckla och stresstesta olika bevisstrategier, med uttryckliga instruktioner mot för tidig konvergens och ett krav på att falsifiera kandidatargument endast genom konkreta motexempel. Modellen instruerades att fortsätta tills ett fullständigt bevis överlevde intern kontradiktorisk granskning. Den resulterande förhandsgranskningen, publicerad den 27 juli 2026, inkluderar den fullständiga prompten, successiva utkastmanuskript, en Lean-formalisering och en axiomrevision.
Kamratbekräftelse och frågan om vem som gör matematik nu
Beviset har granskats och bekräftats av Cornell-matematikern Alex Townsend, den numeriska analytikern Anne Greenbaum och Michel Crouzeix själv – den ursprungliga författaren till hypotesen. Formell peer review pågår. Åtta dagar efter att den första förhandsversionen publicerades publicerade matematikerna Emiel Lorist och Felix Schwenninger ett oberoende femsidigt bevis med en annan metod, som kombinerar klassisk dubbelskiktspotentialteori med ett störningslemma för 2-dilatationer. Jin välkomnade det parallella resultatet som ett komplement till sitt eget arbete.
Episoden synliggör ett strukturellt skifte inom matematisk forskning som är svårt att ignorera. När ett problem som varit öppet sedan 2004 löses av en självlärd kliniker med hjälp av ett konsumentbaserat AI-verktyg, minskar hindren för att producera nya resultat avsevärt – samtidigt som den expertis som krävs för att verifiera dessa resultat blir motsvarande mer koncentrerad och mer värdefull.
För AI-området erbjuder fallet en konkret demonstration av vad frontlinjespråkmodeller kan åstadkomma när de ges välstrukturerade autonoma uppgifter och tillräcklig beräkningstid. Huruvida matematikgemenskapen har infrastrukturen för att absorbera den mängd resultat som kan följa är fortfarande en öppen fråga.
Ansvarsfriskrivning
I linje med den Riktlinjer för Trust Project, vänligen notera att informationen på den här sidan inte är avsedd att vara och inte ska tolkas som juridisk, skattemässig, investerings-, finansiell eller någon annan form av rådgivning. Det är viktigt att bara investera det du har råd att förlora och att söka oberoende finansiell rådgivning om du har några tvivel. För ytterligare information föreslår vi att du hänvisar till villkoren samt hjälp- och supportsidorna som tillhandahålls av utfärdaren eller annonsören. MetaversePost är engagerad i korrekt, opartisk rapportering, men marknadsförhållandena kan ändras utan föregående meddelande.
Om författaren
Alisa, en engagerad journalist på MPost, specialiserar sig på krypto, AI, investeringar och det expansiva området av Web3. Med ett skarpt öga för nya trender och tekniker levererar hon omfattande täckning för att informera och engagera läsare i det ständigt föränderliga landskapet för digital ekonomi.
fler artiklar
Alisa, en engagerad journalist på MPost, specialiserar sig på krypto, AI, investeringar och det expansiva området av Web3. Med ett skarpt öga för nya trender och tekniker levererar hon omfattande täckning för att informera och engagera läsare i det ständigt föränderliga landskapet för digital ekonomi.
