On: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems

> 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

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

My favourite end-of-life weirdo has to be Grothendieck.

There is a similar project to digitize and analyze Grothendieck's notes and letters.

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.

The line between Genius and Crazy is but hairs width