News for hackers. Stuff that matters.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by insane_dreamer on Friday November 13, 2026 @02:01PM (#50488146)
> Increasingly paranoid in his later years, he refused to eat food that was not cooked by his wife, and died of starvation in 1978

genius often comes with side effects

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by Bayart on Friday November 13, 2026 @02:30PM (#50488537)
My favourite end-of-life weirdo has to be Grothendieck.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by QuesnayJr on Friday November 13, 2026 @02:44PM (#50488686)
There is a similar project to digitize and analyze Grothendieck's notes and letters.
Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by programd on Friday November 13, 2026 @04:58PM (#50490509)
There was also a project to catalog and prove all the theorems in Ramanujan's notebooks. There's a book series by Bruce C. Berndt which covers the 5 notebooks:

https://www.amazon.com/stores/Bruce-C.-Berndt/author/B001HN3...

It would be interesting to point Fable or Argon at the notebooks and see if they can find some interesting new material in or based on this work.

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by e28eta on Friday November 13, 2026 @02:31PM (#50488542)
This extra detail makes the story even sadder, imo:

> Following Adele's admission to hospital after suffering a stroke in late 1977, Gödel refused to eat in her absence; he weighed 29 kilograms (65 lb) when he died of "malnutrition and inanition caused by personality disturbance" in Princeton Hospital on January 14, 1978

https://en.wikipedia.org/wiki/Kurt_Gödel#Personal_life_and_d...

Re:AI unlocks Gödel's notebooks, said to contain hundreds of... by Aboutplants on Friday November 13, 2026 @02:41PM (#50488669)
The line between Genius and Crazy is but hairs width