OpenAI’s Disproof of ETH Hypothesis Renders Decades of Computer Science Research Obsolete

4 min read
Source: The Verge
OpenAI’s Disproof of ETH Hypothesis Renders Decades of Computer Science Research Obsolete
Photo: The Verge
TL;DR

OpenAI and Anthropic have independently disproved the exponential time hypothesis (ETH), a foundational assumption in computer science that problem-solving effort increases exponentially with size. This breakthrough invalidates vast swaths of theoretical research, including work by UC Santa Barbara professor Daniel Lokshtanov, who estimates around 50 of his papers are now 'pointless' or require revision. While the discovery is scientifically significant, researchers are struggling with the chaotic rollout of AI-generated proofs, which lack adequate context and verification. Sam Altman has acknowledged the disruption but insists OpenAI will continue releasing findings, arguing that public access to fundamental knowledge outweighs the chaos. The situation has caused psychological distress among academics, with some departments considering hiring occupational psychologists to support staff.

Key points

  • OpenAI and Anthropic both claim to have disproved the exponential time hypothesis (ETH), a 27-year-old tenet underpinning complexity theory and algorithm design.
  • The discovery invalidates significant portions of theoretical computer science research, with some academics describing their work as 'dead' or 'irrelevant.'
  • Researchers are overwhelmed by the volume and quality of AI-generated proofs, which are often poorly communicated and difficult to verify.
  • Sam Altman has expressed empathy for the disruption but maintains that OpenAI will continue releasing discoveries, prioritizing public access to knowledge.
  • The psychological toll on researchers is significant, with some departments considering hiring occupational psychologists to support staff.

Background

This development follows a series of AI-generated mathematical breakthroughs that have left researchers bewildered and struggling to keep up. In late October 2026, OpenAI announced three major science discoveries and a new way to work with academics, further intensifying the backlash. The current situation is part of a broader pattern of AI's impact on mathematics and computer science, where AI models are solving problems that stumped experts for decades. The Verge has reported on the drama surrounding AI's takeover of mathematics, noting that researchers are tired of OpenAI gatekeeping its breakthroughs. The archive also notes that OpenAI has faced legal challenges, including a lawsuit from Texas Attorney General Ken Paxton over AI safety failures, and a dismissed sexual abuse lawsuit filed by Sam Altman's sister. Additionally, the film 'Artificial' has offered a satirical look at the origins of OpenAI and the rise of Sam Altman, highlighting the company's shift from ethical ideals to commercial recklessness.

How outlets are covering it

The Verge emphasizes Sam Altman's acknowledgment of the disruption but his insistence on continuing to release findings, arguing that public access to knowledge outweighs the chaos. NPR highlights the backlash from scientists over OpenAI's release process, including proofs that are hard to verify and OpenAI handpicking who reviews them first. WIRED focuses on the impact of the ETH disproof on computer science research, with researchers describing their work as 'dead' or 'irrelevant' and expressing both excitement and distress. The outlets differ in their emphasis: The Verge focuses on Altman's stance, NPR on the backlash, and WIRED on the specific impact on computer science research. All three outlets agree that the AI-generated proofs are significant but poorly communicated and difficult to verify.

Why it matters

The disproof of the exponential time hypothesis has the potential to reshape the field of computer science, invalidating decades of research and opening up new avenues for exploration. The chaotic rollout of AI-generated proofs highlights the need for better communication and verification processes in AI research. The psychological toll on researchers underscores the human impact of rapid technological change. The situation also raises questions about the role of AI in scientific discovery and the balance between public access to knowledge and the need for careful verification and communication.

What to watch

Researchers are scrambling to unpack the AI-generated proofs and find what other results they can quickly deduce from them. OpenAI has committed to funding a conference on the topic and is working with UC Santa Barbara computer scientists to rally researchers to unpack the proofs. The psychological toll on researchers is expected to continue, with some departments considering hiring occupational psychologists to support staff. The situation is likely to evolve as more AI-generated proofs are released and verified, potentially leading to further disruptions in the field of computer science and other areas of mathematics.

Share this article

Want the full story? Read the original reporting

Read on The Verge