Gödel Notebooks Recovery

Get the best builds by email. No account needed.

Explore

Apps & Tools

Gödel Notebooks Recovery

Decoding Kurt Gödel's hidden notebooks to reveal hundreds of lost mathematical theorems.

byJan von Plato

Is this your creation?

Playable

Description

Finnish logician Jan von Plato used Anthropic's Claude to transcribe and analyze 1,009 pages of Kurt Gödel's notebooks written in obsolete Gabelsberger shorthand. The AI provided a comprehensive digest that revealed 663 theorems, including a nearly complete proof of the independence of the axiom of choice, which was subsequently verified using the Coq proof assistant.

Descriptions, tags, and model credits may be AI-generated or inferred from public sources and can be incomplete or wrong. Learn more.

Details

Why this is interesting: Successfully decoded over 1,000 pages of obsolete shorthand to recover 600+ unknown theorems from Kurt Gödel.
Attributed to: @janvonplato
Built with: Claudefamily
Links: theguardian.com
View tweet
Tags: #mathematics #logic #research #shorthand

Discovered: X
First posted: X · Nov 14, 2026
Listed: Added 8h ago
Build: Strong
Models: Strong

Get the best builds by email. No account needed.

Explore

Apps & Tools