ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
Impagliazzo, Paturi and Williams are organizing an independent examination of the claim and say their involvement is not certification.
Appears in
- https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills
- https://techcrunch.com/2026/10/27/frontier-ai-labs-say-their-models-refuted-the-exponential-time-hypothesis-what-does-that-mean
Verification ledger
- Checked by
- verification engine
- Atom checks
- 2/2
Other claims in this story
- UnconfirmedOpenAI claims its model produced a refutation of the Exponential Time Hypothesis.
- UnconfirmedOpenAI says its model found the ETH disproof on Oct. 16 and the proof was checked in Lean the next day.
- ConfirmedOpenAI published a manuscript on the ETH result on GitHub.
- ConfirmedOpenAI agreed to release raw data on the ETH result and fund a conference, per Williams and OpenAI.
- ConfirmedAnthropic released its own refutation of ETH after OpenAI's announcement, per TechCrunch.
- UnconfirmedOpenAI told Williams it was reasonably confident the ETH result implies no cryptographic breaks.
This fact check is published as schema.org ClaimReview structured data.