OpenAI’s September 8 announcement that an internal model, far more capable than GPT-6 Astra, coordinated roughly 10,000 AI agents to produce a verified Lean formalization of a Navier-Stokes singularity has sharply raised trader expectations for rapid follow-on claims. The effort, estimated at $10–15 million in compute, resolved two official Millennium Prize statements on fluid blowup and was released alongside concurrent work by Anthropic’s Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. While OpenAI explicitly declined to claim the $1 million prize and framed the result as a capability demonstration, the Clay Mathematics Institute’s rigorous review process and lingering questions over potential use of unpublished research create uncertainty around how quickly additional problems can be tackled. Remaining barriers include verification timelines for the current proof and the scale of resources needed to attack the five unsolved Millennium Problems.
สรุปจาก AI ทดลองที่อ้างอิงข้อมูลจาก Polymarket ไม่ใช่คำแนะนำในการเทรดและไม่มีผลต่อการตัดสินตลาดนี้ · อัปเดตแล้วใหม่
$11,407 ปริมาณ
Sep 30, 2026
September 30, 2026
12%
December 31, 2026
30%
December 31, 2027
68%
$11,407 ปริมาณ
September 30, 2026
$7,372 ปริมาณ
12%
December 31, 2026
$3,377 ปริมาณ
30%
December 31, 2027
$657 ปริมาณ
68%
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 model, far more capable than GPT-6 Astra, coordinated roughly 10,000 AI agents to produce a verified Lean formalization of a Navier-Stokes singularity has sharply raised trader expectations for rapid follow-on claims. The effort, estimated at $10–15 million in compute, resolved two official Millennium Prize statements on fluid blowup and was released alongside concurrent work by Anthropic’s Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. While OpenAI explicitly declined to claim the $1 million prize and framed the result as a capability demonstration, the Clay Mathematics Institute’s rigorous review process and lingering questions over potential use of unpublished research create uncertainty around how quickly additional problems can be tackled. Remaining barriers include verification timelines for the current proof and the scale of resources needed to attack the five unsolved Millennium Problems.
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
ปริมาณการซื้อขาย
$11,407วันสิ้นสุด
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 internal model, far more capable than GPT-6 Astra, coordinated roughly 10,000 AI agents to produce a verified Lean formalization of a Navier-Stokes singularity has sharply raised trader expectations for rapid follow-on claims. The effort, estimated at $10–15 million in compute, resolved two official Millennium Prize statements on fluid blowup and was released alongside concurrent work by Anthropic’s Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. While OpenAI explicitly declined to claim the $1 million prize and framed the result as a capability demonstration, the Clay Mathematics Institute’s rigorous review process and lingering questions over potential use of unpublished research create uncertainty around how quickly additional problems can be tackled. Remaining barriers include verification timelines for the current proof and the scale of resources needed to attack the five unsolved Millennium Problems.
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.
ปริมาณการซื้อขาย
$11,407วันสิ้นสุด
Jan 1, 2028ตลาดเปิดเมื่อ
Sep 9, 2026, 12:00 PM ETผู้ตัดสินผล
0x65070BE91...OpenAI’s September 8 announcement that an internal model, far more capable than GPT-6 Astra, coordinated roughly 10,000 AI agents to produce a verified Lean formalization of a Navier-Stokes singularity has sharply raised trader expectations for rapid follow-on claims. The effort, estimated at $10–15 million in compute, resolved two official Millennium Prize statements on fluid blowup and was released alongside concurrent work by Anthropic’s Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. While OpenAI explicitly declined to claim the $1 million prize and framed the result as a capability demonstration, the Clay Mathematics Institute’s rigorous review process and lingering questions over potential use of unpublished research create uncertainty around how quickly additional problems can be tackled. Remaining barriers include verification timelines for the current proof and the scale of resources needed to attack the five unsolved Millennium Problems.
สรุปจาก AI ทดลองที่อ้างอิงข้อมูลจาก Polymarket ไม่ใช่คำแนะนำในการเทรดและไม่มีผลต่อการตัดสินตลาดนี้ · อัปเดตแล้ว
ระวังลิงก์ภายนอก
ระวังลิงก์ภายนอก
คำถามที่พบบ่อย