Will Navier-Stokes be solved by AI?
14
Ṁ100Ṁ1.3k9998
98.8%
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.
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?
6% chance
Which Millennium prize problem will be solved next? (after Navier-Stokes)
When will the Navier-Stokes problem be solved?
2026
Will AI produce a proof of finite-time blow-up for the unforced Navier–Stokes equations before 2027?
27% chance
Will the Navier-Stokes problem be solved by 2030?
99% chance
[Add answers] Who or what will first solve Navier-Stokes before 2028?
Which AI lab's model will be first to solve a Millennium Problem besides Navier–Stokes?
Will the Navier-Stokes problem be solved before 2028?
98% chance
Will Navier-Stokes be solved with the help of Google or Alphabet scientists by the end of 2027?
9% chance
Will AI solve another Millennium Prize Problem (besides Navier–Stokes) before September 15, 2027?
74% chance