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

Read post on hnrss.org

Article URL: https://www.theguardian.com/science/2026/nov/13/kurt-godel-notebooks-ai-helps-unlock-hidden-discoveries-man-who-transformed-mathsComments URL: https://news.ycombinator.com/item?id=50486748Points: 9# Comments: 0