Terence Tao criticizes AI methods for solving math problems: The issue lies not in proof correctness.

Rohan Paul shares Terence Tao's video perspective: Mathematicians' dissatisfaction with AI solving math problems is unrelated to the correctness of the proofs. Tao notes that while activity surrounding the Navier-Stokes equations is currently chaotic and will eventually recover to understanding the proof, this approach is highly undesirable. He calls this pattern irresponsible automated open-pit mining of problems—achieving immediate goals at the expense of the field's future development. The full video is on the New Scientist YouTube channel.