Neurokirurgi ratkaisi 22 vuotta vanhan matemaattisen ongelman – antoi ChatGPT:n pyöriä 16 tuntia

Ongelma sijaitsi matriisiteorian ja funktionaalianalyysin risteyksessä numeerisessa lineaarialgebrassa – niche, mutta perustavanlaatuinen kysymys, joka oli vastustanut kahden vuosikymmenen ponnisteluja asiantuntijoilta, jotka olivat omistaneet uransa sille.

Aivojen ultraäänestä matemaattiseen läpimurtoon

Jin ei yrittänyt tehdä matemaattista historiaa. Hän tutki transkraniaalista ultraääntä – mallintaen, miten ultraääniaallot tunkeutuvat kallon läpi – mikä johti hänet matriisianalyysiin ja lopulta Crouzeix'n konjektuuriin . Kaikki hänen korkeamman tason matematiikka oli itseopiskeltua ultraäänitutkimuksen kautta; hänen kandidaatin tutkintonsa oli geologiassa Pekingin yliopistosta ja lääketieteen tutkinto tuli Pekingin Union Medical College -yliopistosta. Hänellä ei ollut muodollista koulutusta edistyneessä matematiikassa .

16 tunnin autonominen ajo

Jin mukautti kehotestrategian, jota OpenAI oli käyttänyt Cycle Double Cover -konjektuurin ratkaisemisessa. Hän suunnitteli monitoimijaisen, vastakkaisen asetelman, jossa oli neljä ohjetta :

1. Työskentele offline-tilassa: Malli toimi fyysisesti eristetyssä ympäristössä, mikä esti sitä hakemasta olemassa olevia todistuksia tai ratkaisuja verkosta.
2. Tutki rinnakkain: Järjestelmä loi useita alitoimijoita, jotka tutkivat aidosti erilaisia todistusstrategioita, mikä esti ennenaikaisen keskittymisen yhteen lähestymistapaan.
3. Vastakkainen tarkastus: Ehdokastodistukset alistettiin vastakkaisille tarkastuksille, mikä pakotti mallin löytämään ja korjaamaan omat virheensä.
4. Ei lopettamista ennen aikojaan: Järjestelmälle annettiin ohje olla lopettamatta ennen kuin täydellinen todistus läpäisi kaikki tarkastukset.

Jin käynnisti järjestelmän ja käveli pois. Noin 16 tunnin jatkuvan toiminnan jälkeen – jonka aikana GPT-5.6-Sol suoritti tuhansia syklejä generointia, hypoteesien testausta, hylkäämistä ja uudelleenrakentamista – se tuotti täydellisen todistuksen .

Sen sijaan, että argumentti olisi käyttänyt raskaita arvioita, joita asiantuntijat olivat odottaneet, se käytti huolellista otantastrategiaa pelkistääkseen ongelman yksinkertaiseksi positiivisuusehdoksi . Se oli niiden mukaan, jotka tarkastelivat sitä, tyylikäs ja odottamaton lähestymistapa.

Asiantuntijoiden vahvistus

Numeerinen analyytikko Alex Townsend Cornellin yliopistosta oli edellisen vuoden ajan rutiininomaisesti pyytänyt ChatGPT:tä hyökkäämään Crouzeix'n konjektuuriin, ja se oli joka kerta jumiutunut samaan puuttuvaan lemmaan . 30. heinäkuuta 2026 hän kysyi uudelleen – mutta tällä kertaa ChatGPT palautti linkin 27. heinäkuuta julkaistuun esijulkaisuun otsikolla "The Numerical Range Is a 2-Spectral Set" .

Townsend ja Anne Greenbaum Washingtonin yliopistosta tarkastelivat esijulkaisua skeptisesti. Useiden tuntien jälkeen he päättelivät, että todistus oli oikea . Michel Crouzeix itse – matemaatikko, joka oli esittänyt konjektuurin 22 vuotta aiemmin – tarkisti käsikirjoituksen ja vahvisti sen oikeellisuuden .

Avoin lähdekoodi ja itsenäinen vahvistus

Jin julkaisi koko tutkimusputkensa avoimena lähdekoodina, tehden GitHubissa saataville lopullisen paperin, tarkan kehotteen, kaikki peräkkäiset käsikirjoitusversiot, Lean 4 -formalisaation todistuksesta ja aksioomitarkastuksen .

Huomionarvoisesti, kahdeksan päivää Jinin esijulkaisun jälkeen, erillinen itsenäinen todistus Emiel Loristilta ja Felix Schwenningeriltä – jotka olivat myös käyttäneet ChatGPT 5.6:ta strategiatutkimukseen – julkaistiin arXivissa, vahvistaen tuloksen itsenäisesti .

Mitä tämä tarkoittaa tekoälylle ja tieteelle

Jinin todistuksen tarina on huomionarvoinen useista syistä. Se osoittaa, että alan ulkopuolinen henkilö ilman muodollista koulutusta voi suunnittelemalla oikeanlaisen autonomisen työnkulun huipputason tekoälymallille tehdä aidon panoksen ongelmaan, joka on hämmentänyt uraasiantuntijoita. Se osoittaa myös hyvin suunniteltujen autonomisten päättelyjärjestelmien voiman: Jin ei käyttänyt tekoälyä hakutyökaluna tai chatbottina – hän suunnitteli järjestelmän, joka pystyi tutkimaan, tarkistamaan ja jalostamaan omaa työtään monien tuntien ajan ilman ihmisen väliintuloa .

Ongelma ei ole lelu tai palapeli; se on 22 vuotta vanha avoin ongelma, jonka todistuksen ovat tarkistaneet ja hyväksyneet ongelman esittänyt matemaatikko sekä muut alan johtavat asiantuntijat .