Start with two full samples. Sign in for this edition’s free story. Sources and corrections stay open.
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.
01 / MoneyTrue, butFree sample
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.
Character.AI, funding-era claims as recounted by TechCrunch (13 Oct 2026); tested against its Chapter 11 filing in Delaware (12 Oct 2026) ·
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.
The reality check
Reporting on the filing says compute cost $10 million a month in 2025 while revenue from all sources peaked at $5.3 million a month, about half a compute month at best. The filing lists assets and liabilities between $50 million and $100 million.
Why care? Usage numbers measure demand, not whether serving it pays. This is the clearest filed record in our files of that gap.
Take this with youCharacter.AI's 2 billion messages were real demand. Reporting on its bankruptcy filing shows its best revenue month, $5.3 million, covered 53% of a $10 million compute month.
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.
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.
OpenAI, research post (8 Sep 2026); tested in arXiv paper 2610.08144 (6 Oct 2026); trending on r/artificial ·
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.
The reality check
A 6 October arXiv paper shows the formalised Lean proof does not correspond to the written proof; in Lemma 8.6 the Lean code uses five additional derivatives, not four. The authors make no claim the written proof is wrong.
Why care? A Lean check vouches for the theorem it states, not for every step of the paper people cite; the written proof still needs human review.
Take this with youOpenAI's Lean check backs its Navier-Stokes theorem, but an arXiv paper finds the Lean code does not match the written proof: five extra derivatives where it says four.
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.
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.
Meta Superintelligence Labs, launch post for Muse Wonder, 12 Oct 2026 ·
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.
Free with your account
Sign in for this free check.
This edition’s selected free story opens after sign-in.
A curated directory. Check each entry’s date and sources.
Make a little room for clarity.
Get the next checked edition in your inbox.
At sign-up: 30 days free. Payment card required. One introductory trial per customer.
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.
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.
