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?
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