UnconfirmedUnverifiedRating 3/5
No automated check against the source text is available.
Fact check
Anthropic released its own refutation of ETH hours after OpenAI's announcement.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 2/2
Verification held
This claim is held pending public source text we can check it against.
It will be re-verified once the cited source text is available.
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.
- 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.