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 jdelman on Friday November 13, 2026 @02:18PM (#50488385)

I wonder how much expertise was actually needed to translate these notebooks. In other words, could a general purpose model one-shot these translations, or did we really need a subject matter expert to do the work? BTW - I'm not saying having a subject matter expert tackle the problem with Claude isn't useful - just wondering what the limits are!

[ Parent | on HN ]

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

Uh, a decades old properly trained OCR algorithm could probably "unlock" these manuscripts

[ Parent | on HN ]

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

Right you are - this was "trivial", and everyone is "stupid" - except for you

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by rsoto2 on Friday November 13, 2026 @05:25PM (#50490901)

decades of OCR research is not trivial. What's stupid is being gullible

[ Parent | on HN ]