Re:AI unlocks Gödel's notebooks, said to contain hundreds of...
by ShinyLeftPad on Friday November 13, 2026 @01:45PM
(#50487929)
That's what he thinks, surely.
[ Parent
| on HN ]
Re:AI unlocks Gödel's notebooks, said to contain hundreds of...
by bdamm on Friday November 13, 2026 @01:56PM
(#50488069)
It's clear though. Even if an AI had connected all the dots on the obsolete shorthand, it would never have recognized the human value. I doubt that any AI process would choose to spend the energy on interpreting this particular obsolete handwriting and then understand that it was from the hand of a genius.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of...
by ShinyLeftPad on Friday November 13, 2026 @02:01PM
(#50488143)
But is he needed once he finished writing the prompt?
Re:AI unlocks Gödel's notebooks, said to contain hundreds of...
by jvanderbot on Friday November 13, 2026 @02:05PM
(#50488215)
Using AI to do your job does not mean that AI suddenly walks in the door and escorts you out and starts collecting your paycheck.
Someone is still driving these studies, and probably will be for a while. Or maybe not. But still we can reward this guy for opening up this can of theorems that had before.
Silliest case: Imagine a dusty basement terminal screen open to claude code with "There we go! Cancer is cured as you requested, let me know and I'll send off the results" and nobody is around to approve it.