OpenAI julkaisi suuren kokoelman matemaattisia läpimurtoja julkaisemattomasta tekoälymallista

Kuva: The Verge · Lähde

OpenAI on julkaissut 722 käsikirjoitusta, jotka sisältävät ratkaisuja satoihin pitkään avoimina olleisiin matemaattisiin ongelmiin, ja jotka on tuotettu julkaisemattomalla sisäisellä tekoälymallilla. Työ, jaettu GitHubissa, edistää tekoälyn ohjaamia läpimurtoja ja herättää kysymyksiä tutkimusetiikasta ja akateemisista normeista.

OpenAI on paljastanut laajan valikoiman matemaattisia tuloksia, jotka on tuotettu julkaisemattomalla sisäisellä tekoälymallilla. Kokoelma sisältää 722 käsikirjoitusta, jotka on jaettu 372 perheeseen läheisesti liittyviä papereita. Tämä laaja julkaisu ratkaisee satoja pitkään avoinna olleita kysymyksiä eri matematiikan aloilla ja jatkaa tekoälyn ohjaamien läpimurtojen trendiä tällä alalla. Materiaalit ovat saatavilla julkisesti GitHubin repositoriossa, sisältäen formalisoituja todistuksia, päättelyjen tiivistelmiä ja tukevia aineistoja.

OpenAI:n mukaan suurin osa tuloksista saatiin yhdenmukaisella menettelyllä, jossa sisäistä mallia sovellettiin noin 4 000 ongelmaan, ja keskimääräinen laskenta-aika vastasi kolmea tuntia ChatGPT Pro -palvelussa kutakin tulosta kohden. Nämä yksittäiset tuotokset koottiin yhteen, järjestettiin huolellisesti ja tarkastettiin ennen julkaisua. Joissakin monimutkaisissa tapauksissa, kuten nollattomien alueiden todistuksissa Riemannin zetafunktiolle ja Hodge'n konjektuuri CM-abeliolaisille, tehtiin poikkeuksia standardiprosessista ja ihmistyötä selkeyden varmistamiseksi.

Julkaistu repositorio tarjoaa yksityiskohtaisen luettelon matemaattisittain, mahdollistaen navigoinnin keskeisiin tuloksiin ja niihin liittyviin lisäpapereihin. Monien käsikirjoitusten mukana on virallisia Lean-todistuksen apuvälineen verifiointeja, vaikkakin osa on vielä formalisoimattomia ja saattaa sisältää virheitä, joita OpenAI sitoutuu korjaamaan tulevissa päivityksissä.

Tämä paljastus seuraa Matematiikan ja Tekoälyn neuvontaryhmän suosituksia, jotka rohkaisivat tekoälytutkimuslaboratorioita jakamaan matemaattisia löytöjään nopeasti vakiintuneiden akateemisten kanavien kautta ja tarjoamaan läpinäkyvää tietoa, kuten mallien nimet, käskytystiedot ja laskentakustannukset. Ryhmä varoitti myös käyttämästä tuloksia pelkästään markkinointitarkoituksiin mahdollisen vahingon vuoksi matematiikan yhteisölle.

Näiden tekoälyn tuottamien tulosten laajempi vaikutus on edelleen kehittymässä, kun matemaatikot maailmanlaajuisesti tutkivat ja validoivat löydöksiä. Nämä tuotokset lisäävät nopeasti laajenevaa tekoälypohjaista matemaattista tutkimuskirjallisuutta, liittyen muun muassa Anthropicin kaltaisten laboratorioiden ponnisteluihin ratkaista haastavia ongelmia, kuten Millennium-palkintokysymyksiä. Tekoälyn kiihtynyt sitoutuminen perustavanlaatuiseen matematiikkaan herättää keskustelua tutkimusetiikasta, akateemisista tunnustuksista ja ihmismatemaatikoiden roolista, joiden aiempi työ muodostaa tekoälyn saavutusten perustan.

OpenAI aikoo ylläpitää julkista versionhallintaa näille käsikirjoituksille, mahdollistaen jatkuvat päivitykset ja takaen läpinäkyvyyden. Yritys tutkii myös lisäyhteisöalustoja matemaattisen sisällön jakamiseen ja yhteistyöhön. Tämä julkaisu merkitsee merkittävää virstanpylvästä tekoälyn integroinnissa matemaattiseen tutkimukseen, korostaen sekä merkittävää potentiaalia että vastuullisen innovoinnin monimutkaisuutta.