Days after its disputed Navier-Stokes claim, OpenAI says it's made "substantial progress" on another Millennium Prize math ...

An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize ...

NYU's Tristan Buckmaster accuses OpenAI's Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning ...

A mathematician compared the feat to the history-making chess competition in which IBM’s Deep Blue computer beat Garry ...

OpenAI refused $1 million for its AI math proof. Justin Sun now lists the same problem, and the claim sits open.

Why would you want to ruin your career?” an OpenAI exec told him. “If you don’t want me to be nice, then I don’t have to be nice.” ...

OpenAI says 10,000 of its agents solved the 90-year-old Navier-Stokes problem in 88 hours, but one mathematician has ...

Mathematicians at OpenAI showed that the Navier-Stokes equations, which describe how fluids flow, can sometimes “blow up.” ...

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

OpenAI says 10,000 AI agents cracked a $1 million math prize in 88 hours, but a dispute over credit and data privacy has ...

OpenAI on Tuesday released a technical paper for its result that will now be closely read by mathematicians around the world.

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.