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.
BusinessTrue, butHeadline Over FilingFree sample
Nvidia after Huang
A newsletter says Nvidia has no clear plan after Huang. Its own announcement names an interim chief, a chair and a search.
The Rundown AI newsletter ·
AI illustration
Nvidia announced that Jensen Huang has resigned as CEO and from the board, effective immediately.
The reality check
Nvidia's release names Colette Kress interim CEO until a permanent successor is named, and Harvey C. Jones first-ever Chair. It says internal and external candidates will be considered.
Why care? Per The Guardian, Nvidia's value has fallen to about $4tn this week. The open question is who leads long term, not whether anyone is in charge.
Take this with youNo permanent CEO yet, but Nvidia's own announcement names an interim chief, a new chair and an open search.
Open the evidence3 source pages +
The claim we checked
Jensen Huang's resignation leaves Nvidia without its founder, and without a clear plan for what comes next.
These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.
Kress will continue to serve as Executive Vice President and Chief Financial Officer while serving as Interim Chief Executive Officer until a permanent successor has been named.
Gödel's 'hundreds of proved theorems' are 663 proofs, sketches and ideas. About 400 checked out as written.
The Guardian, reporting Jan von Plato's account; repeated in the Hacker News headline ·
AI illustration
Logician Jan von Plato showed Claude his own transcriptions of Gödel's shorthand workbooks plus six of his books on Gödel, and asked it to list the results.
The reality check
Claude listed 663 results where Gödel had a proof, a sketch or an idea for one. By von Plato's Coq check, about 400 were verified as stated, about 200 repaired and about 50 false.
Why care? Cite about 400 of 663, by von Plato's own count. An outside logician quoted by the Guardian says how much is Claude and how much is Gödel is for historians.
Take this with youThe 663 results Claude listed include sketches and ideas; about 400 were verified as stated and about 50 were false.
Open the evidence3 source pages +
The claim we checked
Kurt Gödel's 1,009 pages of workbooks, read with help from the AI model Claude, are now said to contain hundreds of proved theorems.
These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.
US flights were grounded three days after the FAA spread its AI tool. The stated cause is a telecoms outage.
Futurism headline and social posts, after DHS Secretary Markwayne Mullin said DHS was looking at the tool ·
AI illustration
Days after the FAA expanded its SMART AI tool across US airspace, it grounded flights nationwide, citing a temporary telecommunications outage. DHS said it is checking whether the AI tool contributed.
Free with your account
Sign in for this free check.
This edition’s selected free story opens after sign-in.
Six Chinese AI models carry a Blackwell fingerprint. The report says it marks how training started, not where it ran.
Will DePue, Unemployment Labs report ·
AI illustration
A forensic report matched the starting weights of six models from DeepSeek, Moonshot AI, MiniMax and Ant Group to Blackwell-class chips. The method agreed with all 24 models whose hardware was publicly disclosed.
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 and the Receipts Pack come with it. A$89 a year, about A$0.24 a day.
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.
Top Chinese Frontier AI Models Carry the Fingerprint of Export-Controlled NVIDIA Blackwell GPUs; several leading Chinese AI developers have begun using Blackwell to train their newest models.
These are quoted receipts, not a count of independent investigations. Several reports may rely on the same original source.
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.
