OpenAI recently announced that one of its AI models solved one of the hardest problems in modern mathematics: the Navier–Stokes problem. The equations at the heart of this problem describe. As AI produces mathematical results at scale, researchers are debating what should count as progress in the field. Fields Medallist Terence Tao warns against optimising solely for problem-solving,.