Hacker News new | past | comments | ask | show | jobs | submit
soulofmischief | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Thanks for putting me onto this, that was new to me. And of course Huygens was all over this idea.