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 imbiased on Friday November 13, 2026 @01:40PM (#50487860)

I can't remember the exact quote but I believe I read that Gödel confided to Einstein (in their walks in Princeton) on his deep worry of his work being forgotten. If only he knew.

[ Parent | on HN ]

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

Now in 2026 every store use facial recognition to make sure you are ALWAYS remembered.

[ Parent | on HN ]

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

For short geological time horizons at least.

[ Parent | on HN ]

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by shepherdjerred on Friday November 13, 2026 @06:43PM (#50491791)

Anxiety is a great motivator

[ Parent | on HN ]