OpenAI Model Claims to Refute Exponential Time Hypothesis, Independent Review Planned
An OpenAI model reportedly found a negative result for an open problem — claiming the Exponential Time Hypothesis is false — with the proof Lean-verified, and Anthropic models independently found the same result; complexity authorities including Impagliazzo will lead an independent open review.
2026-10-27 ~ 2026-10-28 · 3 related posts
- Episode 1: Mathematicians Urge AI Labs Not to Handpick Who Interprets AI Discoveries(2026-10-26, 3 posts)
- Episode 2: OpenAI Announces Three AI-Driven Scientific Discoveries in Math, CS and Physics(2026-10-27, 113 posts)
- Episode 3: Brockman on AI math hype: P probably still doesn't equal NP(2026-10-27, 6 posts)
- Episode 4: AI Claimed Solution to ETH Problem Faces Verification Doubts(2026-10-27, 2 posts)
- Episode 5: OpenAI Model Claims to Refute Exponential Time Hypothesis, Independent Review Planned(2026-10-27, 3 posts)
- Episode 6: IAS Advisory Group Presses OpenAI to Release Yang-Mills Proof Outputs(2026-10-27, 3 posts)
- OpenAI model claims refutation of ETH; Impagliazzo to help vet the proof — StefanoGogioso · 2026-10-27
- AI system proves the Exponential Time Hypothesis false, result verified in Lean — burny_tech · 2026-10-28
- Fact-check: OpenAI and Anthropic models independently found the same proof, formalized in Lean — lxrjl · 2026-10-28