>>12547577Isn't ramanujan a bit overhyped? I mean, he almost surely was a symbolic manipulation genius, but are there any relevant discoveries apart from a category of theta functions and some number theory 'cool facts'? I feel his talent was completely wasted by Hardy and other people who forced him to lose all his time to prove his results formally.