On 8 September, OpenAI claimed that its AI agents had solved the Navier-Stokes problem, one of the most famous and difficult challenges in mathematics. Had a human solved it, they would have collected both prize money and plaudits from their fellows. The announcement instead ignited what some mathematicians have called an “existential crisis” in their field over the power of AI, and accusations that OpenAI misused human work.
The maths behind Navier-Stokes is difficult to understand, but the critiques levelled by mathematicians will be familiar to artists, office workers, or anyone else concerned about AI. OpenAI’s results, like any arising from a large language model, depend on digesting work by human mathematicians. The OpenAI paper cites sources, but many believe the company didn’t give sufficient credit, especially to several mathematicians believed to be very close to a solution – bad form that erases human ingenuity and hogs all the glory.
The mathematician Tristan Buckmaster also has concerns that work he was doing on Navier-Stokes using OpenAI’s Codex model was seen by the OpenAI team. OpenAI has denied directly accessing this material, but could not rule out that data from Buckmaster’s use of their products “helped improve our model”. This lack of attribution and compensation for the human labour that AI is built on has turned many against the companies that develop these systems.
It has yet to be adequately addressed. This is a particular misstep in the case of mathematics. As many mathematicians have pointed out, AI firms are keen to use their models’ maths prowess as an advertisement.
But they rely on mathematicians to check their – often sloppy and baffling – work, and to tell them if it is useful and how it might be applied. An AI-produced movie or vaccine would have a clear and obvious use, whatever its merits, but it will take time and human intellectual labour to tell whether OpenAI’s purported solution contains any novel mathematical tools or insights. This should be an opportunity for collaboration.
It has instead become yet another source of alienation and resentment. Despite this, mathematicians are remarkably open to the use of AI, even as they commit their names to open letters denouncing tech firms. Most recognise that the technology is undeniably powerful and particularly good at maths.
Extract — continue reading at the source.
