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 / ScienceTrue, but
OpenAI dropped hundreds of AI math papers at once. Its own README says about 42% of the headline results are machine checked.
OpenAI, "Sharing AI progress in mathematics" post and openai/math repository, top of Hacker News (Oct 6, 2026) ·
OpenAI says it is releasing a broad range of new math results from an internal model, with many proofs checked in Lean.
The reality check
Its own README says about 42% of top-line results are formalized and some unformalized results could have issues.
Why care? Until a proof is checked, it is a claim. By OpenAI's own count, most of the headline results have not been machine checked yet.
Take this with youOpenAI's math release is real work, but its own README says only about 42% of the top-line results are Lean checked, picked from about 4,000 problems posed.
Open the evidence4 source pages +
The claim we checked
OpenAI says it is releasing a broad range of new mathematical results produced by an internal frontier model, with many proofs formalized in Lean.
These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.
Meta and Microsoft are kicking the Claude habit, says the headline. What they cut is staff seats. Claude stays inside Microsoft's own tool.
The Information report, relayed by aiweekly.co and others, top of Hacker News (Oct 5, 2026) ·
The Information reports Meta and Microsoft are pushing staff off Claude.
The reality check
Meta's internal Claude Code users fell from about 60,000 to about 30,000, and spring layoffs explain part of that. Microsoft cut an internal projection of at least $1 billion by more than a third.
Why care? A big buyer swapping staff onto its own tools is a cost and product decision, not a verdict on the model. The customer numbers point the other way.
Take this with youMeta and Microsoft cut internal staff seats for Claude Code, partly via layoffs; Claude stays inside Copilot CLI and customer spend on Claude via Azure keeps growing.
Open the evidence4 source pages +
The claim we checked
Meta and Microsoft are pushing staff off Anthropic's Claude, with Meta's internal Claude Code users halved and Microsoft's planned Anthropic spend slashed.
These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.
Anthropic says Haiku 5.5 is its cheapest small model yet. Per token, yes. Per finished task, one index puts it far above a rival at the same price.
Anthropic, launch announcement, top of Hacker News (Oct 7, 2026) ·
Anthropic calls Haiku 5.5 its cheapest, fastest and most capable small model, about 75% cheaper to run than Haiku 4.5.
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.
30 days free. Payment card required. One introductory trial per customer.
Your trial ends on 30 days after you start. Unless you cancel before then in Account → Manage membership, 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.
A curated directory. Check each entry’s date and sources.
Make a little room for clarity.
Get the next checked edition in your inbox.
30 days free. Payment card required. One introductory trial per customer.
Your trial ends on 30 days after you start. Unless you cancel before then in Account → Manage membership, 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.