数学のミレニアム懸賞問題、ついにAIが解いてしまう…

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) 2026年9月8日