OpenAI model claims refutation of ETH; Impagliazzo to help vet the proof
StefanoGogioso · x · 2026-10-27
Complexity-theory heavyweights Russell Impagliazzo, Mohan Paturi and Ryan Williams have been asked to organize an open, independent examination of a claimed refutation of the Exponential Time Hypothesis (ETH) produced by an internal OpenAI model. Observers joke about the surreal experience of Impagliazzo reviewing whether we're 'really in minicrypt,' and voice skepticism that Lean-forced AI proofs can distort the original statement.
More from AGI Musings
- Researcher: AI Tools Still Reward Domain Experts, Laypeople Can't Tell What Matters — IgorCarron · 2026-10-27
- Wolfram at ARC Prize: discovery means finding reducibility pockets in irreducible computation — mhmazur · 2026-10-27
- Yoshua Bengio discusses LawZero's misalignment work and UN-backed global AI governance — Yoshua_Bengio · 2026-10-27
- MIT's Andrew McAfee: we underestimated the scale, pace, and scope of tech progress — amcafee · 2026-10-27
- Model CoT laments mathematicians reduced to 'raw data' caretakers, fueling AI-debate discourse — aiamblichus · 2026-10-27
- Model trained on 40M faces predicts cancer survival from a selfie, stirring debate — TinfoilTricorn · 2026-10-27