ConfirmedVerifiedRating 5/5
At least one checkable detail was matched against the full text of the cited source.
Fact check
Anthropic released its own refutation of ETH after OpenAI's announcement, per TechCrunch.
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.
- ConfirmedOpenAI agreed to release raw data on the ETH result and fund a conference, per Williams and OpenAI.
- 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.