News for hackers. Stuff that matters.

A comment on AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems.

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by GodelNumbering on Friday November 13, 2026 @03:35PM (#50489273)
> Gödel himself, when rereading his notes, would occasionally add a marginal remark: falsch! [incorrect] or schlecht! [bad].”

This is probably my favourite part of the article. On brand.

[ Parent | on HN ]

There are no comments on this comment yet.