OpenAI says it solved one of math’s hardest problems, but controversy taints the milestone

The company’s announcement has been dogged by questions about whether it improperly used work from another research team or ...

OpenAI Cracks 200-Year-Old 'Millennium' Math Problem—But Credit Dispute Looms

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

OpenAI says it has solved a Millennium Prize problem—a holy grail of math

As the leading AI labs battle for math supremacy, OpenAI spent millions of dollars and cracked the Navier-Stokes problem.

AI is powerful enough to crack our hardest math problems—and kill us all

The Millennium Prize breakthrough is proof of AI’s accelerating and terrifying progress ...
Forbes

Meet The Stanford Dropout Building An AI To Solve Math’s Hardest Problems—And Create Harder Ones

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