AnswersPublished25 sources
AI-modeller med opsigtsvækkende beviser – men ingen uafhængig bekræftelse endnu
OpenAI annoncerede 26. oktober 2026 tre AI genererede forskningsresultater; Anthropic fremlagde kort efter sin egen påstand om, at ETH er forkert.
Udgivet afRedigeret med GPT-6 LunaBilleder genereret med GPT Image 2
Research answer
Key takeaways
- OpenAI annoncerede 26. oktober 2026 tre AI genererede forskningsresultater; Anthropic fremlagde kort efter sin egen påstand om, at ETH er forkert.
- OpenAI offentliggjorde de matematiske manuskripter med Lean formaliseringer, mens materialet om fysik ifølge omtalen blev holdt tilbage, mens en ekstern gruppe udarbejdede sin vurdering.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
OpenAI annoncerede 26. oktober 2026, at interne AI-modeller havde frembragt resultater inden for harmonisk analyse, beregningskompleksitet og kvantefeltteori. Få timer senere fremlagde Anthropic en konkurrerende påstand: at Exponential Time Hypothesis (ETH) kan modbevises. Resultaterne ville være betydningsfulde, hvis de holder, men omtalen på tidspunktet understregede, at de endnu ikke var uafhængigt bekræftet. 2
3
7
OpenAIs tre forskningspåstande
Et bevis for lokal udjævning. I sit offentlige GitHub-arkiv har OpenAI lagt manuskriptet Local smoothing for the Euclidean wave equation ud sammen med en formalisering i Lean. Ifølge arkivet beviser arbejdet Sogges formodning om lokal udjævning for bølger i alle rumdimensioner på mindst to. OpenAI skriver også, at resultatet medfører Kakeya-formodningerne om maksimalfunktioner og dimension samt Stein-estimater for sfærisk restriktion i den indre del af det formodede gyldighedsområde. 17 En separat omtale daterer Sogges formodning til 1991.
6 Det er dog ikke det samme som at sige, at alle versioner af Steins restriktionsformodning er løst.
Et modbevis af ETH. OpenAI sagde, at en model havde fundet et modbevis for ETH – en formodning om, hvor vanskeligt det er at løse problemer med boolesk satisfierbarhed. Selskabet beskrev ETH som en antagelse, der ligger til grund for mange betingede resultater i datalogien. 13 Ifølge omtalen fandt modellen resultatet 16. oktober, og det blev formaliseret i Lean dagen efter. OpenAIs offentlige arkiv indeholder manuskriptet The Exponential Time Hypothesis is False.
17
32
Hvis modbeviset holder, kan det ændre status for resultater, der bygger på ETH. Men en subeksponentiel algoritme er ikke automatisk en polynomiel algoritme: For eksempel vokser 2^√n langsommere end enhver eksponentiel funktion af typen 2^n, men hurtigere end ethvert fast polynomium. Selv en gyldig algoritme med køretid 2^o(n) for 3-SAT ville derfor modbevise ETH uden i sig selv at bevise, at P = NP. De spørgsmål hænger sammen, men er ikke det samme. 13
33
Et eksistensresultat i kvantefeltteori. OpenAI hævdede også at have et matematisk stringent eksistensbevis for visse vekselvirkende kvantefeltteorier i fire dimensioner, herunder kvantekromodynamik (QCD). 1 Omtalen beskriver påstanden som et resultat om eksistens. Den dokumenterer ikke, at det bredere Millennium-problem om Yang–Mills-teori – herunder spørgsmålet om et massgab – er løst.
1
16
Anthropics konkurrerende ETH-påstand
Anthropic fremlagde kort efter sit eget påståede modbevis af ETH. En omtale identificerede artiklen som A 2^o(n) Time Algorithm for 3-SAT og tilskrev den Claude. Den refererede også Anthropic-matematikeren Levent Alpöges udsagn om, at modellens kernealgoritme blev fundet 16. oktober »uden menneskelig indblanding«, og at forskere senere arbejdede sammen med Claude om at præsentere artiklen. 9
33 Det er oplysninger om arbejdets tilblivelse, som er gengivet i omtalen – ikke en uafhængig bekræftelse af beviset.
At begge selskaber daterer deres centrale ETH-resultater til 16. oktober, er bemærkelsesværdigt. 9
32 Ifølge omtalen skulle OpenAIs eksterne gennemgang involvere Russell Impagliazzo, Ramamohan Paturi og Ryan Williams.
20 Men det centrale spørgsmål er ikke, hvem der annoncerede først. Det er, om uafhængige eksperter kan kontrollere ræsonnementet og fastslå, hvad beviserne faktisk viser. De tilgængelige omtaler sagde, at påstandene endnu ikke havde været igennem en afsluttet, uafhængig faglig vurdering.
3
5
33
Forskellige planer for offentliggørelse
OpenAI beskrev sine AI-genererede manuskripter som »rå forskningsdata«, som eksterne akademikere skulle hjælpe med at omsætte til videnskabelig forståelse. 2
11 Manuskripterne om lokal udjævning og ETH blev lagt ud med Lean-formaliseringer i selskabets offentlige arkiv.
17 Til gengæld blev materialet fra fysikgruppen ifølge omtalen holdt tilbage, mens gruppen forberedte sin egen fremstilling. David Gross blev nævnt blandt de eksterne eksperter knyttet til arbejdet.
11
32
Der har også været spørgsmål om gennemsigtigheden i tidligere OpenAI-udgivelser. En opsummering fra AI Edge Briefing skrev, at 10 af 719 offentliggjorte manuskripter indeholdt modellens chain-of-thought-output, og at efterspurgt maskinlæsbar metadata, som kunne forbinde tekstmanuskripter med formelle beviser, manglede. 18 Det er relevant baggrund for at vurdere selskabets praksis, men beviser ikke i sig selv alle de indvendinger, der måtte være rejst mod annonceringerne 26. oktober.
Den vigtige skelnen er mellem en opsigtsvækkende forskningspåstand og et efterprøvet resultat. OpenAI har gjort to matematiske manuskripter og deres Lean-materiale tilgængelige, mens fysikmaterialet ifølge omtalen fortsat var tilbageholdt i gennemgangsprocessen. Anthropic fremlagde en konkurrerende ETH-påstand og en beretning om modellens bidrag. Indtil eksterne eksperter har kunnet gennemgå beviserne og bekræfte, hvad de viser, bør ingen af selskabernes annonceringer betragtes som en fastslået videnskabelig opdagelse. 3
11
17
33
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "AI-modeller med opsigtsvækkende beviser – men ingen uafhængig bekræftelse endnu"?
OpenAI annoncerede 26. oktober 2026 tre AI genererede forskningsresultater; Anthropic fremlagde kort efter sin egen påstand om, at ETH er forkert.
What are the key points to validate first?
OpenAI annoncerede 26. oktober 2026 tre AI genererede forskningsresultater; Anthropic fremlagde kort efter sin egen påstand om, at ETH er forkert. OpenAI offentliggjorde de matematiske manuskripter med Lean formaliseringer, mens materialet om fysik ifølge omtalen blev holdt tilbage, mens en ekstern gruppe udarbejdede sin vurdering.