Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible
"The paper is not written for humans." The post Mathematicians Can’t Make Sense of How OpenAI’s Agents Solved One of the Toughest Math Problems Because the AI’s “Proof” Is Borderline Incomprehensible appeared first on Futurism .
OpenAI recently claimed it had solved one of mathematics' most difficult problems, the Navier-Stokes equations, by having its AI agents work on it for 88 hours. However, mathematicians find the AI's proof difficult to understand and do not yet believe it teaches them much. The Navier-Stokes equations, which describe fluid movement, have been used for centuries, but their underlying principles remain unclear.
A $1 million prize, offered by the Clay Mathematics Institute in 2000, remains unclaimed. OpenAI's solution relies on an external force, though the main challenge of solving the problem without external force remains unsolved.
Written by urgent.news from Futurism's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
