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.
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.
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 hello@bskiller.com. This voluntary refund does not limit your rights under the Australian Consumer Law.
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.
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 hello@bskiller.com. This voluntary refund does not limit your rights under the Australian Consumer Law.
BS Killer is published by Inferno Tech Pty Ltd, ABN 27 647 413 474.
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.
Headlines say Australia will make AI companies prove their safety systems work. The source is a speech, and the law is planned for 2027.
Assistant Minister Andrew Charlton, speech at the Sydney Trust and Safety Festival, as reported by ABC News and Proactive (Oct 8, 2026) ·
Australia will make AI companies prove their safety systems work.
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 hello@bskiller.com. This voluntary refund does not limit your rights under the Australian Consumer Law.
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 hello@bskiller.com. This voluntary refund does not limit your rights under the Australian Consumer Law.
Reading estimate: 588 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.
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 hello@bskiller.com. This voluntary refund does not limit your rights under the Australian Consumer Law.