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.
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.