Remix.run Logo
Remix clone Hacker News
new | show | ask | jobsGithub
▲ Bayart a day ago

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

▲QuesnayJr a day ago | parent [-]

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

▲programd a day ago | parent [-]

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.

▲QuesnayJr 3 hours ago | parent [-]

Since Ramanujan's notebook has gotten a lot of attention since the 70s, I was wondering if there was anything left for AI to find. Someone should try it.