Start free trial

The trick: Rented Halo

OpenAI solved ten unsolved math problems.

One detail decides what that is worth.

Issue 14 August 20264 receipts3 min
AI illustration for: OpenAI solved ten unsolved math problems. One detail decides what that is worth.
AI illustration

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

Before you read on. Your call?

There’s more to this story.

Membership opens the full investigation, the strongest counterargument and what to do with what you’ve learned.

30 days free, then A$89 a year. Payment card required. Cancel before the trial ends to avoid the first charge.

Review my 30-day free trial →
  1. At sign-up: 30 days free. Payment card required. One introductory trial per customer.
  2. Your trial ends 30 days after you start. Unless you cancel before then in Account → Manage subscription, we charge A$89 for the first year. It renews automatically at A$89/yr until cancelled.
  3. You can ask for a full refund within 14 days after any annual payment, renewals included, with no reason needed, by emailing [email protected]. This voluntary refund does not limit your rights under the Australian Consumer Law.

By starting your trial, you agree to the Terms.

BS Killer is published by Inferno Tech Pty Ltd, ABN 27 647 413 474.

Already a member? Sign in

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

  1. Supports cdn.openai.com: We present a collection of results obtained by an internal OpenAI model, spanning mathematics and theoretical computer science
  2. 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.
  3. Supports thenextweb.com: Thomas Bloom called the latest results 'big news'... 'more significant than the unit distance counterexample'.
  4. 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.

Get tomorrow's check in your inbox.

One AI claim a night, checked against independent sources, receipts attached. Free.

Free email updates. Unsubscribe any time.

This story is a stable, citable object. If you can falsify a verdict,tell us. Corrections are loud here.