The trick: Rented Halo
OpenAI solved ten unsolved math problems.
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
Before you read on. Your call?
TRUE, BUT
True, but
There’s more to this story.
Membership opens the full investigation, the strongest counterargument and what to do with what you’ve learned.
Start your free month →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. Already a member? Sign in
Couldn't check your access. That's on us.
The trick has a name
We call it Rented Halo: the achievement is real, the drama around it is borrowed. You'll see it again. Learn to spot it →
Receipts
- Supports cdn.openai.com:
We present a collection of results obtained by an internal OpenAI model, spanning mathematics and theoretical computer science
- Context the-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.
- Supports thenextweb.com:
Thomas Bloom called the latest results 'big news'... 'more significant than the unit distance counterexample'.
- Context digit.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.
Open the Receipts Pack → What each source proves, every figure traced, and what would change our verdict.