Comment by brian-bfz

I don't think AI will solve more math problems in a world with Mathathon than the counterfactual by EOY. People will use AI in math anyways. What matters is: can we encourage them to do so transparently and with full understanding of their results? Can we change the incentives in academia to reward problem selection and verification over proof generation?