Den 26 oktober 2026 uppgav OpenAI att företagets interna AI-modeller tagit fram resultat inom harmonisk analys, beräkningskomplexitet och kvantfältteori. Några timmar senare presenterade Anthropic ett konkurrerande påstående: att företagets modell motbevisat den så kallade Exponential Time Hypothesis, ETH. Resultaten skulle kunna få betydelse långt utanför AI-forskningen, men rapporteringen vid tillfället uppgav att de ännu inte hade bekräftats oberoende.
2
3
7
OpenAI:s tre påståenden
Ett bevis om vågekvationer. I ett offentligt GitHub-arkiv har OpenAI lagt upp manuskriptet Local smoothing for the Euclidean wave equation och en formalisering av beviset i Lean. Enligt arkivet visar beviset Sogges förmodan om så kallad lokal utjämning för vågor i alla rumsdimensioner från två och uppåt. OpenAI uppger också att resultatet ger Kakeyas maximal- och dimensionsförmodan samt Stein-estimat för sfärisk restriktion inom den förmodade räckviddens inre.
17 En separat rapport anger att Sogges förmodan formulerades 1991.
6 Det innebär inte att alla versioner av Steins restriktionsförmodan har lösts.
En motbevisning av ETH. OpenAI sade att modellen hittat en motbevisning av ETH – en förmodan om hur svårt det är att lösa problem inom boolesk satisfierbarhet. Företaget beskriver ETH som ett antagande bakom många villkorade resultat inom datavetenskap.
13 Enligt rapporteringen kom modellen fram till resultatet den 16 oktober, och det formaliserades i Lean dagen därpå.
32 OpenAI:s arkiv listar ett manuskript med titeln The Exponential Time Hypothesis is False.
17
Om motbevisningen håller kan det påverka resultat som bygger på ETH. Men en subexponentiell algoritm är inte automatiskt en polynomisk algoritm: exempelvis växer 2^√n långsammare än en exponentiell funktion av n, men snabbare än varje fast polynom. Därför skulle även en giltig 2^o(n)-algoritm för 3-SAT motbevisa ETH utan att i sig visa att P = NP. Frågorna hänger ihop, men är inte samma sak.
13
33
Ett existensresultat inom kvantfältteori. OpenAI hävdade också att modellen tagit fram ett matematiskt rigoröst existensbevis för vissa växelverkande kvantfältteorier i fyra dimensioner, däribland kvantkromodynamik (QCD).
1 Rapporteringen beskriver påståendet som ett resultat om existens. Den visar inte att det bredare Yang–Mills-problemet, inklusive frågan om ett massgap, har lösts.
1
16
Anthropic gör ett konkurrerande ETH-påstående
Anthropic presenterade kort därefter sin egen påstådda motbevisning av ETH. En rapport identifierade artikeln som A 2^o(n) Time Algorithm for 3-SAT och tillskrev arbetet Claude. Den rapporterade också att Anthropic-matematikern Levent Alpöge sagt att grundalgoritmen hade hittats den 16 oktober ”utan mänsklig inblandning”, medan forskare senare samarbetade med Claude kring hur artikeln skulle presenteras.
9
33 Det är rapporterade uppgifter om hur arbetet kom till – inte oberoende bekräftelse av beviset.
Tidpunkten sticker ut: enligt rapporteringen daterade båda företagen sina centrala ETH-resultat till den 16 oktober.
9
32 OpenAI:s planerade granskning skulle involvera Russell Impagliazzo, Ramamohan Paturi och Ryan Williams, enligt uppgifter om den externa granskargruppen.
20 Men den avgörande frågan är inte vilket företag som meddelade först, utan om oberoende experter kan kontrollera resonemangen och vad de faktiskt visar. Rapporterna som fanns tillgängliga då uppgav att påståendena ännu inte hade genomgått oberoende granskning.
3
5
33
Olika planer för publicering – och frågor om insyn
OpenAI beskrev AI-genererade manuskript som ”rå forskningsdata” som externa akademiker skulle hjälpa till att omvandla till vetenskaplig förståelse.
2
11 Företaget publicerade manuskripten om lokal utjämning och ETH tillsammans med Lean-formaliseringar i sitt öppna arkiv.
17 Enligt rapporteringen höll fysikgruppen däremot tillbaka det AI-producerade materialet medan den förberedde en egen redogörelse. David Gross nämndes bland de externa experter som var knutna till arbetet.
11
32
Det har också framförts frågor om insyn i tidigare OpenAI-publiceringar. En sammanställning från AI Edge Briefing uppgav att modellernas kedja av tankar fanns med i 10 av 719 publicerade manuskript, och att efterfrågade maskinläsbara metadata för att koppla ihop textmanuskript med formella artefakter saknades.
18 Det är relevant bakgrund när publiceringsrutinerna bedöms, men räcker inte i sig för att slå fast alla invändningar mot tillkännagivandena den 26 oktober.
Den viktiga skillnaden går mellan ett uppseendeväckande forskningspåstående och ett verifierat resultat. OpenAI gjorde två matematiska påståenden möjliga att granska genom offentliga manuskript och Lean-filer, medan fysikmaterialet enligt rapporteringen inte hade publicerats under granskningsprocessen. Anthropic presenterade ett konkurrerande ETH-påstående och en rapporterad beskrivning av modellens roll. Innan externa experter har kunnat granska bevisen och bekräfta vad de visar bör inget av företagens tillkännagivanden betraktas som en fastslagen vetenskaplig upptäckt.
3
11
17
33