TRUE, BUTRented Halo

One detail decides what that is worth.

“We present a collection of results obtained by an internal OpenAI model, spanning mathematics and theoretical computer science”

OpenAI (paper: 'Ten Advances in Mathematics and Theoretical Computer Science'; confirmed by Sebastien Bubeck, head of mathematics research), 1 August 2026

Recorded 4 August 2026. Our ruling means: literally true, materially misleading.

Read the story →

Receipts pack

The evidence file for this verdict

4 receipts: 2 support the claim, 0 contradict it, 2 add context.

The receipts

Each source, the line we quote from it, its date and which way it cuts. Free to read and to cite.

1Supports the claimcdn.openai.com ↗
We present a collection of results obtained by an internal OpenAI model, spanning mathematics and theoretical computer science
Look up an archived copy ↗
2Contextthe-decoder.com ↗
humans worked with the same model to turn them into research papers... OpenAI said its researchers helped prepare the papers and formalize the proofs.
Look up an archived copy ↗
3Supports the claimthenextweb.com ↗
Thomas Bloom called the latest results 'big news'... 'more significant than the unit distance counterexample'.
Look up an archived copy ↗
4Contextdigit.in ↗
Lean verification 'verifies the logical integrity of the reasoning process assuming a set of premises is provided' but does not evaluate whether it qualifies as illuminating.
Look up an archived copy ↗

Members' extras

What each receipt proves, and what would change our mind.

What each receipt above proves, in our words
The trick behind the claim, explained, with the guide to spotting it

The verdict, the opening and every receipt above stay free. Membership adds our analysis to the evidence file for every checked story.

See Membership →Already a member? Sign in →

First membership: 30 days free, then A$89 a year. One introductory trial per customer. Card required; renews annually until cancelled. Cancel before the trial ends to avoid the first charge.