OpenAI vahvistaa seuraavan suuren malliperheensä Astrin, joka ratkaisee kymmenen avointa matematiikan ongelmaa kerralla

OpenAI on virallisesti vahvistanut seuraavan suuren malliperheensä nimen, Astra, ja julkaissut matematiikan raportin, jonka mukaan sisäinen versio Astrasta ratkaisi kymmenen aiemmin ratkaisematonta ongelmaa matematiikassa ja teoreettisessa tietojenkäsittelytieteessä. Ongelmat kattavat monia eri alueita, kuten korkeaulotteisen geometrian, koodausteoriaa, ryhmäteoriaa, kvanttilaskennan monimutkaisuutta, hila-kryptografiaa ja äärimmäistä kombinatoriikkaa. Ratkaistujen ongelmien joukossa on todistus ei-sofisten ryhmien olemassaolosta, joka on keskeinen avoin kysymys ryhmäteoriassa. Manchesterin yliopiston matemaatikko Thomas Bloom kutsui tuloksia X:ssä 'isoiksi uutisiksi' ja arvioi ne korkeammalle kuin toukokuussa julkaistun vastaesimerkin yksikköetäisyysolettamalle. Noam Brown, keskeinen henkilö testiajan päättelyteknologian takana, joka on Astran perusta, myönsi X:ssä, että OpenAI epäonnistui myös muissa suurissa ongelmissa, mukaan lukien Millennium-ongelmat, ja huomautti, että he eivät käyttäneet paljon laskentatehoa per ongelma ja että testiajan laskentaa voidaan skaalata edelleen. Brown kuvaili Astraa 'suureksi askeleeksi tieteellisessä päättelyssä'. Ratkaisujen laskentakustannukset olivat huomattavan alhaiset: OpenAI:n mukaan tarvittavat tokenit olisivat maksaneet noin 2000 dollaria Sol-mallin API-hinnoilla. Argumentit käsiteltiin sitten ihmisten toimesta yhdessä saman mallin kanssa käsikirjoituksiksi, ja jokainen todistus formalisoitiin Lean-sertifikaatiksi, joka on koneellisesti varmistettava vahvistus matemaattisesta oikeellisuudesta. OpenAI julkaisi myös kertomuksen mallin ajatteluprosessista jokaiselle ratkaisulle. Yritys selvensi, että vaikka he auttoivat käsikirjoituksen valmistelussa ja formalisoinnissa ja ottavat vastuun oikeellisuudesta, matemaattiset argumentit itsessään tulivat järjestelmältä, ja ihmisen tekijyyden väittäminen täysin tekoälyn tuottamalle todistukselle vääristäisi sekä järjestelmän panosta että aidon inhimillisen älyllisen työn luonnetta, viitaten Leidenin julistuksen allekirjoittajiin tekoälystä ja matematiikasta. Bloom suhteellisti ajatuksen siitä, että tekoäly korvaa matemaatikot, ja väitti, että ei ole asianmukaista sanoa niin, kun tekoäly rakentuu yli vuosisadan matemaattisen teorian päälle, on matemaatikkojen rakentama ja on koulutettu kaikella, mitä matemaatikot ovat koskaan kirjoittaneet. Aiemmat raportit osoittivat, että toimitusjohtaja Sam Altman esitteli Astraa poliitikoille ja sääntelyviranomaisille Washingtonissa, ja että Astra on uusi malliluokka, joka eroaa olemassa olevista Sol-, Terra- ja Luna-perheistä, ja että se saatetaan julkaista GPT-6:na tai GPT-5-sarjan varianttina, kuten GPT-5.7. Astran odotetaan olevan ensimmäinen malli, joka käy läpi Trumpin hallinnon suunnitteleman uuden kehyksen, joka edellyttää liittovaltion hallituksen tarkistusta ennen julkista julkaisua. Malli on suunniteltu monitoimijaiseen yhteistyöhön pidemmillä aikaväleillä, tavoitteena ratkaista monimutkaisia projekteja ja edistyneitä matemaattisia tehtäviä. OpenAI on ilmoittanut tavoitteekseen kehittää tekoälyjärjestelmiä, jotka voivat työskennellä ongelmien parissa tunteja tai päiviä, ja maaliskuuhun 2028 mennessä se pyrkii saamaan valmiiksi täysin autonomisen tekoälytutkijan.