Hacker News new | past | comments | ask | show | jobs | submit
enneff | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
If he was facing mandatory retirement nearly ten years ago it’s likely he might be ready for voluntary retirement, particularly after achieving this fantastic result.
bananaflag | parent
Indeed, he is 75 years old.