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

- HackerByte page: <https://hackerbyte.net/en/stories/ai-has-deciphered-theorems-in-mathematician-kurt-godel-s-handwritten-notebooks-r-50486748>
- Original source: <https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths>
- Hacker News discussion: <https://news.ycombinator.com/item?id=50486748>
- Submitted to Hacker News: 2026-11-13T17:30:10.000Z

AI has deciphered theorems in mathematician Kurt Gödel's handwritten notebooks, reportedly containing hundreds of proofs.

## AI-generated summary

No summary is available in this language yet.