AIPrimary source

On the Navier–Stokes Millennium Prize Problem

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

What happened

We’re sharing an AI-generated solution to the Navier–Stokes Millennium Prize Problem, including a writeup and a formal proof in Lean.

Why it matters

The development may change operating conditions or market expectations around AI. Further confirmation and measurable outcomes matter.

Affected entities

View evidence

1 reports · 1 original report · 1 independent

  1. OpenAIPrimary source · Supports · EN · 100%
    On the Navier–Stokes Millennium Prize Problem

Claims

  • On the Navier–Stokes Millennium Prize Problem Observed

Conflicts

No material conflict detected in the available evidence.

Timeline

  1. First reported

Market move following event

Market reaction is not yet available for this asset and time window.

Score explanation

Confidence · formula confidence-2.1.0
Source trust94
Independent corroboration51
Primary evidence100
Claim consistency82
Extraction confidence82
Attribution quality90
Impact · formula impact-2.1.0
Event magnitude45
Market relevance74
Entity significance42
Market breadth45
Novelty68
Urgency52
Ranking · formula rank-1.0.0
Confidence factor0.919
Freshness factor0.9061
Breaking bonus0