AI Research
AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Article URL: https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-maths Comments URL: https://news.ycombinator.com/item?id=50486748 Points: 310 # Comments: 90
HNA
Hacker News AI
Source
Hacker News AI
Read the full story at Hacker News AI →
Share
Filed under:AI Research
Comments
Keep comments relevant and respectful. No links, advertising, self-promotion, or spam.