OpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents, produced a Lean-verified proof of finite-time singularity in the three-dimensional Navier-Stokes equations has sharply shifted trader views on the likelihood of further Millennium Prize announcements. The result resolves two of the four official statements for that problem—the second such prize problem solved after the Poincaré Conjecture—while OpenAI stressed it will not claim the $1 million award and framed the effort as evidence of rapid model progress. Controversy over possible indirect influence from unpublished work by mathematicians Tristan Buckmaster and Levent Alpöge on related Euler equations adds uncertainty, yet the public Lean formalization enables independent scrutiny. Mathematicians and the Clay Mathematics Institute will now rigorously evaluate the proof, a process that historically takes years, while rival labs intensify similar AI-driven math efforts.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · ОновленоOpenAI announces another Millennium Prize solution by...?
OpenAI announces another Millennium Prize solution by...?
НОВЕ
$12,772 Обс.
Sep 30, 2026
September 30, 2026
13%
December 31, 2026
29%
December 31, 2027
62%
$12,772 Обс.
September 30, 2026
$7,722 Обс.
13%
December 31, 2026
$4,152 Обс.
29%
December 31, 2027
$898 Обс.
62%
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, coordinating roughly 10,000 AI agents, produced a Lean-verified proof of finite-time singularity in the three-dimensional Navier-Stokes equations has sharply shifted trader views on the likelihood of further Millennium Prize announcements. The result resolves two of the four official statements for that problem—the second such prize problem solved after the Poincaré Conjecture—while OpenAI stressed it will not claim the $1 million award and framed the effort as evidence of rapid model progress. Controversy over possible indirect influence from unpublished work by mathematicians Tristan Buckmaster and Levent Alpöge on related Euler equations adds uncertainty, yet the public Lean formalization enables independent scrutiny. Mathematicians and the Clay Mathematics Institute will now rigorously evaluate the proof, a process that historically takes years, while rival labs intensify similar AI-driven math efforts.
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.
Ринок відкрито: Sep 9, 2026, 12:00 PM ET
Обсяг
$12,772Дата завершення
Jan 1, 2028Ринок відкрито
Sep 9, 2026, 12:00 PM ETВирішувач
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, coordinating roughly 10,000 AI agents, produced a Lean-verified proof of finite-time singularity in the three-dimensional Navier-Stokes equations has sharply shifted trader views on the likelihood of further Millennium Prize announcements. The result resolves two of the four official statements for that problem—the second such prize problem solved after the Poincaré Conjecture—while OpenAI stressed it will not claim the $1 million award and framed the effort as evidence of rapid model progress. Controversy over possible indirect influence from unpublished work by mathematicians Tristan Buckmaster and Levent Alpöge on related Euler equations adds uncertainty, yet the public Lean formalization enables independent scrutiny. Mathematicians and the Clay Mathematics Institute will now rigorously evaluate the proof, a process that historically takes years, while rival labs intensify similar AI-driven math efforts.
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.
Обсяг
$12,772Дата завершення
Jan 1, 2028Ринок відкрито
Sep 9, 2026, 12:00 PM ETВирішувач
0x65070BE91...OpenAI’s September 8 announcement that an unreleased internal model, coordinating roughly 10,000 AI agents, produced a Lean-verified proof of finite-time singularity in the three-dimensional Navier-Stokes equations has sharply shifted trader views on the likelihood of further Millennium Prize announcements. The result resolves two of the four official statements for that problem—the second such prize problem solved after the Poincaré Conjecture—while OpenAI stressed it will not claim the $1 million award and framed the effort as evidence of rapid model progress. Controversy over possible indirect influence from unpublished work by mathematicians Tristan Buckmaster and Levent Alpöge on related Euler equations adds uncertainty, yet the public Lean formalization enables independent scrutiny. Mathematicians and the Clay Mathematics Institute will now rigorously evaluate the proof, a process that historically takes years, while rival labs intensify similar AI-driven math efforts.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · Оновлено
Обережно з зовнішніми посиланнями.
Обережно з зовнішніми посиланнями.
Часті запитання