OpenAI internal model claims to refute ETH; top theorists to run open verification
rrwilliams · x · 2026-10-27
Theoretical computer scientist Ryan Williams announced that an internal OpenAI model has produced a claimed refutation of the Exponential Time Hypothesis (ETH). Williams, Russell Impagliazzo, and Mohan Paturi have been asked to organize an open, independent examination of the claim.
Key details: the team has signed no NDAs and receives no compensation, so they are free to share ongoing findings with the community throughout the process. They have asked OpenAI to publicly release all raw data regarding ETH as soon as possible, including PDFs and Lean source code. This is a rare AI-produced major theoretical result backed by top scholars committed to public verification.
More from AGI Musings
- Stripe exec: AI trains on words yet is terrible at writing — jeff_weinstein · 2026-10-27
- Thiel asked what matters most post-SI, pauses 30 seconds: "Human Relationships" — kleffew94 · 2026-10-27
- Claude Opus 5.5 claims ETH false, all-dimension Kakeya and Yang-Mills in one day — repligate · 2026-10-27
- Vergecast: files are over — Paul Ford puts your stuff in URLs — round · 2026-10-27
- OpenAI asked 3 scientific fields how to release AI discoveries — got 3 very different answers — amasad · 2026-10-27
- Robert Wiblin's blunt plea to AI devs: don't hide behind the race — KatjaGrace · 2026-10-27