OpenAI solves one of the biggest open math problems, HUGE!!!

[Legend]

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics.

The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.

The problem… pic.twitter.com/8zol3BPTL4

— OpenAI (@OpenAI) September 8, 2026

This is a very big deal. $1 million bounty for this problem.

[Legend]

pic.twitter.com/GsVdaqoJec

— whocareslol (@whocareslo4730) September 10, 2026

Also, more problems might be solved. This is crazy.

[kitler53]

is it confirmed solved or did AI just make up some shame and we can't prove it's wrong?

[Legend]

is it confirmed solved or did AI just make up some shame and we can't prove it's wrong?

A non ai math program has confirmed the AI made no logical mistakes, it is legit in that regard.

But it still needs to be independently verified and that will take time.