Story perspectives

OpenAI, Anthropic Post Unverified Proofs Against Exponential Hypothesis

By Drooid · Oct 29, 2026 · How we work

Read the story

Story summary

Summary

OpenAI and Anthropic each claimed AI-generated proofs that disprove the exponential time hypothesis, posted on GitHub.
The proofs are available in natural language and Lean format but have not been independently verified.
OpenAI asked UC Santa Barbara scientists and a MIT academic to help unpack the proofs via a Google form.
UC Santa Barbara professor Daniel Lokshtanov says the disproof could render about 50 of his papers pointless.

1 of 1

OpenAI and Anthropic each claimed AI-generated proofs that disprove the exponential time hypothesis, posted on GitHub.
The proofs are available in natural language and Lean format but have not been independently verified.
OpenAI asked UC Santa Barbara scientists and a MIT academic to help unpack the proofs via a Google form.
UC Santa Barbara professor Daniel Lokshtanov says the disproof could render about 50 of his papers pointless.