Mission Squad Paste a YouTube link. A three-step AI pipeline pulls the transcript, picks out the video's checkable factual claims with timestamps, checks each one against independent web sources, and shows what held up. Automated; follow the linked sources.
https://youtu.be/lskEzJ7ixw0
In "OpenAI just did the impossible..." by Wes Roth, published on 2026-10-27, the video discusses OpenAI's claims about AI-generated breakthroughs in computational complexity and mathematical physics. Of 6 factual claims checked as of that date, 4 were supported by the cited sources, 0 were contradicted or misleading, and 2 could not be verified from the available sources.
| Time | Claim | Verdict | Evidence | Source |
|---|---|---|---|---|
| 0:26 | OpenAI said an AI model produced a proof that the Exponential Time Hypothesis is false. | supported | OpenAI's official page says it is sharing model results on the Exponential Time Hypothesis, and the linked OpenAI GitHub preprint is titled "The Exponential Time Hypothesis is False," showing OpenAI claimed its model produced a proof that ETH is false. | openai.com ↗ |
| 3:02 | John Nash sent a letter about computational complexity and cryptography to the NSA in 1955. | supported | The NSA's declassified John Nash letters include an agency reply referencing Nash's letter received on 17 February 1955, and the correspondence concerns his cryptographic ideas. That supports the claim that Nash sent such a letter to the NSA in 1955. | www.nsa.gov ↗ |
| 4:16 | A Millennium Prize Problem was solved in 2002-2003 and the solver declined the prize. | supported | The Clay Mathematics Institute says the only Millennium Prize problem solved so far is the Poincaré conjecture; Grigori Perelman proved it in 2002-2003 and later declined the Millennium Prize. That matches the claim. | www.claymath.org ↗ |
| 5:12 | OpenAI stated that its research produced an existence proof for pure Yang-Mills theory related to the Millennium Prize problem. | supported | OpenAI's official announcement says its work includes "a proof of the existence of pure Yang-Mills theory," and describes it in connection with the Yang-Mills problem area. That supports the claim that OpenAI stated its research produced such an existence proof related to the Millennium Prize problem. | openai.com ↗ |
| 14:33 | Russell Impagliazzo and Ramamohan Paturi originally formulated the Exponential Time Hypothesis. | unverified | Searches returned discussion of Impagliazzo and Paturi commenting on OpenAI's ETH claim, but no reliable source was found in the returned results confirming that they originally formulated ETH. | www.youtube.com ↗ |
| 28:39 | Volker Strassen discovered a sub-cubic matrix multiplication algorithm while attempting to prove the standard method was optimal. | unverified | No reliable source confirming or refuting the specific story about Strassen discovering his algorithm while trying to prove the standard method optimal was found in the returned results. | www.youtube.com ↗ |
Automated check: 6 factual claims were taken from the video transcript and checked against web sources on 2026-10-29. Verdicts can be wrong; follow the linked sources.
Source www.youtube.com ↗