alt Hacker NewsOn the one hand yes, Perelman was known within his subfield. On the other hand, I find it hard to believe that if some random person had published the same papers, they would have gone unnoticed, since as far as I understand it these were important results that would have been worth evaluating based on the titles and the abstracts.
Volume isn't really a problem going forward, at least in mathematics, since every proof can be accompanied by a Lean verification. Whether other disciplines can implement automated verification or quality assessment will depend on the details of the field.
The more famous the problem, the more reputation matters. There is no shortage of papers claiming to prove P vs. NP in either direction. Nobody is taking them seriously, as everyone has a strong prior that people trying to publish such results are cranks.
Mathematicians need to rethink what is the purpose and value of doing pure mathematical research in the future. Until know, they have mostly valued the creation and systematization of human knowledge. From that perspective, Lean proofs mostly increase confidence in the human knowledge. But they don't contribute directly to it, as a formal proof is unlikely to contain insights that are not present in the human proof.