News for hackers. Stuff that matters.

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

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by rsoto2 on Friday November 13, 2026 @02:19PM (#50488402)
You could likely "unlock" the manuscript yourself with a competent computer vision algorithm. It's nothing that fancy.
[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by Perseids on Friday November 13, 2026 @02:35PM (#50488599)
Have you seen the manuscripts? Take a look at slide 10 of https://aitp-conference.org/2026/slides/JvP.pdf . On slide 12 you can at least make out a few words (even before reading the English translation I could clearly read "Jede" and "Systems ist berechenbar"), but any part of the shorthand is completely unrecognizable. Also take a look at slide 6 that shows a bunch of word transcriptions in the shorthand.

If one could wish for a best case publishing, I would like to have the page scans side by side with the German reading side by side with the English translation with running commentary by the research group.

[ Parent | on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by rsoto2 on Friday November 13, 2026 @05:26PM (#50490918)
a computer can't see the letter "c" or any letter. You train it based on data and pixels otherwise it is "completely un-recongizable." What is so special about these squiggles? That it is a shorthand? Are words in other languages not "completely unrecognizable" to you?
[ Parent | on HN ]