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 sheikhnbake on Friday November 13, 2026 @02:01PM (#50488159)

The professor's value was/is in being one of a few people with the capability of interpreting the shorthand. By translating it with AI, his value as an interpreter begins evaporating as the translated workbooks become accessible to more logicians.

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by Bayart on Friday November 13, 2026 @02:29PM (#50488521)

He might see his value in his role of carrying the knowledge itself rather than being its gatekeeper.

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by mohamedkoubaa on Friday November 13, 2026 @03:37PM (#50489302)

And he didn't want to milk that for the rest of his life because he's a smart guy that has other skills and interests

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by cloudbonsai on Friday November 13, 2026 @06:11PM (#50491487)

I actually got a very different impression. He could publish this interesting result, exactly because he had been working on this project i.e., had an interest dataset to feed into Claude and had knowledge to interpret its output.

Compare him to someone burning tokens to generate cringeworthy AI slops to share on social media. The value of a tool depends on the skill of the user.

[ Parent | on HN ]