My succinct summary understanding is that recall is more important than precision for collective understanding at the level of mathematical discovery that we ar

My succinct summary understanding is that recall is more important than precision for collective understanding at the level of mathematical discovery that we are currently at (borrowing IR terms); i.e., that it is more important to produce good results at scale than to ensure that only good results are produced, and that we have the AI-assisted human resources at community scale to identify and absorb the good ones. This makes sense to me - intuitively, there is a lot more good mathematics to be done than humans are currently able to produce, so focusing human labor freed from production on verification of AI-produced results instead is more valuable now.