OpenAI paljastaa Astra-mallin, joka ratkaisi kymmenen matematiikan ongelmaa, joiden kanssa matemaatikot kamppailivat vuosikymmeniä

OpenAI on virallisesti vahvistanut uuden tekoälymallin, Astra-nimisen, olemassaolon ja kuvailee sitä 'seuraavaksi suureksi malliperheekseen'. Astrasta käytetty sisäinen versio auttoi ratkaisemaan kymmenen avointa ongelmaa matematiikassa ja teoreettisessa tietojenkäsittelytieteessä, joiden parissa tutkijat olivat työskennelleet tuloksetta vähintään kymmenen vuotta, ja joissain tapauksissa paljon kauemmin. Ratkaistut ongelmat kattavat aiheita korkeadimensionaalisesta geometriasta, koodausteoriasta, ryhmäteoriasta, kvanttimonimutkaisuudesta, hilapohjaisesta kryptografiasta ja äärimmäisestä kombinatoriikasta. Erityisesti Astra rakensi ensimmäisen esimerkin ei-sofisesta ryhmästä, objektista jonka olemassaolosta oli keskusteltu vuosia. Manchesterin yliopiston matemaatikko Thomas Bloom kutsui tuloksia 'isoiksi uutisiksi' ja totesi niiden olevan merkittävämpiä kuin toukokuun vastaesimerkki yksikköetäisyysotaksumalle, mutta hän ei usko matemaatikkojen korvautuvan tekoälyllä pian, koska tekoälyjärjestelmät rakentuvat matematiikan yhteisön pitkäaikaisen työn varaan. OpenAI:n päättelyteknologian kehittäjä Noam Brown kertoi, että yritys on yrittänyt soveltaa Astraa muihin tunnettuihin avoimiin ongelmiin, mutta toistaiseksi ilman menestystä, ja hän kirjoitti X:ssä: 'Valitettavasti ei vielä Millennium-ongelmia.' Clay Mathematics Institute maksaa miljoona dollaria jokaisesta seitsemästä Millennium-ongelmasta, joista vain yksi on ratkaistu vuoden 2000 jälkeen. OpenAI arvioi, että kaikkien kymmenen ratkaisun vaatima laskenta maksaisi noin 2 000 dollaria nykyisillä API-hinnoilla sen Sol-mallille. Tutkijat muuttivat ideat täysimittaisiksi tieteellisiksi artikkeleiksi, ja kaikki todistukset formalisoitiin Lean-järjestelmässä, joka yhdistää ohjelmointikielen ja interaktiivisen todistuksen tarkistimen, tuottaen koneellisesti varmennettuja todistuksia. OpenAI on julkaissut askel askeleelta etenevän päättelyn jokaisesta tuloksesta ja korostaa, että tutkijat vastaavat lopullisista julkaisuista, mutta matemaattiset ideat ja todistuslogiikka ovat peräisin Astrasta. Aiemmin OpenAI kertoi kehittävänsä uutta malliperhettä pitkiin ja monimutkaisiin tehtäviin, ja toimitusjohtaja Sam Altman esitteli Astrin Yhdysvaltain hallituksen ja sääntelyviranomaisille korostaen sen kykyä koordinoida monia tekoälyagentteja. Tietojen mukaan Astra liittyy Sol-, Terra- ja Luna-malliperheisiin, ja sen kaupallinen nimi on tuntematon. OpenAI lupasi julkaista yksityiskohtaisen teknisen raportin. Uudet mallit ovat sisäisessä testauksessa ja niitä arvioidaan ensimmäisinä Yhdysvaltain menettelyllä kehittyneille tekoälymalleille, ja keskeinen haaste on vakaa pitkäketjuinen päättely.