Its reasonable for mathematicians to point out that proofs are not always the same thing as advancing mathematics. But it suggests a need for new goals for what math is trying to do
Same thing will happen everywhere. 100x more PowerPoint or code is not always progress - what is?
