AnswersPublished25 sources
AI-bewijzen van OpenAI en Anthropic: wat is er beweerd — en wat weten we nog niet?
OpenAI kondigde op 26 oktober 2026 drie AI gegenereerde onderzoeksresultaten aan; Anthropic kwam kort daarna met een eigen claim over de ETH. OpenAI publiceerde wiskundige manuscripten met Lean formalisaties, maar hield het materiaal over de natuurkunde achter.
Gepubliceerd doorBewerkt met GPT-6 LunaAfbeeldingen gegenereerd met GPT Image 2
Research answer
Key takeaways
- OpenAI kondigde op 26 oktober 2026 drie AI gegenereerde onderzoeksresultaten aan; Anthropic kwam kort daarna met een eigen claim over de ETH.
- OpenAI publiceerde wiskundige manuscripten met Lean formalisaties, maar hield het materiaal over de natuurkunde achter.
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
Op 26 oktober 2026 zei OpenAI dat zijn interne AI-modellen resultaten hadden opgeleverd in de harmonische analyse, de computationele complexiteitstheorie en de kwantumveldentheorie. Enkele uren later maakte Anthropic een concurrerende claim bekend over de Exponential Time Hypothesis (ETH). De beweringen kregen veel aandacht omdat ze, als ze kloppen, gevolgen kunnen hebben die verder reiken dan AI. Maar volgens de berichtgeving waren ze op dat moment nog niet onafhankelijk bevestigd. 2
3
7
Wat OpenAI beweert
Een bewijs voor lokale smoothing. In een openbare repository van OpenAI staan een manuscript en een formalisatie in Lean voor Local smoothing for the Euclidean wave equation. Volgens de repository bewijst het werk Sogges vermoeden over lokale smoothing voor golven in elke ruimtelijke dimensie van twee of hoger. De repository stelt ook dat het resultaat het Kakeya-maximaalvermoeden en het Kakeya-dimensievermoeden oplevert, evenals Steins sferische restrictieschattingen binnen het inwendige van het vermoedelijke bereik. 17 Een afzonderlijk bericht dateert Sogges vermoeden uit 1991.
6 De beschreven reikwijdte betekent niet dat daarmee elke versie van Steins restrictievermoeden is opgelost.
Een weerlegging van de ETH. OpenAI zegt dat zijn model de ETH heeft weerlegd. Die hypothese gaat over de computationele moeilijkheid van Boolean satisfiability-problemen, oftewel problemen waarbij je nagaat of een logische formule waar kan zijn. OpenAI noemt de ETH een aanname waarop veel voorwaardelijke resultaten in de informatica steunen. 13 Volgens berichtgeving produceerde het model het resultaat op 16 oktober en werd het de volgende dag geformaliseerd in Lean.
32 In OpenAI’s openbare repository staat een manuscript met de titel The Exponential Time Hypothesis is False.
17
Als de weerlegging klopt, kan dat gevolgen hebben voor resultaten die van de ETH uitgaan. Maar een subexponentieel algoritme is niet automatisch een polynomiaal algoritme. Zo groeit 2^√n subexponentieel in n, maar nog steeds sneller dan elke vaste veelterm. Zelfs een geldig 2^o(n)-algoritme voor 3-SAT zou de ETH dus weerleggen, maar op zichzelf niet bewijzen dat P = NP. Die vragen hangen samen, maar zijn niet hetzelfde. 13
33
Een bestaansresultaat in de kwantumveldentheorie. OpenAI claimt ook een wiskundig rigoureus bestaansbewijs voor bepaalde interagerende kwantumveldentheorieën in vier dimensies, waaronder de kwantumchromodynamica (QCD). 1 De berichtgeving beschrijft de claim als een resultaat over het bestaan van zulke theorieën. Daaruit volgt niet dat het bredere Yang–Mills-probleem van het Millenniumprijs-programma is opgelost, inclusief de vraag naar de massakloof.
1
16
Anthropic komt met een eigen ETH-claim
Kort na OpenAI presenteerde Anthropic een eigen beweerde weerlegging van de ETH. Volgens een bericht heet het paper A 2^o(n) Time Algorithm for 3-SAT en wordt Claude als auteur vermeld. Het bericht citeert ook Anthropic-wiskundige Levent Alpöge, die zei dat het kernalgoritme op 16 oktober was gevonden, “zonder menselijke input”, waarna onderzoekers met Claude aan de presentatie van het paper werkten. 9
33 Dit zijn gerapporteerde beweringen over de totstandkoming van het werk, geen onafhankelijke bevestiging van het bewijs.
De timing valt op: volgens berichten dateerden beide labs hun kernresultaat over de ETH op 16 oktober. 9
32 OpenAI’s geplande externe beoordeling zou worden uitgevoerd door Russell Impagliazzo, Ramamohan Paturi en Ryan Williams, aldus berichtgeving over de beoordelaarsgroep.
20 Maar de hoofdvraag is niet welk lab het eerst naar buiten kwam. Het gaat erom of onafhankelijke experts de redenering kunnen controleren en kunnen vaststellen wat het resultaat precies aantoont. Volgens de beschikbare berichtgeving waren de claims nog niet onafhankelijk getoetst.
3
5
33
Andere publicatieplannen, en vragen over openheid
OpenAI omschreef de AI-gegenereerde manuscripten als “ruwe onderzoeksdata” die externe academici zouden helpen om te zetten in wetenschappelijk inzicht. 2
11 Het bedrijf zette de manuscripten over lokale smoothing en de ETH, met hun Lean-formalisaties, in een openbare repository.
17 De groep die aan het natuurkundige resultaat werkte, hield het door AI geproduceerde materiaal daarentegen achter terwijl zij een eigen verslag voorbereidde. David Gross werd genoemd als een van de externe experts bij dat werk.
11
32
Er waren ook vragen over de transparantie van eerdere publicaties van OpenAI. Volgens een samenvatting van AI Edge Briefing bevatten 10 van de 719 gepubliceerde manuscripten de chain-of-thought-uitvoer van het model. Ook ontbraken de gevraagde machineleesbare metadata die gewone manuscripten aan formele bestanden koppelen. 18 Dat is relevante context bij het beoordelen van publicatiepraktijken, maar bewijst niet op zichzelf elk bezwaar dat tegen de aankondigingen van 26 oktober is geuit.
Het nuttige onderscheid is dat tussen een opvallende onderzoeksclaim en een bevestigd resultaat. OpenAI maakte twee wiskundige claims controleerbaar via openbare manuscripten en Lean-bestanden; het materiaal over de natuurkunde was volgens de berichtgeving nog niet gepubliceerd. Anthropic bracht een concurrerende ETH-claim naar buiten, met een gerapporteerde uitleg over de bijdrage van het model. Tot onafhankelijke experts de bewijzen hebben kunnen onderzoeken en bevestigen wat ze aantonen, zijn de aankondigingen van beide labs geen vaststaande wetenschappelijke ontdekkingen. 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-bewijzen van OpenAI en Anthropic: wat is er beweerd — en wat weten we nog niet?"?
OpenAI kondigde op 26 oktober 2026 drie AI gegenereerde onderzoeksresultaten aan; Anthropic kwam kort daarna met een eigen claim over de ETH.
What are the key points to validate first?
OpenAI kondigde op 26 oktober 2026 drie AI gegenereerde onderzoeksresultaten aan; Anthropic kwam kort daarna met een eigen claim over de ETH. OpenAI publiceerde wiskundige manuscripten met Lean formalisaties, maar hield het materiaal over de natuurkunde achter.