Skip to main content

Para negociar nos EUA, acesse polymarket.us

icon for O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?
Tecnologia·IA

O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?

icon for O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?
Tecnologia·IA

O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?

$12,092 Vol.

31 dez 2028
Polymarket

$12,092 Vol.

Polymarket

31 de dezembro de 2026

$6,635 Vol.

6%

31 de dezembro de 2027

$2,943 Vol.

19%

31 de dezembro de 2028

$2,515 Vol.

39%

This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No". A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered. A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community. The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.OpenAI's September 8 announcement of an AI agent system generating a Lean-formalized proof of finite-time singularity for forced 3D Navier-Stokes equations (addressing Clay statements C/D) has driven recent trader focus, following parallel LLM-assisted breakthroughs by Tristan Buckmaster and Levent Alpöge. The Clay Mathematics Institute responded on September 11 by noting the problem appears settled amid accelerating AI tools in mathematics, yet stressed its deliberately unhurried expert review and credit assignment process, with no formal declaration or prize awarded as of mid-September. Competitive dynamics include disputes over priority, training data, and AI versus human contributions, while upcoming catalysts center on independent peer scrutiny and any CMI updates that could clarify resolution timelines for this Millennium problem.

This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".

A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered.

A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community.

The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No". A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered. A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community. The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.
Volume
$12,092
Data de Término
1 jan 2029
Mercado Aberto
Sep 9, 2026, 12:21 PM ET

Resolver

0x65070BE91...
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No". A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered. A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community. The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.OpenAI's September 8 announcement of an AI agent system generating a Lean-formalized proof of finite-time singularity for forced 3D Navier-Stokes equations (addressing Clay statements C/D) has driven recent trader focus, following parallel LLM-assisted breakthroughs by Tristan Buckmaster and Levent Alpöge. The Clay Mathematics Institute responded on September 11 by noting the problem appears settled amid accelerating AI tools in mathematics, yet stressed its deliberately unhurried expert review and credit assignment process, with no formal declaration or prize awarded as of mid-September. Competitive dynamics include disputes over priority, training data, and AI versus human contributions, while upcoming catalysts center on independent peer scrutiny and any CMI updates that could clarify resolution timelines for this Millennium problem.

This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".

A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered.

A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community.

The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No". A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered. A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community. The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.
Volume
$12,092
Data de Término
1 jan 2029
Mercado Aberto
Sep 9, 2026, 12:21 PM ET

Resolver

0x65070BE91...

Relacionado

icon for A CMI declarará um Problema do Prêmio do Milênio resolvido até 31 de dezembro de 2028?

A CMI declarará um Problema do Prêmio do Milênio resolvido até 31 de dezembro de 2028?

30%
Sim
icon for A CMI declarará a Hipótese de Riemann resolvida até 31 de dezembro de 2027?

A CMI declarará a Hipótese de Riemann resolvida até 31 de dezembro de 2027?

14%
Sim
icon for A OpenAI anunciará outra solução do Prêmio Millennium até 31 de dezembro de 2027?

A OpenAI anunciará outra solução do Prêmio Millennium até 31 de dezembro de 2027?

75%
Sim

Cuidado com os links externos.

Frequently Asked Questions

"O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?" is a prediction market on Polymarket with 3 possible outcomes where traders buy and sell shares based on what they believe will happen. The current leading outcome is "31 de dezembro de 2028" at 39%, followed by "31 de dezembro de 2027" at 19%. Prices reflect real-time crowd-sourced probabilities. For example, a share priced at 39¢ implies that the market collectively assigns a 39% chance to that outcome. These odds shift continuously as traders react to new developments and information. Shares in the correct outcome are redeemable for $1 each upon market resolution.

As of today, "O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?" has generated $12.1K in total trading volume since the market launched on Sep 9, 2026. This level of trading activity reflects strong engagement from the Polymarket community and helps ensure that the current odds are informed by a deep pool of market participants. You can track live price movements and trade on any outcome directly on this page.

To trade on "O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?," browse the 3 available outcomes listed on this page. Each outcome displays a current price representing the market's implied probability. To take a position, select the outcome you believe is most likely, choose "Yes" to trade in favor of it or "No" to trade against it, enter your amount, and click "Trade." If your chosen outcome is correct when the market resolves, your "Yes" shares pay out $1 each. If it's incorrect, they pay out $0. You can also sell your shares at any time before resolution if you want to lock in a profit or cut a loss.

The current frontrunner for "O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?" is "31 de dezembro de 2028" at 39%, meaning the market assigns a 39% chance to that outcome. The next closest outcome is "31 de dezembro de 2027" at 19%. These odds update in real-time as traders buy and sell shares, so they reflect the latest collective view of what's most likely to happen. Check back frequently or bookmark this page to follow how the odds shift as new information emerges.

The resolution rules for "O CMI declarará que o problema de Navier-Stokes foi resolvido até ___?" define exactly what needs to happen for each outcome to be declared a winner — including the official data sources used to determine the result. You can review the complete resolution criteria in the "Rules" section on this page above the comments. We recommend reading the rules carefully before trading, as they specify the precise conditions, edge cases, and sources that govern how this market is settled.