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

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

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

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

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

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

OpenAI says its AI solved a $1M math problem, but two mathematicians say it used their unpublished work to get the solution.

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

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

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...