ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
OpenAI agreed to release raw data on the ETH result and fund a conference, per Williams and OpenAI.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 3/3
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.
- ConfirmedAnthropic released its own refutation of ETH after OpenAI's announcement, per TechCrunch.
- UnconfirmedOpenAI told Williams it was reasonably confident the ETH result implies no cryptographic breaks.
This fact check is published as schema.org ClaimReview structured data.