>(4) Mathematical progress cannot be measured by checking off boxes on a problem list.

Once we've essentially found an algorithm that can solve any math problem we've essentially reached the end of mathematical progress. Checking current solvers against unsolved problems is how we can check if we've reached the goal or not.

Of course humans can still study math, like how we teach people arithmetic, algebra, calculus, etc. But there is no more progress to be had. As a society we can allocate resources elsewhere.