Neurokirurgi todistaa 22 vuotta matemaatikkoja askarruttaneen otaksuman 16 tunnin GPT-5.6-ajolla
OpenAI
Neurokirurgi tohtori Shanmu Jin todisti Crouzeix'n otaksuman, pitkäaikaisen matriisianalyysin ongelman, ja häntä avusti 16 tunnin autonominen OpenAI:n GPT-5.6 Sol -malli. Useat matemaatikot, mukaan lukien otaksuman tekijä, vahvistivat hänen todistuksensa, ja muutamaa päivää myöhemmin ilmestyi toinen riippumaton todistus. Tämä on merkkipaalu: merkittävä matemaattinen saavutus amatööriltä yhdistettynä tekoälymalliin.
Matemaatikko Alex Townsend oli kysynyt ChatGPT:ltä lähes vuoden ajan todistusta Crouzeix'n konjektuurille, mutta malli antoi jatkuvasti vääriä tai puutteellisia todistuksia. Heinäkuun 30. päivänä 2026 ChatGPT palautti linkin kolme päivää aiemmin julkaistuun preprintiin, joka väitti ratkaisun löytyneen. Townsend ja hänen kollegansa Anna Greenbaum lukivat sen epäillen ja huomasivat pian, että se oli aito. Kirjoittaja, tri Shanmu Jin, on neurokirurgian erikoistuva lääkäri ja tutkijatohtori, ei ammattimatemaatikko. Hän kiinnostui Crouzeix'n konjektuurista työskennellessään kallon läpäisevän ultraäänen parissa ja muotoili todistusstrategian 16 tunnin autonomisessa istunnossa GPT-5.6 Sol -mallin kanssa ChatGPT Work -palvelussa, ilman internetyhteyttä. Malli käytti monipuolista strategiavalikoimaa, adversaarisia tarkistuksia ja vastaesimerkkeihin perustuvaa eliminointia, kuten Jin oli ohjeistanut. Todistuksen tarkistivat itsenäisesti Townsend, Greenbaum ja Michel Crouzeix, ja myöhemmin matemaatikot Emil Lorist ja Felix Schwenninger vahvistivat sen toisella, erilaisella todistuksella, joka myös tehtiin ChatGPT 5.6 Pro -mallilla. Tapaus korostaa paradigman muutosta matemaattisessa löytämisessä ja herättää kysymyksiä vertaisarvioinnin kestävyydestä.
Lähde: Habr — хаб ИИ —
Alkuperäinen