> ## Content Index
> Fetch the complete content index at: https://adjacent.media/llms.txt
> Use this file to discover other available public pages before exploring further.

# OpenAI's AI Solves Decades-Old Math Problem With Machine-Checkable Proof
- URL: https://adjacent.media/signals/openais-ai-solves-decades-old-math-problem-with-machine-checkable-proof/
- Published: 2026-09-09T16:14:12.000Z
- Updated: 2026-09-09T16:14:12.000Z
- Description: OpenAI claimed its o1 model solved the finite-time blow-up problem for 3D Navier-Stokes equations—one of the Millennium Prize Problems worth $1 million—by orchestrating 10,000 agents over 88 hours to produce a formally verifiable proof.
- Author: Jonathan Greene
- Tags: #signal, theme-ai, machine learning capability, formal verification, mathematical reasoning

Source: [The Next Web](https://thenextweb.com/news/openai-navier-stokes-claim-verification-credit?ref=adjacent.media)

OpenAI claimed its o1 model solved the finite-time blow-up problem for 3D Navier-Stokes equations—one of the Millennium Prize Problems worth $1 million—by orchestrating 10,000 agents over 88 hours to produce a formally verifiable proof. Machine-checkable proofs can be verified by independent systems, removing human error from validation. Whether the breakthrough meets peer-review standards, and the speed and resource cost required, remain open questions.