Anthropic: Claude har også motbevist en av informatikkens store antakelser – timer etter OpenAI

Anthropic sier at en intern Claude-modell har motbevist eksponentialtidshypotesen (ETH), en av de mest brukte antakelsene i teoretisk informatikk. Kunngjøringen kom bare timer etter at OpenAI la fram en tilsvarende påstand. Dermed sier to konkurrerende KI-selskaper nå at deres egne modeller, uavhengig av hverandre, har funnet det samme matematiske gjennombruddet.

Anthropic la ut artikkelen og et maskinsjekket bevis i selskapets åpne GitHub-arkiv for formell matematikk natt til tirsdag 27. oktober, klokka 04.07 norsk tid. Samme dag ble artikkelen publisert på forhåndstrykk-tjenesten Hexagon, merket «Contributed by Anthropic». Artikkelen er datert 26. oktober og har Claude oppført som forfatter.

Hva Anthropic påstår

ETH sier at det klassiske logikkproblemet 3-SAT ikke kan løses vesentlig raskere enn ved eksponentiell tid. Anthropic beskriver en deterministisk algoritme som løser 3-SAT med n variabler i tid 2^o(n), altså raskere enn hypotesen tillater. Ifølge selskapet løser algoritmen også den vanskeligere varianten #3-SAT, der man teller hvor mange løsninger en formel har.

Artikkelen sier at resultatet også motbeviser den sterkere varianten SETH, men ikke den såkalte Orthogonal Vectors-hypotesen, som mange andre resultater bygger på. Et litteratursøk gjort av Claude fant ifølge Anthropic mer enn 800 forskningsartikler som beviser minst ett resultat bare under ETH eller en antakelse som bygger på den.

Fant algoritmen uten menneskelig hjelp

Ifølge artikkelens opprinnelseserklæring fant en intern Claude-forskningsmodell kjernen i algoritmen 16. oktober, med 14 millioner genererte tokens og uten menneskelig innblanding. Anthropic-forskere jobbet deretter med Claude for å forbedre framstillingen. Beviset er formalisert i bevisspråket Lean 4, og ifølge Anthropic er også formaliseringen skrevet av KI-modeller. Selskapet oppgir at kontrollen tok rundt åtte minutter på 24 virtuelle prosessorer.

Anthropic skriver selv at OpenAI «uavhengig og samtidig» hevder å ha bevist et lignende resultat. OpenAI kunngjorde sin påstand mandag 26. oktober. Hvilket resultat som faktisk kom først, kan ikke kontrolleres ut fra det selskapene har publisert.

Store forbehold

Anthropic er tydelig på begrensningene. Resultatet er rent asymptotisk og sier ifølge selskapet «ingenting om å løse formler i praksis». Artikkelen oppgir at algoritmen ikke slår vanlig uttømmende søk før antallet variabler er langt større enn noe som forekommer i virkeligheten. Den har heller ingen direkte betydning for det berømte P mot NP-problemet.

Anthropic påpeker også et viktig hull i maskinsjekken: Lean kontrollerer bevisene, men ingen maskin kontrollerer at den formelle setningen sier det samme som artikkelen. Det må mennesker lese og vurdere. Resultatet er ikke fagfellevurdert, og vi har ikke funnet noen uavhengig bekreftelse av algoritmen.

Hva det betyr for ledere

Saken har ingen umiddelbar praktisk konsekvens for norske virksomheter. Ingen systemer blir raskere, og Anthropic nevner ikke kryptografi i artikkelen. Det interessante er at to av de største KI-leverandørene nå konkurrerer om å vise at modellene deres kan produsere ny grunnforskning på egen hånd, med maskinsjekkede bevis som dokumentasjon.

For ledere som vurderer KI-leverandører er det verdt å skille mellom selskapets påstand og uavhengig verifikasjon. Begge selskapene presenterer resultatene som sine egne, og den eksterne gjennomgangen er ennå ikke ferdig. Holder resultatene, viser de at KI-modeller kan løse oppgaver forskere har brukt tiår på. Holder de ikke, blir det en påminnelse om at selv maskinsjekkede bevis trenger menneskelig kontroll.

Kilder og medier

• Anthropic: A 2^o(n) Time Algorithm for 3-SAT (paper og Lean-bevis på GitHub)
• Hexagon: A 2^o(n) Time Algorithm for 3-SAT, Contributed by Anthropic
• OpenAI: Building scientific understanding with academic communities

Anthropics bidrag ble lagt i GitHub-arkivet 27. oktober 2026 klokka 04.07 norsk tid, og Hexagon-versjonen er datert samme dag. Alle opplysninger i saken er hentet fra disse kildene.

Illustrasjon: KI-generert med Grok Bot / hogby.ai