Itseoppinut kliinikko ja 16 tunnin tekoälysessio ratkaisivat yhden sovelletun matematiikan avoimista ongelmista
Lyhyesti
Pekingiläinen neurokirurgi käytti GPT-5.6 todistamaan 20 vuotta vanhan matemaattisen oletuksen, mikä viestii muutoksesta siinä, kuka voi tuottaa – ja todentaa – tutkimusta.
Pekingin Union Medical College Hospitalin postdoc-tutkija ja neurokirurgian erikoistuva lääkäri Shanmu Jin on todistanut Crouzeix'n konjektuurin – matriisianalyysin ongelman, joka oli ollut avoinna yli kaksi vuosikymmentä. Ratkaiseva argumentti ei tullut matematiikan laitokselta: se nousi esiin 16 tunnin autonomisen ajon aikana. GPT-5.6 Sol sisällä ChatGPT Työtila, jota ohjaa Jinin itsensä huolellisesti suunnittelema kehote.
Jin päätyi ongelmaan epälineaarista polkua pitkin. Hänen kandidaatintutkintonsa oli geologiassa; myöhemmin hän suoritti lääketieteen tutkinnon ja rakensi matemaattista tietämystään itseohjautuvan opiskelun kautta, alun perin transkraniaalisen ultraäänen tutkimuksen motivoimana. Crouzeix'n konjektuuri, joka muotoiltiin vuonna 2004, käsittelee matriisin spektraalinormin ja polynomin maksimin välistä suhdetta sen numeerisella alueella – kompleksitason kompaktilla konveksilla alueella, joka kuvaa enemmän matriisin käyttäytymistä kuin pelkät sen ominaisarvot. Sen ratkaisemisella on suoria sovelluksia matriisifunktioiden analysoinnissa, iteratiivisissa ratkaisijoissa, kuten GMRES, ja rationaalisissa Krylov-menetelmissä.
Sen sijaan, että Jin olisi antanut mallille interaktiivisia kehotteita, hän suoritti laajennetun autonomisen istunnon käyttäen yhdestä mallista mukautettua kehotearkkitehtuuria. OpenAI oli kehittänyt aiempaa matemaattista tulosta, Cycle Double Cover -konjektuuria, varten. Asetus esti mallilta internetyhteyden. Se käytti kilpailevia aliagentteja, joiden tehtävänä oli itsenäisesti kehittää ja testata erilaisia todistusstrategioita, joissa oli selkeät ohjeet ennenaikaista konvergenssia vastaan ja vaatimus falsifoida ehdokasargumentit vain konkreettisten vastaesimerkkien avulla. Mallia ohjattiin jatkamaan, kunnes täydellinen todistus läpäisi sisäisen kontradiktorisen tarkistuksen. Tuloksena oleva esipainos, joka julkaistiin 27. heinäkuuta 2026, sisältää täyden kehotteen, peräkkäiset luonnoskäsikirjoitukset, Lean-formalisoinnin ja aksiooma-auditoinnin.
Vertaisvahvistus ja kysymys siitä, kuka tekee matematiikkaa nyt
Todistuksen ovat tarkistaneet ja vahvistaneet Cornellin matemaatikko Alex Townsend, numeerinen analyytikko Anne Greenbaum ja itse Michel Crouzeix — olettamuksen alkuperäinen kirjoittaja. Virallinen vertaisarviointi on käynnissä. Kahdeksan päivää alkuperäisen esipainetun version ilmestymisen jälkeen matemaatikot Emiel Lorist ja Felix Schwenninger julkaisivat itsenäisen viisisivuisen todistuksen käyttäen eri menetelmää, jossa yhdistettiin klassinen kaksoiskerrospotentiaaliteoria 2-dilaatioiden perturbaatiolemmaan. Jin piti rinnakkaista tulosta tervetulleena täydennyksenä omalle työlleen.
Jakso tekee näkyväksi matemaattisen tutkimuksen rakenteellisen muutoksen, jota on vaikea sivuuttaa. Kun itseoppinut kliinikko ratkaisee vuodesta 2004 lähtien avoinna olleen ongelman käyttämällä kuluttajille suunnattua tekoälytyökalua, uusien tulosten tuottamisen esteet laskevat huomattavasti – samalla kun tulosten varmentamiseen tarvittava asiantuntemus muuttuu vastaavasti keskittyneemmäksi ja arvokkaammaksi.
Tekoälykentän osalta tapaus tarjoaa konkreettisen esimerkin siitä, mitä rajaseudun kielimallit voivat saavuttaa, kun niille annetaan hyvin strukturoidut autonomiset tehtävät ja riittävästi laskenta-aikaa. Avoin kysymys on, onko matemaatikolla infrastruktuuria mahdollisten tulosten määrän käsittelemiseksi.
Vastuun kieltäminen
Mukaisesti Luottamusprojektin ohjeetHuomaa, että tällä sivulla annettuja tietoja ei ole tarkoitettu eikä niitä tule tulkita oikeudellisiksi, verotukselliseksi, sijoitus-, rahoitus- tai minkään muun muodon neuvoiksi. On tärkeää sijoittaa vain sen verran, mitä sinulla on varaa menettää, ja pyytää riippumatonta talousneuvontaa, jos sinulla on epäilyksiä. Lisätietoja saat käyttöehdoista sekä myöntäjän tai mainostajan tarjoamista ohje- ja tukisivuista. MetaversePost on sitoutunut tarkkaan, puolueettomaan raportointiin, mutta markkinaolosuhteet voivat muuttua ilman erillistä ilmoitusta.
Author
Alisa, omistautunut toimittaja MPost, erikoistunut kryptoon, tekoälyyn, sijoituksiin ja laajaan maailmaan Web3. Hän tarkkailee tarkasti nousevia trendejä ja teknologioita, ja hän tarjoaa kattavan kattavuuden tiedottaakseen ja saadakseen lukijat mukaan digitaalisen rahoituksen jatkuvasti kehittyvään maisemaan.
lisää artikkeleita
Alisa, omistautunut toimittaja MPost, erikoistunut kryptoon, tekoälyyn, sijoituksiin ja laajaan maailmaan Web3. Hän tarkkailee tarkasti nousevia trendejä ja teknologioita, ja hän tarjoaa kattavan kattavuuden tiedottaakseen ja saadakseen lukijat mukaan digitaalisen rahoituksen jatkuvasti kehittyvään maisemaan.
