Start free trial

Five minutes.
AI, made clearer.

Count what shipped.

Read the briefing

Members read every story in the archive, re-verified. Sources and corrections stay open to everyone.

What the pen marks mean
  • rememberThe takeaway: what to remember
  • figureThe number that matters
  • evidenceThe evidence line
  • rulingThe ruling
  • claimThe claim that fails

Each mark is drawn once, as you reach it. Numbers are only circled when they come from the story’s own figures.

Character.AI was valued at $1 billion on high demand. Its Chapter 11 case shows a $10 million monthly compute bill against a best-ever revenue month of $5.3 million, and Disney's $20 million is a bid to license some IP.

A busy chat cafe with a glowing machine room door at the back and a half-full tip jar on the counter.
AI illustration

Character Technologies, Inc., which runs Character.AI, filed a voluntary Chapter 11 petition in Delaware, with Disney as a $20 million stalking horse bidder to license some of its IP.

Members · 30 days free

See what the evidence actually shows.

Members read the full check on every story: what the evidence shows, why it matters to you and the one line to take with you. Every past edition, re-verified, and the Receipts Pack come with it. A$89 a year, about A$0.24 a day.

  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 hello@bskiller.com. 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.

Open the evidence5 source pages

The claim we checked

Character.AI reached unicorn valuation with a $150 million fundraise on the back of high demand for its platform, with users exchanging more than 2 billion messages in five months.

These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.

techcrunch.com ↗
reached unicorn valuation with a $150 million fundraise on the back of high demand for its platform
techcrunch.com ↗
its users had exchanged more than 2 billion messages with its bots in five months
techcrunch.com ↗
Google struck a $2.7 billion deal to license the startup’s models
404media.co ↗
In 2023, it was valued at $1 billion after raising $150 million in a round led by a16z
cases.stretto.com ↗
filed a voluntary petition for relief under Chapter 11 of the United States Bankruptcy Code
cases.stretto.com ↗
Case No. 26-11603
blog.character.ai ↗
initiated a voluntary Chapter 11 bankruptcy process to facilitate a court-supervised sale of the company
blog.character.ai ↗
significant legal, regulatory, and operational headwinds
404media.co ↗
in 2025, it spent $10 million per month on AI compute
404media.co ↗
Its revenue from all sources, including ads, has peaked at $5.3 million per month
cnbc.com ↗
to serve as a stalking horse bidder to license some of the company's intellectual property for $20 million
techcrunch.com ↗
the company said it had assets and liabilities between $50 million and $100 million
Open this check in the full collection →
The idea, illustrated01

Go inside the check.

    The full explanation appears when your reading access is confirmed.
    Next: Checked theorem, unchecked writeup

    OpenAI said a Lean formalization backed its Navier-Stokes proof. An arXiv paper finds the Lean code uses five extra derivatives in a lemma where the written proof claims four, so the machine check does not cover the writeup people read.

    A robot clerk stamping a sealed box beside a scientist holding an open scroll at a lectern.
    AI illustration

    OpenAI posted that its system produced an analytical proof and a Lean formalization showing a smooth fluid at rest can develop a singularity, with a smooth force applied.

    Members · 30 days free

    See what the evidence actually shows.

    Members read the full check on every story: what the evidence shows, why it matters to you and the one line to take with you. Every past edition, re-verified, and the Receipts Pack come with it. A$89 a year, about A$0.24 a day.

    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 hello@bskiller.com. 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.

    Open the evidence4 source pages

    The claim we checked

    OpenAI's system produced an analytical proof and a Lean formalization resolving the Navier-Stokes Millennium Prize problem

    These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.

    web.archive.org ↗
    This resolves the Navier–Stokes Millennium Prize problem by establishing statement “C” (and also “D”)
    web.archive.org ↗
    Our system produced an analytical proof and a Lean formalization that an initially smooth fluid at rest can develop a singularity
    web.archive.org ↗
    The fluid has a smooth force applied to it
    arxiv.org ↗
    we show that the formalised Lean proof does not correspond to the NL proof of blow-up of solutions to the Navier-Stokes equations
    arxiv.org ↗
    the NL argument in Lemma 8.6 in the announced proof of blow-up of Navier–Stokes has not been faithfully translated into Lean
    arxiv.org ↗
    all use five additional derivatives, not four
    arxiv.org ↗
    The Lean code merely tells us that the theorem is correct
    arxiv.org ↗
    We do not make claims about the correctness of OpenAI’s NL proof, we only make statements about mistranslations into Lean.
    tuftsdaily.com ↗
    The result does not close the question, since Fefferman’s formulation sets the external force to
    tuftsdaily.com ↗
    zero in one case while allowing a smooth force in the other.
    tuftsdaily.com ↗
    OpenAI’s proof addresses the latter, leaving the behavior of a fluid that nothing pushes as an open problem.
    tuftsdaily.com ↗
    a language that machine-checks each step of a proof
    tuftsdaily.com ↗
    those agents exchanged 2.7 million messages and used about 130 billion tokens on this problem alone
    Open this check in the full collection →
    The idea, illustrated02

    Go inside the check.

      The full explanation appears when your reading access is confirmed.
      Next: Frontier, with a fence around it

      Meta calls its new Muse Wonder models state-of-the-art. On the outside Artificial Analysis index its best model scores 56, behind Opus 5.5 at 58, and that model is not on the API.

      A runner breaking a tape on a small private track, with a big stadium scoreboard visible over a fence behind him.
      AI illustration

      Meta released Muse Wonder and Muse Wonder Full and said they deliver state-of-the-art performance on personal and professional agentic tasks.

      Members · 30 days free

      See what the evidence actually shows.

      Members read the full check on every story: what the evidence shows, why it matters to you and the one line to take with you. Every past edition, re-verified, and the Receipts Pack come with it. A$89 a year, about A$0.24 a day.

      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 hello@bskiller.com. 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.

      Open the evidence4 source pages

      The claim we checked

      Muse Wonder and Muse Wonder Full, our most capable models that deliver state-of-the-art performance on personal and professional agentic tasks.

      These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.

      research.meta.ai ↗
      deliver state-of-the-art performance on personal and professional agentic tasks
      research.meta.ai ↗
      We evaluate focus through FocusBench and sustained execution through SWE-Marathon
      techcrunch.com ↗
      Wonder Full will only be available to Muse Code subscribers and will not be served through the API.
      artificialanalysis.ai ↗
      the top model from Meta is Muse Wonder Full (Max) at 56
      dev.to ↗
      puts Wonder Full at 56, behind Opus 5.5's 58 and roughly level with GPT-6 Astra
      dev.to ↗
      Wonder Full trails Opus 5.5 on ProgramBench (59.0 vs. 70.5), Terminal-Bench 4.0, and HealthBench Pro.
      Open this check in the full collection →
      The idea, illustrated03

      Go inside the check.

        The full explanation appears when your reading access is confirmed.
        The finish line

        Edition complete

        You’re up to speed.

        That’s the 14 Oct 2026 briefing. Keep the useful bits. Leave the noise.

        Reading estimate: 595 words at 200 words per minute. Source quotes and the optional sections below add reading time.

        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.