OpenAI’s recent demonstration of an internal model directing 10,000 autonomous agents to solve the Navier-Stokes existence and smoothness problem in under four days of compute has established clear momentum, justifying the 64% market-implied probability it will claim the next Millennium Prize solution ahead of Anthropic. The September 8 announcement, backed by Lean formalization and an estimated $15 million effort, showcased capabilities exceeding public models and outpaced concurrent Anthropic-assisted work on the related forced Euler equations by Levent Alpöge and Tristan Buckmaster. Traders weigh OpenAI’s scaled agent infrastructure and rapid iteration against Anthropic’s collaborative progress, with key catalysts including independent mathematical scrutiny of the Navier-Stokes proof and upcoming benchmarks on remaining problems such as the Hodge Conjecture.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedOpenAI
64% chance
NEW
NEW
Dec 31, 2027
OpenAI
64% chance
NEW
NEW
Dec 31, 2027
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s recent demonstration of an internal model directing 10,000 autonomous agents to solve the Navier-Stokes existence and smoothness problem in under four days of compute has established clear momentum, justifying the 64% market-implied probability it will claim the next Millennium Prize solution ahead of Anthropic. The September 8 announcement, backed by Lean formalization and an estimated $15 million effort, showcased capabilities exceeding public models and outpaced concurrent Anthropic-assisted work on the related forced Euler equations by Levent Alpöge and Tristan Buckmaster. Traders weigh OpenAI’s scaled agent infrastructure and rapid iteration against Anthropic’s collaborative progress, with key catalysts including independent mathematical scrutiny of the Navier-Stokes proof and upcoming benchmarks on remaining problems such as the Hodge Conjecture.
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
Market Opened: Sep 9, 2026, 3:42 PM ET
Volume
$2,402End Date
Jan 1, 2028Market Opened
Sep 9, 2026, 3:42 PM ETResolver
0x65070BE91...This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.OpenAI’s recent demonstration of an internal model directing 10,000 autonomous agents to solve the Navier-Stokes existence and smoothness problem in under four days of compute has established clear momentum, justifying the 64% market-implied probability it will claim the next Millennium Prize solution ahead of Anthropic. The September 8 announcement, backed by Lean formalization and an estimated $15 million effort, showcased capabilities exceeding public models and outpaced concurrent Anthropic-assisted work on the related forced Euler equations by Levent Alpöge and Tristan Buckmaster. Traders weigh OpenAI’s scaled agent infrastructure and rapid iteration against Anthropic’s collaborative progress, with key catalysts including independent mathematical scrutiny of the Navier-Stokes proof and upcoming benchmarks on remaining problems such as the Hodge Conjecture.
This market will resolve to "OpenAI" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before Anthropic does so. This market will resolve to "Anthropic" if Anthropic, or an official representative of Anthropic, announces that Anthropic has solved a qualifying Millennium Prize Problem by December 31, 2027, 11:59 PM ET before OpenAI does so.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
If neither company makes a qualifying announcement by December 31, 2027, 11:59 PM ET, or if both make qualifying announcements on the same calendar day, this market will resolve 50-50. A qualifying announcement by any other company does not end the race or affect resolution.
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 the company, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used the company'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 Anthropic and/or their official representatives; however, a consensus of credible reporting may also be used.
Volume
$2,402End Date
Jan 1, 2028Market Opened
Sep 9, 2026, 3:42 PM ETResolver
0x65070BE91...OpenAI’s recent demonstration of an internal model directing 10,000 autonomous agents to solve the Navier-Stokes existence and smoothness problem in under four days of compute has established clear momentum, justifying the 64% market-implied probability it will claim the next Millennium Prize solution ahead of Anthropic. The September 8 announcement, backed by Lean formalization and an estimated $15 million effort, showcased capabilities exceeding public models and outpaced concurrent Anthropic-assisted work on the related forced Euler equations by Levent Alpöge and Tristan Buckmaster. Traders weigh OpenAI’s scaled agent infrastructure and rapid iteration against Anthropic’s collaborative progress, with key catalysts including independent mathematical scrutiny of the Navier-Stokes proof and upcoming benchmarks on remaining problems such as the Hodge Conjecture.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated
Beware of external links.
Beware of external links.
Frequently Asked Questions