Hacker News new | past | comments | ask | show | jobs | submit
calf | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Article also mentions his notes were a few months work away from proving independence of CH decades before Cohen's result in 1963.