>>12448744this is just dumb
he contributed a huge amount to modular forms, he just didn't give formal proofs, but it's very likely that without his insight we would have taken a long long time to ever come up with these ideas
>>12451180you are taking crazy pills
if you only know the series for pi but not what he contributed beyond that then you just don't know enough to have an opinion