Start free trial

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.”

The Guardian, reporting Jan von Plato's account; repeated in the Hacker News headline, 13 November 2026

Recorded 14 November 2026. Our ruling means: literally true, materially misleading.

Read the story →

Receipts pack

The evidence file for this verdict

12 receipts: 3 support the claim, 3 contradict it, 6 add context. 3 figures on the record, 3 traced to a quoted receipt.

The receipts

Each source, the line we quote from it, its date and which way it cuts. Free to read and to cite.

  1. 1Supports the claimtheguardian.com ↗

    which is now said to contain hundreds of proved theorems

    Look up an archived copy ↗

  2. 2Supports the claimtheguardian.com ↗

    Claude had provided a comprehensive digest of the entire material, revealing Gödel had proved hundreds of theorems that no one knew about.

    Look up an archived copy ↗

  3. 3Contexttheguardian.com ↗

    showing Claude his transcriptions of the workbooks, as well as six books he had previously written on Gödel

    Look up an archived copy ↗

  4. 4Contexttheguardian.com ↗

    Gödel either had a proof, had sketched a proof or had an idea for a proof. Claude found 663.

    Look up an archived copy ↗

  5. 5Contexttheguardian.com ↗

    About 400 were verified as stated, about 200 were repaired

    Look up an archived copy ↗

  6. 6Contradicts the claimtheguardian.com ↗

    About 50 were false, and this is no wonder.

    Look up an archived copy ↗

  7. 7Contexttheguardian.com ↗

    It had to be controlled page for page

    Look up an archived copy ↗

  8. 8Contradicts the claimtheguardian.com ↗

    Although how much is Claude and how much is Gödel is a job for the historians.

    Look up an archived copy ↗

  9. 9Contradicts the claimtheguardian.com ↗

    You don't get credit for work you don't tell anyone about.

    Look up an archived copy ↗

  10. 10Supports the claimnews.ycombinator.com ↗

    said to contain hundreds of proved theorems

    Look up an archived copy ↗

  11. 11Contextcordis.europa.eu ↗

    an obsolete, forgotten old German stenographic script called Gabelsberger, a true enigma for those interested in the contents

    Look up an archived copy ↗

  12. 12Contextcordis.europa.eu ↗

    The principal investigator is in a unique position of being able to read the Gabelsberger notes

    Look up an archived copy ↗

Members' extras

What each receipt proves, and what would change our mind.

  • What each receipt above proves, in our words
  • The figures table, each number traced to the receipt that states it
  • The trick behind the claim, explained, with the guide to spotting it
  • What would change our verdict
  • Our call on the record, with its due date

The verdict, the opening and every receipt above stay free. Membership adds our analysis to the evidence file for every checked story.

See Membership →Already a member? Sign in →

First membership: 30 days free, then A$89 a year. One introductory trial per customer. Card required; renews annually until cancelled. Cancel before the trial ends to avoid the first charge.