OpenAI internal model claims to refute Exponential Time Hypothesis; independent review organized

Singularitarian · x · 2026-10-27

Russell Williams reports that an internal model at OpenAI has produced a claimed refutation of ETH — the hypothesis that 3SAT requires exponential time, whose falsity Tim Gowers calls "very surprising and consequential." Russell Impagliazzo, Mohan Paturi, and Williams have been asked to organize an open, independent examination of the claim. It remains an unverified claim pending review.

Related event: OpenAI Announces Three AI-Driven Scientific Discoveries in Math, CS and Physics(108 posts)→

Original post →

More from Models

Models channel →