Anthropic: AI matchet halvparten av OpenAIs matematikkgjennombrudd på 24 timer

OpenAI kunngjorde lørdag at en intern versjon av deres neste store AI-modell, kalt Astra, har løst eller gjort vesentlige fremskritt på ti langvarige åpne problemer innen matematikk og teoretisk datavitenskap. Innen 24 timer svarte Anthropic-forskeren Levent Alpöge med at han hadde brukt den fritt tilgjengelige Claude Fable til uavhengig å løse fem av de samme problemene.

Utvekslingen er den nyeste og kanskje mest oppsiktsvekkende tilspissingen i rivaliseringen mellom de to ledende AI-selskaper, der avansert matematisk resonnering er blitt en ny slagmark.

Astras matematiske påstander

I et blogginnlegg med tittelen "Ten advances in mathematics and theoretical computer science" uttalte OpenAI at problemene "ikke har hatt noen fremgang på hovedresultatet på minst et tiår". Resultatene spenner over høydimensjonal geometri, kodingsteori, aritmetisk kretskompleksitet, gruppeteori, operatoralgebraer, kvantekompleksitet, gitterkryptografi og ekstremal kombinatorikk.indianexpress+1

Blant de hevdede prestasjonene beviste Astra at det finnes ikke-sofiske grupper, et spørsmål som har vært åpent siden 1999, og løste Alain Connes' stivhetsformodning og Ehrharts volumformodning. OpenAI oppga at bevisene ble formalisert i Lean 4, og at de vil publisere modellens egen beskrivelse av resonnementprosessen. Selskapet anslår at det vil koste omtrent 2 000 dollar å gjenskape arbeidet med GPT-5.6 Sol API-priser.openai+3

OpenAI oppga ingen tekniske detaljer om Astras arkitektur eller lanseringsplan. Matematiker Terence Tao bemerket at problemene, selv om de var vanskelige, var "løsbare med kjente teknikker" heller enn å være matematikkens dypeste uløste spørsmål.instagram

Anthropics raske svar

Kort tid etter kunngjøringen skrev Alpöge på X at Claude Fable hadde løst fem av de samme problemene på under 24 timer, og at den jobbet autonomt med helt generelle ledetekster og uten tilgang til internett. Problemene han trakk frem inkluderer aritmetisk kretskompleksitet, kvanteparallell repetisjon og det nærmeste vektor-problemet.moneycontrol+2

Alpöge er ingen nybegynner innen AI-assistert matematikk. I juli brukte den tidligere Harvard-studenten Claude Fable 5 til å motbevise den 87 år gamle Formodningen om den jacobiske determinanten under VM-finalen, et resultat som siden har blitt uavhengig verifisert. Anthropic har ikke publisert noen formell artikkel som verifiserer de nyeste påstandene, og OpenAI har ikke svart offentlig.fortune+2

En ny front i AI-kappløpet

OpenAI erkjente at AI-systemer som kan bidra til matematisk forskning reiser uavklarte spørsmål om opphavsrett og forfatterskap. "Å kreve menneskelig forfatterskap for et bevis som er generert i sin helhet av et AI-system, vil gi et feil bilde av både systemets bidrag og menneskelig intellektuelt arbeid", skrev selskapet. Det oppfordret det brede akademiske miljøet til å hjelpe til med å utvikle normer for attribusjon.indianexpress

Ordvekslingen tyder på at ledende AI-modeller fra flere selskaper nærmer seg matematisk kapasitet på forskningsnivå, og at den neste fasen av konkurransen kanskje ikke vil bli målt i ytelsestester for chatroboter, men i teoremer.