This is the same argument as why you shouldn't use an LLM to do your homework. The goal of doing the problems isn't to solve the problems (we can see they are already solved, the universe exists and calculates all kinds of exotic math all the time), it is for humans to understand the math
In recent months, the success of AI in solving major mathematical problems has made headlines even outside mathematical circles. But solving problems is only a tool and proxy for achieving the primary goal of conceptual understanding and insight. Forgetting this in the world of AI may turn the tool against the primary goal. Indeed, the mass production at faster and faster pace of "true/false" statements could destroy fertile ground instead of breathing life into new ideas.