Hacker News new | past | comments | ask | show | jobs | submit
rjsw | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Maybe the notebooks will contain details of his "loophole", or maybe it will have been proven true in real life by then.