ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
OpenAI told Ryan Williams it was reasonably confident the result implies no breaks in cryptographic systems.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 3/3
Other claims in this story
- ConfirmedOpenAI says its model found a disproof of the Exponential Time Hypothesis on 16 October 2026.
- 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.
This fact check is published as schema.org ClaimReview structured data.