Jan von Plato

Stories

Helsinki team uses Claude to surface 663 candidate theorems in Gödel's notebooks

Leading the Gödel workbook project

For nearly a decade, Jan von Plato transcribed Kurt Gödel's 1,009-page shorthand notebooks at about a page a week. In September 2026, the Finnish logician fed hundreds of pages of English transcription to Claude. Within days the model surfaced 663 candidate theorems.

Updated 1 hour ago