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
OpenAI's claim that 10,000 of its AI agents solved the Navier-Stokes Millennium Problem in 88 hours has drawn criticism from mathematicians who say the resulting proof is technically correct but borde…