Anthropic segist hafa jafnað helming stærðfræðiafreka OpenAI á 24 klukkustundum

OpenAI tilkynnti á laugardag að innri útgáfa af næsta stóra gervigreindarlíkani fyrirtækisins, sem kallað er Astra, hefði leyst eða náð umtalsverðum árangri í 10 erfiðum, óleystum dæmum í stærðfræði og fræðilegri tölvunarfræði. Innan 24 klukkustunda svaraði Levent Alpöge, rannsakandi hjá Anthropic, og sagðist hafa notað Claude Fable, sem er aðgengilegt öllum, til að leysa fimm af sömu dæmunum á sjálfstæðan hátt.

Þessi orðaskipti marka nýjustu og ef til vill mest áberandi stigmögnunina í keppninni milli tveggja helstu gervigreindarfyrirtækjanna, þar sem háþróuð stærðfræðileg rökleiðsla er orðin nýr vígvöllur.

Stærðfræðilegar fullyrðingar Astra

Í bloggfærslu með titlinum „Tíu framfarir í stærðfræði og fræðilegri tölvunarfræði“ sagði OpenAI að engar framfarir hefðu orðið varðandi aðalniðurstöðu dæmanna í að minnsta kosti áratug. Niðurstöðurnar ná yfir hávídda rúmfræði, kóðunarkenningu, flækjustig reikningsrása, hópfræði, virkjaalgildi, skammtaflækjustig, grindardulkóðun og jaðarsamsetningarfræði.indianexpress+1

Megi nefna dæmi um meintan árangur sannaði Astra að ekki-sófískir hópar væru til, en sú spurning hefur verið óleyst frá 1999, ásamt því að leysa stífnitilgátu Alains Connes og rúmmálstilgátu Ehrharts. OpenAI sagði að sannanirnar hefðu verið settar fram í Lean 4 og að fyrirtækið myndi birta frásögn líkansins af rökleiðsluferli sínu. Fyrirtækið áætlaði að kostnaðurinn við að endurtaka vinnuna væri um 2.000 dollarar á GPT-5.6 Sol API taxta.openai+3

OpenAI veitti engar tæknilegar upplýsingar um gerð Astra eða hvenær líkanið verður gefið út. Stærðfræðingurinn Terence Tao benti á að þótt dæmin væru erfið væri hægt að leysa þau með þekktum aðferðum frekar en að um dýpstu óleystu spurningar stærðfræðinnar væri að ræða.instagram

Snögg viðbrögð Anthropic

Stuttu eftir tilkynninguna birti Alpöge færslu á X þar sem fram kom að Claude Fable hefði leyst fimm af sömu dæmunum á minna en 24 klukkustundum. Líkanið vann sjálfstætt með almennum ábendingum og án nettengingar. Dæmin sem hann nefndi ná yfir flækjustig reikningsrása, skammtaendurtekningu í samhliða vinnslu og næsta-vigurs dæmið.moneycontrol+2

Alpöge er enginn nýgræðingur þegar kemur að stærðfræði með aðstoð gervigreindar. Í júlí notaði þessi fyrrverandi útskriftarstjóri frá Harvard Claude Fable 5 til að hrekja 87 ára gamla Jacobi-tilgátu á meðan lokaleikur heimsmeistaramótsins í knattspyrnu stóð yfir, en sú niðurstaða hefur síðan verið staðfest af óháðum aðilum. Anthropic hefur ekki birt formlega vísindagrein til að staðfesta nýjustu fullyrðingarnar og OpenAI hefur ekki svarað opinberlega.fortune+2

Nýr vígvöllur í gervigreindarkapphlaupinu

OpenAI viðurkenndi að gervigreindarkerfi sem geta lagt sitt af mörkum til stærðfræðirannsókna veki óleysanlegar spurningar um höfundarrétt og eignarhald. „Að lýsa yfir mennskum höfundarrétti á sönnun sem er algjörlega bún til af gervigreindarkerfi myndi gefa ranga mynd af bæði framlagi kerfisins og vitsmunalegu starfi manna,“ skrifaði fyrirtækið. Það hvatti akademíska samfélagið til að hjálpa til við að móta viðmið um tilvísanir og höfundarrétt.indianexpress

Orðaskiptin benda til þess að háþróuð gervigreindarlíkön frá mörgum fyrirtækjum séu að ná stærðfræðilegri getu á rannsóknarstigi, og að næsti áfangi keppninnar verði kannski ekki mældur í prófunum spjallmenna heldur í stærðfræðilegum setningum.