Hacker News new | past | comments | ask | show | jobs | submit
bananaflag | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
He did discover the functional interpretation in 1940 and publish it only in 1958, so it is highly probable that he has valuable unpublished results.
judofyr | parent
n=1

> highly probably

Ah, the optimism of today’s youth!