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

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

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

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

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

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 its AI solved a $1M math problem, but two mathematicians say it used their unpublished work to get the solution.

OpenAI said Tuesday that one of its unreleased artificial intelligence models had solved a mathematical puzzle that 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.