Anthropic väittää tekoälynsä yltäneen puoleen OpenAI:n matemaattisista läpimurroista vuorokaudessa

OpenAI ilmoitti lauantaina, että sen seuraavan suuren tekoälymallin sisäinen versio, nimeltään Astra, on ratkaissut tai edistynyt merkittävästi 10 pitkään avoinna olleessa matematiikan ja teoreettisen tietojenkäsittelytieteen ongelmassa. Vain 24 tunnin sisällä Anthropicin tutkija Levent Alpöge vastasi väittämällä, että hän käytti julkisesti saatavilla olevaa Claude Fablea ratkaistakseen itsenäisesti viisi samoista ongelmista.

Mielipiteiden vaihto on viimeisin ja kenties silmiinpistävin kärjistyminen kahden johtavan tekoälyyhtiön välisessä kilpailussa, jossa edistyneestä matemaattisesta päättelystä on tulossa uusi taistelukenttä.

Astran matemaattiset väitteet

Blogikirjoituksessaan otsikolla "Kymmenen edistysaskelta matematiikassa ja teoreettisessa tietojenkäsittelytieteessä" OpenAI sanoi, että ongelmien "päätuloksessa ei ole tapahtunut edistystä ainakin vuosikymmeneen". Tulokset kattavat moniulotteisen geometrian, koodausteorian, aritmeettisten piirien monimutkaisuuden, ryhmäteorian, operaattorialgebran, kvanttimonimutkaisuuden, hilakryptografian ja ekstremaalisen kombinatorikan.indianexpress+1

Väitettyjen saavutusten joukossa Astra todisti, että ei-sofisia ryhmiä on olemassa, kysymys joka on ollut avoinna vuodesta 1999 lähtien, sekä ratkaisi Alain Connesin jäykkyyskonjektuurin ja Ehrhartin tilavuuskonjektuurin. OpenAI kertoi, että todistukset formalisoitiin Lean 4 -kielellä ja että se julkaisee mallin selostuksen sen päättelyprosessista. Yhtiö arvioi, että työn toistaminen maksaisi noin 2 000 dollaria GPT-5.6 Sol API -hinnoilla.openai+3

OpenAI ei antanut teknisiä yksityiskohtia Astran arkkitehtuurista tai julkaisuaikataulusta. Matemaatikko Terence Tao pani merkille, että vaikka ongelmat olivat vaikeita, ne olivat "ratkaistavissa tunnetuilla tekniikoilla" sen sijaan, että ne olisivat olleet matematiikan syvällisimpiä ratkaisemattomia kysymyksiä.instagram

Anthropicin nopea vastaus

Pian ilmoituksen jälkeen Alpöge kirjoitti X-palvelussa, että Claude Fable oli ratkaissut viisi samoista ongelmista alle 24 tunnissa toimien autonomisesti yleisillä kehotteilla ja ilman internetyhteyttä. Hänen mainitsemansa ongelmat sisältävät aritmeettisten piirien monimutkaisuuden, kvanttiparalleelitoiston ja lähimmän vektorin ongelman.moneycontrol+2

Alpöge ei ole ummikko tekoälyavusteisessa matematiikassa. Heinäkuussa Harvardin entinen priimus käytti Claude Fable 5 -mallia kumotakseen 87 vuotta vanhan Jacobin konjektuurin MM-kisojen finaalin aikana. Tulos on sittemmin vahvistettu itsenäisesti. Anthropic ei ole julkaissut virallista tutkimusta uusimpien väitteiden vahvistamiseksi, eikä OpenAI ole vastannut julkisesti.fortune+2

Uusi rintama tekoälykilvassa

OpenAI myönsi, että matemaattiseen tutkimukseen osallistumaan kykenevät tekoälyjärjestelmät nostavat esiin ratkaisemattomia kysymyksiä tekijyydestä. "Ihmisen tekijyyden vaatiminen kokonaan tekoälyjärjestelmän luomalle todistukselle antaisi väärän kuvan sekä järjestelmän panoksesta että ihmisen intellektuaalisesta työstä", yhtiö kirjoitti. Se kehotti laajempaa akateemista yhteisöä auttamaan viittausnormien kehittämisessä.indianexpress

Mielipiteiden vaihto viittaa siihen, että useiden yhtiöiden johtavat tekoälymallit lähestyvät tutkimustason matemaattista suorituskykyä, ja että kilpailun seuraavaa vaihetta ei ehkä mitata chatin vertailutesteissä vaan teoreemoissa.