Claude extracts 663 theorems from Gödel's shorthand notebooks, 400 verified in Coq

·2026.11.14 03:35

Key point

Jan von Plato used Claude to digest 1,009 pages of Gödel's 1940s workbooks, yielding 663 theorems where about 400 were verified as stated in Coq.

Jan von Plato provided Claude with transcriptions of Kurt Gödel's 1,009 pages of 1940s shorthand notebooks, receiving a 650-page digest within days.
Claude identified 663 theorems that Gödel had proved, sketched, or conceived.
Verification in Coq confirmed about 400 theorems as stated, required repairs for about 200, and identified about 50 as false.
Joel David Hamkins notes that determining the specific contribution of Claude versus Gödel is a task for historians.

This summary was generated automatically by AI. Check the original for the author's claims and context. Copyright belongs to the original author.

Our guide explains how the AI works. Report summary errors, attribution issues, or removal requests via Contact.