News for hackers. Stuff that matters.

A comment on AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems. Parent comment

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.

[ Parent | on HN ]

There are no comments on this comment yet.