Solving Math’s Greatest Problems Was an Art Form. Then Came AI
OpenAI’s brute-force Navier-Stokes proof has mathematicians asking what AI is doing to a field that has always worked like an art form. We trace the argument from G. H. Hardy to the Erdős problems, check the numbers behind the declaration and the compute bill, and draw lessons for any expert workforce.
