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
genius often comes with side effects