OpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · AtualizadoA OpenAI anuncia outra solução do Prémio Millennium até...?
A OpenAI anuncia outra solução do Prémio Millennium até...?
NOVO
30 set 2026
30 de setembro de 2026
8%
31 de dezembro de 2026
24%
31 de dezembro de 2027
46%
$5,755 Vol.
30 de setembro de 2026
$3,168 Vol.
8%
31 de dezembro de 2026
$2,586 Vol.
24%
31 de dezembro de 2027
$1 Vol.
46%
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
Mercado Aberto: Sep 9, 2026, 12:00 PM ET
Volume
$5,755Data de Término
1 jan 2028Mercado Aberto
Sep 9, 2026, 12:00 PM ETResolver
0x65070BE91...This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.OpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No".
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
Volume
$5,755Data de Término
1 jan 2028Mercado Aberto
Sep 9, 2026, 12:00 PM ETResolver
0x65070BE91...OpenAI’s September 8 announcement that an unreleased internal model, guided by roughly 10,000 autonomous AI agents, produced a Lean-formalized proof resolving the Navier-Stokes existence and smoothness problem has sharply shifted trader sentiment on whether the company will publicly claim another Millennium Prize solution soon. The result demonstrates finite-time singularity formation in smooth fluid flows, marking the first AI-driven solution to a classic Millennium problem and underscoring rapid gains in mathematical reasoning capabilities. Competitive pressure from parallel work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, plus questions over data provenance, has added scrutiny but not overturned the core finding. OpenAI explicitly stated it does not intend to claim the $1 million prize, focusing instead on showcasing model progress, while the broader math community now reviews the write-up and formalization. Upcoming catalysts include any follow-on announcements targeting remaining open problems such as the Riemann Hypothesis or P versus NP before year-end deadlines, alongside potential independent verifications or competing claims from other labs.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · Atualizado
Cuidado com os links externos.
Cuidado com os links externos.
Frequently Asked Questions