ETH reviewers say OpenAI's claimed disproof shouldn't be read as certified
fortnow · x · 2026-10-27
Lance Fortnow shares a statement from Russell Impagliazzo, Mohan Paturi and Ryan Williams, the reviewers behind OpenAI's recent announcement claiming the Exponential Time Hypothesis is false — solving 3SAT (including solution counting) in 2^{o(n)} time with a Lean-formalized proof.
The three emphasize that their involvement "should not be taken as certification of the claim": a result of this significance requires careful, independent scrutiny.
More from Research
- FSPO Beats GRPO and SDPO on Reasoning With Fewer Tokens via Temporal Self-Distillation — IITK · 2026-10-27
- DiscoDemo Uses RL to Generate Diverse Robot Demos, Boosting Real-World Success from 39% to 78% — DAVIAN-Robotics · 2026-10-27
- AI Evaluator Forum Releases AEF-1: Minimum Operating Conditions for Independent AI Evaluations — RishiBommasani · 2026-10-27
- Model breeding begins: neuron combo makes Qwen believe it's Cookie Monster — yacineMTB · 2026-10-27
- EMNLP paper uses sparse autoencoders for text-based causal confounding adjustment — anjalie_f · 2026-10-27
- Volta releases Blackwell kernel verifier letting LLMs generate PTX directly, skipping compiler layers — Azaliamirh · 2026-10-27