OpenAI’s rapid deployment of thousands of AI agents on an unreleased model to resolve the Navier-Stokes existence and smoothness problem in 88 hours has driven recent trader sentiment, yet the 50% market-implied odds reflect significant uncertainty from concurrent work by Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster. Their AI-assisted progress on related fluid-dynamics stepping stones, announced hours earlier using models from both labs, sparked disputes over credit and research direction. Both companies have demonstrated strong large language model capabilities in formal verification and open problems—OpenAI via agent scaling and Anthropic through recent Lean formalizations like Fermat’s Last Theorem—leaving the edge dependent on Clay Institute scrutiny, proof validation, and which lab next claims a remaining Millennium Prize.
Eksperymentalne podsumowanie AI odwołujące się do danych Polymarket. To nie jest porada handlowa i nie ma wpływu na rozstrzyganie tego rynku. · ZaktualizowanoOpenAI vs. Anthropic: First to another Millennium Prize?
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.
Rynek otwarty: Sep 9, 2026, 3:42 PM ET
Rozstrzygający
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.
Rozstrzygający
0x65070BE91...OpenAI’s rapid deployment of thousands of AI agents on an unreleased model to resolve the Navier-Stokes existence and smoothness problem in 88 hours has driven recent trader sentiment, yet the 50% market-implied odds reflect significant uncertainty from concurrent work by Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster. Their AI-assisted progress on related fluid-dynamics stepping stones, announced hours earlier using models from both labs, sparked disputes over credit and research direction. Both companies have demonstrated strong large language model capabilities in formal verification and open problems—OpenAI via agent scaling and Anthropic through recent Lean formalizations like Fermat’s Last Theorem—leaving the edge dependent on Clay Institute scrutiny, proof validation, and which lab next claims a remaining Millennium Prize.
Eksperymentalne podsumowanie AI odwołujące się do danych Polymarket. To nie jest porada handlowa i nie ma wpływu na rozstrzyganie tego rynku. · Zaktualizowano



Uważaj na linki zewnętrzne.
Uważaj na linki zewnętrzne.
Często zadawane pytania