Jaamme tekoälyn edistysaskeleita matematiikassa
Julkaisemme laajan valikoiman uusia matemaattisia tuloksia, jotka on tuottanut sisäisessä käytössämme oleva edistynyt malli.
Haluamme yhtenäistää tapamme jakaa tuloksia matematiikan tutkijayhteisölle. Olemme siksi kehittäneet parhaita käytäntöjä yhteistyössä riippumattoman Institute for Advanced Study -instituutin matematiikan ja tekoälyn neuvonantajaryhmän(avautuu uudessa ikkunassa) kanssa. Otamme näiden tulosten julkaisemisessa huomioon ryhmän neuvot ja julkiset suositukset(avautuu uudessa ikkunassa).
Tällä kertaa julkaisemme tulokset GitHub-repositoriossa, jossa on myös käytännöt artikkelien päivittämiseen ja niihin viittaamiseen. Selvitämme edelleen myös muita yhteisön ylläpitämiä julkaisuvaihtoehtoja, jotka täyttävät neuvonantajaryhmän ohjeet. Tulevissa julkaisuissa sitoudumme parantamaan artikkelien laatua entisestään kehittämällä lähdeviitteitä sekä matemaattisten perustelujen ja tulosten esitystapaa, jotta niitä on helpompi ymmärtää.
Jaamme GitHub-repositoriossamme myös monien todistusten formalisointeja Lean-ohjelmointikielellä, jonka avulla matemaattiset todistukset voidaan tarkistaa tietokoneella. Lisäämme repositorioon uusia formalisointeja sitä mukaa kuin niitä valmistuu.
Tieteen läpinäkyvyyden ja avoimuuden edistämiseksi julkaisemme repositoriossa myös lisätietoja siitä, miten tulokset saatiin. Näihin sisältyy 10 yhteenvetoa mallin päättelystä, arvioita käytetystä laskentamäärästä suhteessa ChatGPT:n Pro-käyttöön sekä tilastoja niiden ongelmien määrästä, joita yritettiin ratkaista. Yhden tuloksen saamiseen käytettiin keskimäärin laskentamäärä, joka vastaa noin kolmen tunnin ajattelua ChatGPT Prossa.
Haluamme näiden edistysaskelten laajentavan ihmiskunnan tietämystä ja mahdollistavan matematiikan kehityksen myös jatkossa. Rahoitamme työpajoja, konferensseja ja erillisiä ohjelmia, joissa syvennytään tekoälyn tuottamiin merkittäviin tuloksiin. Kerromme tästä lisää lähitulevaisuudessa.
Haluamme tuoda uusimmat tekoälyvalmiudet suoraan tutkijoiden käyttöön ja teemme töitä voidaksemme julkaista nämä tulokset tuottaneen mallin vastuullisesti. Siksi on tärkeää jatkaa sisäisessä käytössämme olevien edistyneiden mallien arviointia matematiikassa ja muissa tieteissä. Näin voimme nopeuttaa näitä aloja edistävien työkalujen kehittämistä. Hyödynnämme jatkossakin yhteisön palautetta ja päivitämme merkittävien tieteellisten edistysaskelten julkistamista koskevia käytäntöjämme.
