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.