„Anthropic“ teigia: jos AI per 24 valandas pakartojo pusę „OpenAI“ matematinių proveržių

„OpenAI“ šeštadienį pranešė, kad vidinė kito jos didžiojo dirbtinio intelekto modelio, pavadinto „Astra“, versija išsprendė arba padarė esminę pažangą sprendžiant 10 ilgalaikių atvirų matematikos ir teorinės kompiuterijos problemų. Per 24 valandas bendrovės „Anthropic“ tyrėjas Leventas Alpöge pateikė atsaką, pareikšdamas, kad naudodamas viešai prieinamą „Claude Fable“ savarankiškai išsprendė penkias iš šių problemų.

Šis apsikeitimas pareiškimais žymi naujausią ir galbūt ryškiausią abiejų pirmaujančių AI bendrovių konkurencijos sustiprėjimą, o pažangus matematinis samprotavimas tampa nauju kovos lauku.

„Astra“ matematiniai pareiškimai

Tinklaraščio įraše, pavadintame „Dešimt pažangos žingsnių matematikoje ir teorinėje kompiuterijoje“, „OpenAI“ teigė, kad sprendžiant šias problemas „bent dešimtmetį nebuvo pasiekta jokios pažangos dėl pagrindinio rezultato“. Sprendimai apima daugiamatę geometriją, kodavimo teoriją, aritmetinių grandinių sudėtingumą, grupių teoriją, operatorių algebras, kvantinį sudėtingumą, gardelių kriptografiją ir ekstremaliąją kombinatoriką.indianexpress+1

Tarp minimų pasiekimų „Astra“ įrodė, kad ne sofatinės grupės egzistuoja: šis klausimas buvo atviras nuo 1999 metų. Taip pat modelis išsprendė Alaino Conneso standumo hipotezę ir Ehrharto tūrio hipotezę. „OpenAI“ nurodė, kad įrodymai buvo formalizuoti „Lean 4“ kalboje ir kad ji publikuos modelio samprotavimo proceso aprašymą. Bendrovės skaičiavimu, šio darbo atkartojimas kainuotų apie 2 000 JAV dolerių pagal „GPT-5.6 Sol API“ įkainius.openai+3

„OpenAI“ nepateikė jokios techninės informacijos apie „Astra“ architektūrą ar išleidimo grafiką. Matematikas Terence Tao pažymėjo, kad šios problemos, nors ir sudėtingos, buvo „išsprendžiamos žinomais metodais“, o ne patys giliausi neišspręsti matematikos klausimai.instagram

Greitas „Anthropic“ atsakas

Netrukus po pranešimo L. Alpöge platformoje „X“ parašė, kad „Claude Fable“ išsprendė penkias iš šių problemų per mažiau nei 24 valandas, dirbdamas autonomiškai su bendrosiomis užklausomis ir be prieigos prie interneto. Jo paminėtos problemos apima aritmetinių grandinių sudėtingumą, kvantinį lygiagretųjį kartojimą ir artimiausio vektoriaus problemą.moneycontrol+2

L. Alpöge nėra naujokas AI padedamos matematikos srityje. Liepos mėnesį buvęs Harvardo universiteto absolventas naudojo „Claude Fable 5“, kad atmestų 87 metų senumo Jakobi hipotezę Pasaulio taurės finalo metu, o šis rezultatas vėliau buvo nepriklausomai patikrintas. „Anthropic“ neišleido oficialaus mokslinio darbo, patvirtinančio naujausius pareiškimus, o „OpenAI“ viešai neatsakė.fortune+2

Naujas AI lenktynių frontas

„OpenAI“ pripažino, kad AI sistemos, gebančios prisidėti prie matematinių tyrimų, kelia neišspręstus autorystės klausimus. „Priskirti žmogui autorystę už įrodymą, kurį visiškai sugeneravo AI sistema, neatitiktų tikrovės nei dėl sistemos indėlio, nei dėl žmogaus intelektinio darbo“, – rašė bendrovė. Ji paragino platesnę akademinę bendruomenę padėti parengti autorystės priskyrimo normas.indianexpress

Šios varžybos rodo, kad kelių bendrovių pažangiausi AI modeliai artėja prie mokslinio lygio matematinių gebėjimų, o kitas konkurencijos etapas gali būti matuojamas ne pokalbių robotų testų rezultatais, o teoremomis.