DigestAI news desk

Cut through the AI noise.

Research1 min read

OpenAI and Anthropic disprove 27-year-old computer science hypothesis

OpenAI and Anthropic announced this week that AI-generated proofs have disproved the exponential time hypothesis (ETH), a long-standing assumption in theoretical computer science. The claim, if verified, could force major revisions to decades of research in complexity theory and algorithm design, according to the companies’ published work on GitHub in both natural language and Lean format for…

1 source

Key points

  • OpenAI and Anthropic published AI-generated proofs disproving the 27-year-old exponential time hypothesis (ETH)
  • ETH underpins decades of research in complexity theory and algorithm design, per the companies’ Lean-format proofs
  • Independent verification is pending, but experts warn 50+ papers may need revision if the claim holds

Peter Jonsson, a professor at Linköping University, called much of his own work ‘dead’ after the hypothesis’s collapse, though he noted the discovery still advances scientific understanding. UC Santa Barbara and MIT researchers involved in the original hypothesis and its prior refutations have been consulted. The field remains cautious: independent verification is pending, and experts like Daniel Lokshtanov and Thore Husfeldt warn that roughly 50 of their papers could become obsolete or require urgent updates. Jonsson’s own presentation at the upcoming IEEE Symposium on Foundations of Computer Science may face immediate backlash from peers.

The story so far

2 episodes →
  1. OpenAI and Anthropic disprove 27-year-old computer science hypothesisthis story
Full story from el-balad.com · by Samantha Cole · via Search: OpenAIOpen source ↗

OpenAI and Anthropic Challenge 27-Year Hypothesis

el-balad.com · 29 October 2026

Loading the full article…

This text was published by el-balad.com and written by Samantha Cole. It is reproduced here with attribution so you can read it in full; the rights remain with the publisher. Read it at the source ↗

Topics · follow one to build your own front page
OpenAIAnthropicPeter JonssonDaniel LokshtanovThore Husfeldt

The headline, key points and digest above were generated by Digest AI's editorial model from the linked sources. Automated summaries can contain errors: the sources are the record. Spotted a mistake? Tell us. Published by Martin K., who runs Digest AI and handles corrections.

Comments

via GitHub Discussions

More in Research

All →

Related stories