Comment by caaqil

> There seems to be more interest in hitting some arbitrary benchmark (we proved X unsolved problems)

> genuinely contributing to mathematics

What's the difference between the two? Proofs are no longer the goalpost?