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

Mathematicians say they're still unpacking OpenAI's solution for the Navier-Stokes problems because the AI's proof is nearly ...

After an OpenAI model presented a possible solution to the Navier-Stokes problem, mathematicians are speculating about which ...

An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize Problems, though questions are emerging over how independently it got there.

NYU's Tristan Buckmaster accuses OpenAI's Sébastien Bubeck of racing to claim credit for a Navier-Stokes proof after learning about his unpublished work with Anthropic's Levent Alpöge.

A dispute over the solution to one of the hardest problems in mathematics highlights key questions about the data companies share with AI tools.

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.” ...

After solving the 90-year-old Navier-Stokes Millennium Prize problem, OpenAI says its unreleased AI model has solved more ...

OpenAI wanted to see if its agents could solve a long unsettled math problem. After gobbling billions of tokens, it found a solution.

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