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.

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

OpenAI beat humans to solving the Navier-Stokes problem, but mathematicians say the AI's solution isn't telling them much.

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

OpenAI announced a solution to the Navier-Stokes problem. But could its A.I. models have used data from two mathematicians working on a similar breakthrough?

Chess engines can beat grandmasters—but they can’t agree on a single infallible strategy. And, instead of ruining the game, artificial intelligence is now uncovering new ways of playing.

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

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

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

OpenAI claimed on September 21 that its internal artificial intelligence (AI) model has solved over 100 mathematical problems ...

The company’s announcement is the most dramatic sign yet that artificial intelligence is fundamentally transforming the field of higher mathematics.

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