Recent announcements have created a tight balance in trader sentiment around OpenAI and Anthropic's race to deliver the next Millennium Prize solution. OpenAI's September 8 release detailed how an unreleased internal model, deploying thousands of AI agents over 88 hours, produced and Lean-formalized a proof of singularity in the Navier-Stokes equations, addressing core statements of one remaining prize problem. However, Anthropic researcher Levent Alpöge, collaborating with NYU's Tristan Buckmaster, released key stepping-stone results on related Euler and Boussinesq problems just hours earlier, developed with help from both companies' large language models. The overlap, including OpenAI's acknowledgment of rumors prompting its focused effort, plus community scrutiny over proof verification and prize eligibility, keeps implied odds near even. Upcoming catalysts include full mathematical peer review, potential formal prize claims, and any follow-on AI-driven resolutions of the remaining problems.
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. · AtualizadoOpenAI vs. Anthropic: Primeiro a ganhar outro Prémio do Milénio?
OpenAI
OpenAI
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.
Mercado Aberto: Sep 9, 2026, 3:42 PM ET
Resolver
0x65070BE91...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.
Resolver
0x65070BE91...Recent announcements have created a tight balance in trader sentiment around OpenAI and Anthropic's race to deliver the next Millennium Prize solution. OpenAI's September 8 release detailed how an unreleased internal model, deploying thousands of AI agents over 88 hours, produced and Lean-formalized a proof of singularity in the Navier-Stokes equations, addressing core statements of one remaining prize problem. However, Anthropic researcher Levent Alpöge, collaborating with NYU's Tristan Buckmaster, released key stepping-stone results on related Euler and Boussinesq problems just hours earlier, developed with help from both companies' large language models. The overlap, including OpenAI's acknowledgment of rumors prompting its focused effort, plus community scrutiny over proof verification and prize eligibility, keeps implied odds near even. Upcoming catalysts include full mathematical peer review, potential formal prize claims, and any follow-on AI-driven resolutions of the remaining problems.
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