Hacker News new | past | comments | ask | show | jobs | submit
mohamedkoubaa | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
And he didn't want to milk that for the rest of his life because he's a smart guy that has other skills and interests