OpenAI sanoo Astra-mallinsa ratkaisneen 10 avointa matemaattista ongelmaa

OpenAI ilmoitti 1. elokuuta, että sen seuraavan suuren malliperheen sisäinen versio Astra on tuottanut ratkaisut kymmeneen pitkään avoinna olleeseen matematiikan ja teoreettisen tietojenkäsittelyn ongelmaan noin 2 000 dollarin kokonaispäättelykustannuksilla Sol API -hinnoilla laskettuna.openai

Ongelmat olivat vastustaneet edistystä ainakin vuosikymmenen ajan, ja ne kattavat moniulotteisen geometrian, koodausteorian, aritmeettisen piirikompleksisuuden, ryhmäteorian, operaattorialgebrat, kvanttikompleksisuuden, hilakryptografian ja ekstremaalisen kombinatoriikan. Ihmistutkijat valmistelivat perustelut käsikirjoituksiksi käyttäen samaa mallia, joka sitten formalisoi kunkin todistuksen Lean-kielellä, joka on koneellisesti varmennettujen teoreemojen kieli. OpenAI on julkaissut kaikki todistukset ja päättelyrekisterit julkisesti.forklog+1

Mitä Astra ratkaisi

Kymmenen tulosta sisältävät uudet ylärajat pallojen pakkaustiheydelle Cohn-Elkies-kynnykseen asti, konstruktion, joka todistaa ei-sofisten ryhmien olemassaolon (ryhmäteorian keskeinen avoin kysymys vuodesta 1999 lähtien), sekä Connesin von Neumann -algebroja koskevan jäykkyyskonjektuurin kumoamisen. Astra tuotti myös uusia alarajoja aritmeettiselle piirikompleksisuudelle permanentin laskemisessa, eksponentiaalisen paralleelirepetitioteoreeman kaksinpelin kvanttipeleille sekä polynomisertifioidun approksimaatiovaikeuden lähimmän vektorin ongelmalle, millä on merkitystä kvanttilaskennan jälkeiselle kryptografialle.forklog+1

Malli ratkaisi Ehrhartin tilavuuskonjektuurin kaikissa ulottuvuuksissa, tuotti superekspotentiaalisen alarajan monivärisille kolmio-Ramsey-luvuille ratkaisten Erdősin ongelman 183 sekä käsitteli kompaktius- ja degeneraatiokonjektuureja ekstremaalisessa graafiteoriassa ratkaisten Erdősin ongelmat 146 ja 180.openai

Thomas Bloom, Manchesterin yliopiston matemaatikko, kuvaili tuloksia "suuriksi uutisiksi" ja "merkittäväksi askeleeksi".forklog

Astra on edelleen julkaisematon

Astraa ei ole julkaistu julkisesti. Sam Altman esitteli mallia Yhdysvaltain senaattoreille ja sääntelijöille Washingtonissa heinäkuun lopulla, ja se saattaa olla ensimmäinen järjestelmä, joka toimitetaan Trumpin hallinnon suunnitteleman tekoälymallien julkaisua edeltävän arviointikehyksen alaisuudessa. The Information News Corp ↘ 1.67% -lehden mukaan OpenAI ei ole päättänyt, julkaistaanko Astra GPT-6-mallina vai GPT-5-malliston varianttina, eikä julkaisupäivää ole vahvistettu.softonic+2

Noam Brown, Astran päättelyteknologian toinen kehittäjä, totesi, että malli ei onnistunut ratkaisemaan Millennium-palkinto-ongelmia, eli seitsemää kysymystä, jotka Clay-instituutti määritteli vuonna 2000 matematiikan tärkeimmiksi. OpenAI totesi selkeästi, että "ihmisen tekijyyden väittäminen kokonaan tekoälyjärjestelmän tuottamalle todistukselle antaisi väärän kuvan sekä järjestelmän panoksesta että aidon ihmisen älyllisen työn luonteesta".forklog+1