Selvlært kliniker og en 16-timers AI-session løste et af anvendt matematiks åbne problemer
Kort sagt
En neurokirurg fra Beijing brugte GPT-5.6 for at bevise en 20 år gammel matematisk formodning, hvilket signalerer et skift i, hvem der kan producere – og verificere – forskning.
Shanmu Jin, postdoc-forsker og neurokirurgisk specialist på Peking Union Medical College Hospital i Beijing, har bevist Crouzeix' formodning - et problem i matrixanalyse, der havde været åbent i over to årtier. Det afgørende argument kom ikke fra en matematikafdeling: det dukkede op under en 16-timers autonom kørsel af GPT-5.6 Sol indeni ChatGPT Arbejdstilstand, styret af en omhyggeligt konstrueret prompt, som Jin selv designede.
Jin nåede frem til problemet gennem en ikke-lineær vej. Hans bachelorbaggrund var i geologi; han fik senere en medicinsk grad og opbyggede sin matematiske viden gennem selvstudier, oprindeligt motiveret af forskning i transkraniel ultralyd. Crouzeix' formodning, formuleret i 2004, omhandler forholdet mellem en matrix' spektrale norm og maksimummet af et polynomium over dens numeriske område - et kompakt konvekst område af det komplekse plan, der indfanger mere af en matrix' adfærd end dens egenværdier alene. Dens opløsning har direkte anvendelser i analysen af matrixfunktioner, iterative løsere såsom GMRES og rationelle Krylov-metoder.
I stedet for at udløse en interaktiv prompt til modellen, kørte Jin en udvidet autonom session ved hjælp af en promptarkitektur tilpasset fra en OpenAI havde udviklet til et tidligere matematisk resultat, Cycle Double Cover-formodningen. Opsætningen nægtede modellen internetadgang. Den anvendte konkurrerende underagenter, der havde til opgave uafhængigt at udvikle og stressteste forskellige bevisstrategier med eksplicitte instruktioner mod for tidlig konvergens og et krav om kun at falsificere kandidatargumenter gennem konkrete modeksempler. Modellen blev instrueret til at fortsætte, indtil et komplet bevis overlevede intern kontradiktorisk gennemgang. Det resulterende preprint, offentliggjort den 27. juli 2026, inkluderer den fulde prompt, successive udkast til manuskripter, en Lean-formalisering og en aksiomrevision.
Peer-bekræftelse og spørgsmålet om, hvem der laver matematik nu
Beviset er blevet gennemgået og bekræftet af Cornell-matematikeren Alex Townsend, den numeriske analytiker Anne Greenbaum og Michel Crouzeix selv - den oprindelige forfatter til formodningen. Formel fagfællebedømmelse er i gang. Otte dage efter at det første preprint udkom, offentliggjorde matematikerne Emiel Lorist og Felix Schwenninger et uafhængigt fem-siders bevis ved hjælp af en anden metode, der kombinerede klassisk dobbeltlagspotentialteori med et perturbationslemma for 2-dilatationer. Jin hilste det parallelle resultat velkommen som et supplement til sit eget arbejde.
Episoden synliggør et strukturelt skift i matematisk forskning, som er svært at ignorere. Når et problem, der har været åbent siden 2004, løses af en selvlært kliniker ved hjælp af et forbrugerbaseret AI-værktøj, reduceres barriererne for at producere nye resultater betydeligt - mens den ekspertise, der kræves for at verificere disse resultater, bliver tilsvarende mere koncentreret og mere værdifuld.
For AI-feltet giver casen en konkret demonstration af, hvad frontlinjesprogmodeller kan udrette, når de får velstrukturerede autonome opgaver og tilstrækkelig beregningstid. Hvorvidt det matematiske samfund har infrastrukturen til at absorbere den mængde resultater, der måtte følge, er fortsat et åbent spørgsmål.
Ansvarsfraskrivelse
I tråd med den Trust Project retningslinjer, bemærk venligst, at oplysningerne på denne side ikke er beregnet til at være og ikke skal fortolkes som juridiske, skattemæssige, investeringsmæssige, finansielle eller nogen anden form for rådgivning. Det er vigtigt kun at investere, hvad du har råd til at tabe, og at søge uafhængig finansiel rådgivning, hvis du er i tvivl. For yderligere information foreslår vi at henvise til vilkårene og betingelserne samt hjælpe- og supportsiderne fra udstederen eller annoncøren. MetaversePost er forpligtet til nøjagtig, objektiv rapportering, men markedsforholdene kan ændres uden varsel.
Om forfatteren
Alisa, en dedikeret journalist ved MPost, specialiserer sig i krypto, AI, investeringer og det omfattende område af Web3. Med et skarpt øje for nye trends og teknologier leverer hun omfattende dækning for at informere og engagere læserne i det stadigt udviklende landskab af digital finans.
Flere artikler
Alisa, en dedikeret journalist ved MPost, specialiserer sig i krypto, AI, investeringer og det omfattende område af Web3. Med et skarpt øje for nye trends og teknologier leverer hun omfattende dækning for at informere og engagere læserne i det stadigt udviklende landskab af digital finans.
