TRUE, BUTScope Swap
663 results, not all proved
The count is 663 proofs, sketches and ideas, and about 50 of them are false.
“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.”
12 receipts3 support3 refute6 context
Jan von Plato says Claude listed 663 results where Gödel had a proof, a sketch or an idea for one.
The twist
By his Coq tally about 400 held as stated, about 200 needed repair and about 50 were false. Claude read his transcriptions, not the shorthand.
There’s more to this story.
Membership opens the full investigation, the strongest counterargument and what to do with what you’ve learned.
30 days free, then A$89 a year. Payment card required. Cancel before the trial ends to avoid the first charge.
Start free trial →- 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 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.
Inferno Tech Pty Ltd t/a BS Killer, ABN 27 647 413 474
Get tomorrow’s check free by email.
Couldn't check your access. That's on us.
The trick has a name
We call it Scope Swap: applies to far less than it sounds like. You'll see it again. Learn to spot it →
