OpenAI paskelbė, kad jos naujasis samprotavimo modelis autonomiškai suformulavo originalų matematinį įrodymą, paneigiantį geometrijos konjektūrą, kuriai beveik aštuoniasdešimt metų nepavyko rasti sprendinio. Problema pirmą kartą buvo pasiūlyta 1946 m. garsaus vengrų matematiko Paulo Erdöšo. Šis skelbimas — antrasis bandymas kompanijai, praėjusiais metais jau kartą skelbusiai apie tariamai suteiktus sprendinius, kurie pasirodė esą žinomi iš ankstesnės literatūros.
Tąkart ankstesnės OpenAI viceprezidento Kevin Weil žinutė socialiniame tinkle X apie GPT-5 pasiekimus buvo pašalinta po kolegų kritikos, įskaitant Google DeepMind vadovą Demis Hassabis. Šį kartą bendrovė veikė atsargiau: prieš skelbimą publikavo matematikų — Noga Alon, Melanie Wood ir Thomas Bloom — komentarus, patvirtinančius įrodymo pagrįstumą.
Ankstesniais dešimtmečiais matematikai manė, kad geriausios šios geometrijos problemos sprendimo konstrukcijos primena stačiakampius rastais. OpenAI modelis atrado visiškai naują konstrukcijų šeimą, kuri pranoksta senesnius sprendinius. Tai, kaip teigia bendrovė, yra pirmasis kartas, kai dirbtinis intelektas savarankiškai išsprendė žinomą atvirą problemą, esmingą visai matematikos sričiai.
// reklamaČia gali būti jūsų reklamaSusisiekite →Svarbu pažymėti, kad problemą sprendė ne specializuotas matematikos įrankis, o bendros paskirties samprotavimo modelis. Tai rodo, kad dirbtinis intelektas gali ilgiau išlaikyti sudėtingas loginio mąstymo grandines ir jungti idėjas iš skirtingų sričių taip, kaip tyrėjai galbūt anksčiau nebandė. Tokie gebėjimai gali turėti pasekmių biologijos, fizikos, inžinerijos ir medicinos tyrimuose.
Matematikas Thomas Bloom, prieš kurį mėnesį kritikavęs ankstesnį OpenAI skelbimą, šį kartą pareiškė, kad dirbtinis intelektas padeda "pilniau tyrinėti matematikos katedrą, kurią statėme per šimtmečius". Erdöšo problemų svetainę administruojantis Bloom pripažino naują rezultatą kaip savarankišką ir originalų.
Nors kol kas bendrovė nepateikė visos įrodymo publikacijos mokslo žurnale, nepriklausomi ekspertų komentarai leidžia manyti, kad šis atvejis gali tapti skvarbiu momentu sintetinio mąstymo istorijoje. Jei dirbtinis intelektas iš tikrųjų geba generuoti naujas matematines struktūras be žmogaus nurodymų, tai reiškia, kad mokslinis atradimų procesas artimiausiu metu gali iš esmės pasikeisti.
Dažnai užduodami klausimai
- Kokią problemą išsprendė OpenAI modelis?
- Paneigė geometrijos konjektūrą, kurią 1946 m. suformulavo matematikas Paul Erdös. Anksčiau matematikai manė, kad geriausi sprendimai yra stačiakampiai rastrai, tačiau modelis atrado naują efektyvesnių konstrukcijų šeimą.
- Kodėl šis skelbimas skiriasi nuo ankstesnio?
- Prieš septynis mėnesius OpenAI teigė, kad GPT-5 išsprendė dešimt Erdöšo problemų, bet paaiškėjo, kad sprendimai jau buvo žinomi literatūroje. Šį kartą nepriklausomi matematikai patvirtino, kad įrodymas yra originalus.
- Ar tai reiškia, kad AI gali kurti naujas mokslo žinias?
- Šis atvejis rodo, jog bendros paskirties samprotavimo modelis geba autonomiškai generuoti naujas matematines struktūras, kurių žmonės anksčiau neatrado. Tai kelia vilčių dėl panašių atradimų ir kitose srityse, pavyzdžiui, fizikoje ar biologijoje.
- Kas yra Paul Erdös?
- Vienas įtakingiausių XX a. matematikų, žinomas savo darbais skaičių teorijoje, kombinatorikoje ir grafų teorijoje. Jis suformulavo šimtus atvirų matematikos problemų.
