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

As the leading AI labs battle for math supremacy, OpenAI spent millions of dollars and cracked the Navier-Stokes problem. Rivals are already challenging AI’s biggest math breakthrough yet.

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.

Researchers at OpenAI say one of its unreleased models solved a mathematical puzzle that has eluded mathematicians for generations.

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?

An NYU math professor claims the AI behemoth rushed to solve the problem after discovering his progress.

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

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Mathematical models help find real solutions After writing a mathematical problem to represent a situation, the second step in the modeling process is to solve the problem. For Sudoku, we need to ...

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.

Large Language Models (LLMs) have ushered in a new era of artificial intelligence (AI) demonstrating remarkable capabilities in language generation, translation, and reasoning. Yet, LLMs often stumble ...