ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
OpenAI says its model found a disproof of the Exponential Time Hypothesis on 16 October 2026.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 5/5
Other claims in this story
- ConfirmedOpenAI published the ETH write-up and a Lean proof on GitHub.
- 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.