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 2aFds on Friday November 13, 2026 @01:01PM (#50487260)

Nice timing for the IPO. Cooked Nvidia numbers on the 17th are still missing, and the 19th will go well!

The AI was of course trained on existing pre-AI transcriptions of Goedel's shorthand, which he was taught in school around 1920 and which was widespread and only technically "obsolete".

https://link.springer.com/book/10.1007/978-3-030-67606-3

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by letmevoteplease on Friday November 13, 2026 @01:49PM (#50487979)

In the first sentence, we have an evidence-free insinuation that the foremost expert on this subject is some kind of shill running a campaign for Anthropic. What does this campaign involve? Is he just making it all up? Let me hear your theory of what is happening here and how it invalidates the claimed abilities of the model (or why the abilities do not matter).

In the second sentence, we have what appears to be a claim that the model knows how to read Gödel's shorthand because it has been exposed to past examples of that shorthand. What is your point here? I think the model learning to generalize by training on a few examples is a point in its favor.

[ Parent | on HN ]

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

You are an idiot.

[ Parent | on HN ]