← All reports

The Exponential Time Hypothesis has been disproven by OpenAI's research, which claims to solve 3SAT in 2^{o(n)} time.

ScienceOct 27, 2026score 0.502 posts · 1 replies across 2 instances
OpenAI claims to have disproven the Exponential Time Hypothesis, a major conjecture in computational complexity theory, by solving 3SAT in 2^{o(n)} time. The claim includes a formal proof in Lean and a preprint paper, sparking academic and scientific discussion.

Claims

The Exponential Time Hypothesis has been disproven by OpenAI's research, which claims to solve 3SAT in 2^{o(n)} time.
Parent: Computer ScienceEntity: Exponential Time HypothesisImpact: positiveDate: Oct 27, 2026Target: The validity of OpenAI's claim to disprove the Exponential Time Hypothesis

Source posts

@[email protected]
OpenAI announces three breakthroughs in computer science, math, and physics, including that the Exponential Time Hypothesis, a longstanding conjecture, is false (OpenAI) https://openai.com/index/building-scientific-understanding-with-academic-communities/ http://www.techmeme.com/261026/p48#a261026p48
1 boosts · 1 favs · 0 replies · Oct 27, 2026
@[email protected]
OpenAI claims that the Exponential Time Hypothesis is false, solving 3SAT (even counting the number of solutions) in 2^{o(n)} time, with a Lean formalization of the proof. Announcement: https://openai.com/index/building-scientific-understanding-with-academic-communities/ Paper: https://github.com/openai/math/blob/main/preprints/The-Exponential-Time-Hypothesis-is-False-October-25-2026/paper.pdf 1/2
0 boosts · 0 favs · 1 replies · Oct 27, 2026
@[email protected]
OpenAI says an internal model has refuted the Exponential Time Hypothesis, a conjecture underpinning hundreds of papers in computer science. The proof was machine-checked in Lean and published on GitHub, and three of the conjecture's original authors will run an open examination. OpenAI also claims a proof of the Kakeya conjecture. https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills #Tech #Startup #News #DeepTech
0 boosts · 0 favs · 0 replies · Oct 27, 2026
#tech#startup#news#deeptech
@[email protected]
openai claimed that exponential time hypothesis is false, this is so fucked up https://openai.com/index/building-scientific-understanding-with-academic-communities/
0 boosts · 0 favs · 0 replies · Oct 27, 2026