Anthropic: Vår AI matchade hälften av OpenAIs matematikgenombrott på ett dygn

OpenAI meddelade på lördagen att en intern version av deras nästa stora AI-modell, kallad Astra, har löst eller gjort betydande framsteg gällande tio långvariga öppna problem inom matematik och teoretisk datavetenskap. Inom 24 timmar gick Anthropic-forskaren Levent Alpöge till motattack och hävdade att han använt den fritt tillgängliga Claude Fable för att självständigt lösa fem av samma problem.

Ordväxlingen markerar den senaste och kanske mest uppseendeväckande upptrappningen i rivaliteten mellan de två ledande AI-bolagen, där avancerade matematiska resonemang har blivit en ny slagfält.

Astras matematiska anspråk

I ett blogginlägg med titeln "Ten advances in mathematics and theoretical computer science" skrev OpenAI att problemen "inte haft några framsteg gällande huvudresultatet på minst ett decennium". Resultaten spänner över högdimensionell geometri, kodningsteori, aritmetisk kretskomplexitet, gruppteori, operatorgeometrier, kvantkomplexitet, gitterkryptografi och extremal kombinatorik.indianexpress+1

Bland de hävdade framgångarna bevisade Astra att det finns icke-sofiska grupper, en fråga som varit öppen sedan 1999, samt löste Alain Connes styvhetsförmodan och Ehrharts volymförmodan. OpenAI uppgav att bevisen formaliserades i Lean 4 och att bolaget kommer att publicera modellens egen beskrivning av sin resonemangsprocess. Bolaget uppskattade att det skulle kosta ungefär 2 000 dollar att återskapa arbetet med GPT-5.6 Sol API-priser.openai+3

OpenAI gav inga tekniska detaljer om Astras arkitektur eller tidsplan för lansering. Matematikern Terence Tao noterade att problemen, även om de var svåra, var "möjliga att lösa med kända tekniker" snarare än att vara matematikens djupaste olösta frågor.instagram

Anthropics snabba svar

Kort efter meddelandet skrev Alpöge på X att Claude Fable hade löst fem av samma problem på under 24 timmar, arbetande autonomt med generella promptar och utan internetåtkomst. Problemen han hänvisade till inkluderar aritmetisk kretskomplexitet, kvantparallell repetition och närmaste vektor-problemet.moneycontrol+2

Alpöge är ingen nybörjare inom AI-assisterad matematik. I juli använde den tidigare Harvard-studenten Claude Fable 5 för att motbevisa den 87 år gamla Jacobiformodan under VM-finalen, ett resultat som sedan dess har verifierats självständigt. Anthropic har inte publicerat någon formell rapport som verifierar de senaste påståendena, och OpenAI har inte svarat offentligt.fortune+2

En ny front i AI-kapplöpningen

OpenAI medgav att AI-system som kan bidra till matematisk forskning väcker olösta frågor om upphovsmannaskap. "Att hävda mänskligt upphovsmannaskap för ett bevis som helt och hållet genererats av ett AI-system skulle ge en felaktig bild av både systemets bidrag och mänskligt intellektuellt arbete", skrev bolaget. Det uppmanade det akademiska samfundet att hjälpa till att utveckla normer för attribuering.indianexpress

Meningsutbytet tyder på att ledande AI-modeller från flera företag närmar sig matematisk kapacitet på forskningsnivå, och att nästa fas i konkurrensen kanske inte kommer att mätas i chattbot-riktmärken utan i teorem.