Prévision communautaire actuelle
Oui 96.2%
Prévisionnistes
17
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 15 heures
Obsolète17 août 26, 12:34 UTC31 déc. 98, 16:00 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
Will Navier-Stokes be solved with the help of Google or Alphabet scientists by the end of 2027?
Manifold MarketsWill Anthropic announce a solution to the Navier-Stokes Millennium problem before IPO?
Manifold MarketsDoes a smooth Navier-Stokes solution always exist?
Manifold MarketsWill the Navier-Stokes problem be solved before 2028?
Manifold MarketsWill CMI declare the Navier-Stokes problem solved by which date?
PolymarketOpenAI retracts Navier-Stokes solution in 2026?
PolymarketRègles
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.
