Applications don't care whether the math was proven and understood by humans or computers. Your algorithm will get faster no matter where the insight came from.

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.