UnconfirmedUnverifiedRating 3/5
No automated check against the source text is available.
Fact check
OpenAI told Williams it was reasonably confident the ETH result implies no cryptographic breaks.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 4/4
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
- 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.
- ConfirmedImpagliazzo, Paturi and Williams are organizing an independent examination of the claim and say their involvement is not certification.
- 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.
This fact check is published as schema.org ClaimReview structured data.