OpenAI’s September 8 announcement that an internal AI system of roughly 10,000 agents produced a Lean-verified proof resolving key statements of the Navier–Stokes existence and smoothness problem has intensified scrutiny of frontier models’ mathematical reasoning. The result, achieved in about 88 hours on an unreleased system more capable than GPT-6 Astra, underscores rapid progress in large language model agents tackling complex proofs, yet explicitly excludes Navier–Stokes from the market’s qualifying problems. Parallel work by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations has fueled direct lab competition, with traders weighing whether OpenAI’s scaled agent approach will next target remaining Millennium problems such as the Riemann Hypothesis or P versus NP. Key near-term catalysts include independent verification of the current proof and any official statements on further internal efforts.
Tóm tắt AI thử nghiệm tham chiếu dữ liệu Polymarket. Đây không phải tư vấn giao dịch và không ảnh hưởng đến cách thị trường này được giải quyết. · Cập nhậtMỚI
$69,934 KL.
Sep 30, 2026
September 30, 2026
34%
December 31, 2026
69%
December 31, 2027
91%
$69,934 KL.
September 30, 2026
$36,752 KL.
34%
December 31, 2026
$25,706 KL.
69%
December 31, 2027
$7,476 KL.
91%
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 internal AI system of roughly 10,000 agents produced a Lean-verified proof resolving key statements of the Navier–Stokes existence and smoothness problem has intensified scrutiny of frontier models’ mathematical reasoning. The result, achieved in about 88 hours on an unreleased system more capable than GPT-6 Astra, underscores rapid progress in large language model agents tackling complex proofs, yet explicitly excludes Navier–Stokes from the market’s qualifying problems. Parallel work by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations has fueled direct lab competition, with traders weighing whether OpenAI’s scaled agent approach will next target remaining Millennium problems such as the Riemann Hypothesis or P versus NP. Key near-term catalysts include independent verification of the current proof and any official statements on further internal 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.
Thị trường mở: Sep 9, 2026, 12:00 PM ET
Khối lượng
$69,934Ngày kết thúc
Jan 1, 2028Thị trường mở
Sep 9, 2026, 12:00 PM ETNgười giải quyết
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 internal AI system of roughly 10,000 agents produced a Lean-verified proof resolving key statements of the Navier–Stokes existence and smoothness problem has intensified scrutiny of frontier models’ mathematical reasoning. The result, achieved in about 88 hours on an unreleased system more capable than GPT-6 Astra, underscores rapid progress in large language model agents tackling complex proofs, yet explicitly excludes Navier–Stokes from the market’s qualifying problems. Parallel work by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations has fueled direct lab competition, with traders weighing whether OpenAI’s scaled agent approach will next target remaining Millennium problems such as the Riemann Hypothesis or P versus NP. Key near-term catalysts include independent verification of the current proof and any official statements on further internal 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.
Khối lượng
$69,934Ngày kết thúc
Jan 1, 2028Thị trường mở
Sep 9, 2026, 12:00 PM ETNgười giải quyết
0x65070BE91...OpenAI’s September 8 announcement that an internal AI system of roughly 10,000 agents produced a Lean-verified proof resolving key statements of the Navier–Stokes existence and smoothness problem has intensified scrutiny of frontier models’ mathematical reasoning. The result, achieved in about 88 hours on an unreleased system more capable than GPT-6 Astra, underscores rapid progress in large language model agents tackling complex proofs, yet explicitly excludes Navier–Stokes from the market’s qualifying problems. Parallel work by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations has fueled direct lab competition, with traders weighing whether OpenAI’s scaled agent approach will next target remaining Millennium problems such as the Riemann Hypothesis or P versus NP. Key near-term catalysts include independent verification of the current proof and any official statements on further internal efforts.
Tóm tắt AI thử nghiệm tham chiếu dữ liệu Polymarket. Đây không phải tư vấn giao dịch và không ảnh hưởng đến cách thị trường này được giải quyết. · Cập nhật
Cẩn thận với liên kết bên ngoài.
Cẩn thận với liên kết bên ngoài.
Câu hỏi thường gặp