And this is exactly the point of the Statement. The process is more important than the solution itself. Most problems in mathematics don’t have immediate value or applications to the real world.
AI’s solutions are like the answers section to practice problems at the back of a textbook. Answer is 42, so what?You have to attempt the problem yourself, that’s the whole point of the exercise.
As an engineer I’m happy to use AI for math. If I publish a paper that way, very common these days, I think it’s still problematic. My paper would include something I didn’t come up with and I don’t really understand.
I think this is a good time to properly discuss these things because AI is coming for everything. Mathematics and Software were just the first two.
Then instead of publishing a paper, just upload your AI result to github. Same advancement of the state of the art. Papers are overrated here.