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