OpenAI on julkaissut laajan kokoelman matemaattinen tutkimus tuotettu sisärajalla AI malli, mukaan lukien työ ongelmia, jotka ovat haastaneet ammattimatemaatikot vuosia.
Yhtiö ilmoitti julkaisu 6 lokakuuta, sanomalla tulokset kattavat laajan valikoiman matematiikkaa ja julkaistaan avoimesti tutkijoille.
Julkinen kokoelma sisältää 722 käsikirjoitusta, jotka on järjestetty OpenAI:n kehittäjäyhteisön mukaan 372:ksi. Työ syntyi arviointi, jossa noin 4000 matemaattisia ongelmia.
Verge raportoi, että kokoelmassa on satoja matemaattisia tuloksia, jotka ovat peräisin julkaisemattomasta rajamallista. Julkaiseminen ei kuitenkaan tarkoita, että jokaista väitettä olisi välittömästi käsiteltävä vakiintuneena matemaattisena tosiasiana. Tutkijoiden on tutkittava todisteet ja määritettävä yksittäisten tulosten merkitys ja uutuus.
Yksi erityisen merkittävä ominaisuus on, että OpenAI on antanut muodollisuuksia monia vedoksia käyttäen Lean, ohjelmointikieli, jonka avulla matemaattisia vedoksia voidaan tarkistaa tietokoneella. Yhtiön mukaan lisää muodollisuuksia lisätään ajan myötä.
OpenAI paljasti myös asiaan liittyvien tietokoneiden huomattavan mittapuun. Keskimäärin jokainen tulos vaati laskentaa, joka vastaa noin kolmea tuntia ChatGPT:tä Pro ajattelua käyttäen sisäistä mallia.
Julkaisu seuraa yhä dramaattisempia väitteitä tekoälyn kyvystä edistää matematiikkaa. Syyskuussa OpenAI sanoi saman laajemman tutkimuksen vaivaa oli ratkaistu yli 100 pitkäaikainen avoin ongelmia, joka kannustaa yritystä työskentelemään riippumattoman ryhmän näkyvä matemaatikot siitä, miten tällaisia löytöjä olisi tarkistettava ja ilmoitettava.
Tämä neuvoa-antava ryhmä sisältää matemaatikot laitosten mukaan lukien Stanford, Harvard, Oxford, Cambridge, Berkeley ja Institute for Advanced Study. Sen tehtävänä ei ole pelkästään tukea OpenAI:n työtä vaan antaa itsenäisesti neuvoja merkityksestä, tutkimusstandardeista ja vastuullisesta tiedottamisesta.
Suurempi kysymys nyt menee pidemmälle kuin onko tekoäly voi vastata vaikeita matematiikan kysymyksiä.
Jos riippumaton matemaatikot lopulta tarkistaa merkittäviä osia tästä työstä, uusi raja voi olla, onko tekoäly voi rutiininomaisesti löytää matematiikan, että ihmiset eivät jo tiedä.