Hacker News new | past | comments | ask | show | jobs | submit
aaronrobinson | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
I read it as knowing it at all but maybe it’s the mathematical shorthand subset.