UnconfirmedUnverifiedRating 3/5
No automated check against the source text is available.
Fact check
OpenAI says its model found the ETH disproof on Oct. 16 and the proof was checked in Lean the next day.
Appears in
Verification ledger
- Checked by
- verification engine
- Atom checks
- 6/6
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.
- 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.
- 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.