ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
OpenAI published the ETH write-up and a Lean proof on GitHub.
Appears in
- https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills
- https://www.engadget.com/2297941/openai-new-discoveries-mathematics-computer-science-physics
Verification ledger
- Checked by
- verification engine
- Atom checks
- 4/4
Other claims in this story
- ConfirmedOpenAI says its model found a disproof of the Exponential Time Hypothesis on 16 October 2026.
- ConfirmedThe scientists who proposed ETH, together with Ryan Williams, are organizing an independent examination and say their role is not a certification of the claim.
- UnconfirmedAnthropic released its own refutation of ETH hours after OpenAI's announcement.
- UnconfirmedThe ETH refutation is independently verified as correct.
- ConfirmedOpenAI told Ryan Williams it was reasonably confident the result implies no breaks in cryptographic systems.
This fact check is published as schema.org ClaimReview structured data.