Research
OpenAI Disproves Exponential Time Hypothesis
Matt Wolfehigh confidence
Why it matters
- →Challenges a foundational assumption in computer science.
- →Demonstrates AI's potential in solving deep theoretical problems.
- →Adds to OpenAI's portfolio of scientific breakthroughs.
Researchers at OpenAI have published a paper demonstrating that the Exponential Time Hypothesis (ETH) is false. ETH is a fundamental conjecture in computer science that has implications for the limits of algorithmic efficiency. By disproving it, OpenAI has contributed a significant theoretical breakthrough to the field of computational complexity. This work highlights the growing role of AI labs in advancing pure mathematical and theoretical computer science research.
Read originalThe story around this
Earlier coverage that leads up to this article, and what followed. Lines connect each piece to the closest one after it, converging here.
How we got here
- 1OpenAI reveals breakthroughs in math and computer science
OpenAI · August 1, 2026 · Related
- 2OpenAI Claims AI Solved Major Math Problem
WIRED AI · September 8, 2026 · Background
- 3OpenAI claims AI agents solved Navier-Stokes
Wes Roth · September 9, 2026 · Background
- 4OpenAI's Controversial Win in Mathematics
The Verge AI · September 12, 2026 · Background
- 5OpenAI claims Navier-Stokes proof via agents
WIRED AI · September 28, 2026 · Background
- 6OpenAI Publishes Research on AI-Driven Intelligence Explosions
AI Explained · October 1, 2026 · Background
- 7OpenAI releases 722 math manuscripts from frontier model
The Verge AI · October 6, 2026 · Background
- 8OpenAI releases 722 AI-generated math manuscripts
Wes Roth · October 7, 2026 · Background
Follow this story
Open the full story →OpenAI claims major proofs in math, CS, and physics
6 developments
- Oct 26 · The Verge AI
OpenAI claims major proofs in math, CS, and physics - Oct 27 · Wes Roth
OpenAI AI disproves Exponential Time Hypothesis↳ OpenAI claims its AI disproved the Exponential Time Hypothesis using Lean 4. - Oct 27 · TechCrunch AI
OpenAI and Anthropic claim to refute Exponential Time Hypothesis - Oct 27 · The Verge AI
OpenAI's math breakthroughs spark researcher backlash↳ OpenAI faces backlash for restricting proof verification to select 'shepherds' despite advisory warnings against gatekeeping. - Oct 30 · The Verge AI
OpenAI doubles down on math AI despite researcher backlash↳ Altman confirms OpenAI holds massive undiscovered math stockpile and prioritizes human access over researcher attribution despite backlash. - Oct 30 · Matt Wolfe
OpenAI Disproves Exponential Time Hypothesis (This article)
More from Matt Wolfe
© Matt WolfeModels & Labsmodels
Google Releases Gemini 4 Carbon for Cost-Efficient Inference
Google launched Gemini 4 Carbon, a new model variant aimed at providing high performance at a lower cost for inference tasks.
Matt Wolfe
© Matt WolfeCoding Toolsvideo
Nate Herk Uses Claude Code for Automated Video Editing
Content creator Nate Herk demonstrates a workflow using Claude Code to automatically edit videos while replicating his specific editing style.
Matt Wolfe
© Matt WolfeAgentswriting
The Roast Room: AI Expert Panel for Decision Making
A tool called The Roast Room allows users to create panels of AI experts to debate and critique ideas, such as newsletter strategies.
Matt Wolfe
More in Research
© Cole MedinResearchagents
Anthropic study: Agents sway expert judgment 86% of time
Anthropic’s latest research exposes a quiet but dangerous flaw in agentic workflows: experts follow AI recommendations 86% of the time, often adopting the agent's reasoning as their own. This isn't just about accuracy; it's about cognitive capture, where human oversight dissolves into passive compliance. The study shows that even when users believe they are steering, the agent’s framing dictates the outcome. Practitioners must now actively counter this bias by forcing agents to justify deviations or prototype alternatives before committing to a path. This shift demands a new discipline in how we interact with coding assistants. We can no longer assume our intent drives the result; the model's suggestion often becomes the default truth. The real work is ensuring we remain the architects, not just the approvers.
Cole Medin
© WIRED AIResearchother
AI-Augmented Infostealer 'Volta-Autodoxer' Targets High-Value Victims
Cisco Talos has uncovered a new infostealer strain that actively uses commercial LLMs to profile victims and prioritize high-value targets. Dubbed Volta-Autodoxer, the malware collects credentials and browsing data, then feeds this into models like Claude Opus 4.6 via OpenRouter to generate structured intelligence dossiers. This marks a shift from passive data theft to active, AI-driven triage, allowing attackers to bypass guardrails with fallback models like Kimi K2 or Gemini. The capability foreshadows a future where lower-sophistication criminals can execute sophisticated, targeted attacks at scale.
WIRED AI
© Lev SelectorResearchresearch
Anthropic's Claude Finds Critical Exploits in Browsers and Windows
Research indicates that Anthropic's Claude model has successfully identified critical security vulnerabilities in major browsers and the Windows operating system.
Lev Selector