Hacker News new | past | comments | ask | show | jobs | submit
pryelluw | on: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Funny thing is your comment is consistent and complete.
acjohnson55 | parent
This is possible for things that have less power than arithmetic!