GoKawiilOpenAI's AI-generated Navier-Stokes proof baffles mathematicians
OpenAI recently claimed its AI agents produced a solution addressing the Navier-Stokes equations, one of math's unsolved Millennium Problems, after running 10,000 agents for 88 hours. Mathematicians including Oxford's James Maynard and Brown's Javier Gómez-Serrano say the resulting proof, while apparently technically correct, is written in a form that is extremely difficult for humans to interpret or learn from.