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

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.

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

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.

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.

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 beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.

Today may go down as the biggest day in math in at least two decades, if not far longer. In a development that crystallizes an existential shift in humankind’s oldest intellectual discipline, ...