---
format: "aidr-story-markdown/v1"
id: "12990af15e181ab96cfcd59af6eb8fe359a02784c42db964df77ea8b1b569aeb"
canonical_url: "https://aidr.today/12990af1?lang=en"
title: "AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems"
lang: "en"
requested_lang: "en"
available_langs: ["en","vi"]
translation_fallback: null
fallback_fields: []
published_at: "2026-11-13T17:30:10.000Z"
category: "Research"
topics: ["reasoning"]
source_urls: ["https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths","https://news.ycombinator.com/item?id=50486748"]
summary: "AI unlocked Kurt Gödel's 1,009 pages of text. This text is said to contain hundreds of proved theorems."
---

# AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

> [Open the canonical story](<https://aidr.today/12990af1?lang=en>)

**Published:** 2026-11-13T17:30:10.000Z
**Category:** Research
**Topics:** reasoning

## Summary

AI unlocked Kurt Gödel's 1,009 pages of text\. This text is said to contain hundreds of proved theorems\.

## Sources

- [Story source](<https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths>)
- [Discussion](<https://news.ycombinator.com/item?id=50486748>)