2aFds
Re:AI unlocks Gödel's notebooks, said to contain hundreds of proved th...
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".