News for hackers. Stuff that matters.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by sheikhnbake on Friday November 13, 2026 @02:32PM (#50488552)
I think you're missing my point. It's that once the workbooks are completely interpreted, which is happening at an accelerated pace thanks to AI, von Plato's value as an interpreter of the short hand becomes severely reduced, presumably as does his ability to get future grants.

I'd think there would be more competition to lead studies and receive grants now that the workbooks are accessible to a wider audience of logicians

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by enneff on Friday November 13, 2026 @02:56PM (#50488818)
If he was facing mandatory retirement nearly ten years ago it’s likely he might be ready for voluntary retirement, particularly after achieving this fantastic result.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by bananaflag on Friday November 13, 2026 @04:09PM (#50489681)
Indeed, he is 75 years old.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by vorticalbox on Friday November 13, 2026 @04:06PM (#50489646)
I would his not be in verifying the AI is output?