UnconfirmedUnverifiedRating 3/5
No automated check against the source text is available.
Fact check
OpenAI claims its model produced a refutation of the Exponential Time Hypothesis.
Appears in
- https://thenextweb.com/news/openai-exponential-time-hypothesis-false-kakeya-yang-mills
- https://www.engadget.com/2297941/openai-new-discoveries-mathematics-computer-science-physics
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
- 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.
- 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.