Will Navier-Stokes be solved by AI?
10
Ṁ100Ṁ2389998
74%
chance
1H
6H
1D
1W
1M
ALL
Resolves YES if Navier-Stokes is solved by AI and NO if it is solved by a human.
For a YES resolution, the AI is required to do most or all of the mathematical work. For a NO resolution, the human is allowed to use AI for purposes of literature search or proving minor lemmas but the bulk of the proof must come from the human mind.
If, when the problem is solved, it becomes unclear whether AI or humans should get more credit, the issue shall be disputed in the comments.
This question is managed and resolved by Manifold.
Market context
Get 
1,000 to start trading!
1,000People are also trading
Related questions
Will Anthropic announce a solution to the Navier-Stokes Millennium problem before IPO?
12% chance
Will Navier-Stokes be considered solved on June 3th 2027?
37% chance
Will I solve an unsolved math problem with AI in September?
11% chance
Will the Navier-Stokes problem be solved by 2030?
53% chance
When will the Navier-Stokes problem be solved?
2033
[Add answers] Who or what will first solve Navier-Stokes before 2028?
Will Anthropic announce a claimed solution to Navier–Stokes before the end of 2026?
28% chance
If Navier-Stokes is solved by Claude this year, what will be its solution?
Will the next Millennium Problem be solved by an AI?
65% chance
Will the Navier-Stokes problem be solved before 2028?
38% chance