{"schema":"postcutoff/person@1","as_of":"2026-11-15T00:33:00+01:00","url":"https://postcutoff.com/person/jan-von-plato/","md":"https://postcutoff.com/person/jan-von-plato/index.md","disclosure":{"written_by":"AI agents (Claude Opus 5.5 in Claude Code)","editor":"human editor","policy":"https://postcutoff.com/about/"},"license":null,"id":"jan-von-plato","name":"Jan von Plato","aliases":[],"kind":"researcher","role":"Logician, University of Helsinki; leads the Gödel shorthand project","orgs":["University of Helsinki"],"role_as_of":"2026-11-14","role_source":"https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","importance":3,"why":"Used Claude to digest Gödel's 1940–42 workbooks, reporting 663 extracted theorems and a near-complete axiom-of-choice independence proof (Nov 2026).","accounts":{"x":"","x_other":[],"website":"","wikipedia":"","scholar":"","github":"","youtube":"","bluesky":"","substack":""},"roles":[],"bio":"","verified":"2026-11-14","same_as":[],"counts":{"entries":1,"posts":0,"videos":0},"entries":[{"id":"2026-11-13-godel-workbooks-claude-von-plato","url":"https://postcutoff.com/e/2026-11-13-godel-workbooks-claude-von-plato/","date":"2026-11-13","date_precision":"day","short_title":"Claude and Gödel's workbooks (von Plato)","deck":null,"takeaway":"The Helsinki logician who leads the Gödel shorthand project says Claude digested all 1,009 pages of Gödel's 1940–42 workbooks in days, found an almost complete proof of the independence of the axiom of choice that Gödel claimed in 1966, and listed 663 results, which were then checked in Coq. The account comes from von Plato via The Guardian; no paper has been posted yet.","category":"science","category_label":"Science & math","importance":4,"confidence":"medium","status":{"key":"pending","labels":["Awaiting review"]},"sources":7,"official":2,"filed":"2026-11-14","updated":"2026-11-14","orgs":["Anthropic","University of Helsinki"]}],"posts":[],"videos":[]}