Solving Math’s Greatest Problems Was an Art Form. Then Came AI

OpenAI used thousands of agents to produce a brute-force proof that the Navier-Stokes existence and smoothness problem is solvable, a puzzle that has intrigued mathematicians for decades without practical engineering payoff. The proof, described as “useless,” contrasts with mathematicians’ artistic, deliberate approach to developing new ideas.