Recent announcements around the Navier-Stokes existence and smoothness problem have created a near-even split in trader sentiment, with Anthropic holding a slim 50.5% edge. OpenAI detailed how an unreleased internal model directed roughly 10,000 AI agents over 88 hours to produce a formal proof of finite-time singularity, verified in Lean, though the company stated it will not claim the $1 million prize. Concurrently, Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster released results on related Euler and Boussinesq systems using large language models from both labs, positioning their work as key stepping stones. Uncertainty over official Clay Institute recognition, mathematical scrutiny of the proofs, and questions of priority or data influence keep the contest balanced ahead of further verification and potential joint or independent resolutions.
Экспериментальная сводка, созданная ИИ на основе данных Polymarket. Это не является торговой рекомендацией и не влияет на то, как разрешается этот рынок. · ОбновленоOpenAI vs. Anthropic: от первого до очередного приза тысячелетия?
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.
Открытие рынка: Sep 9, 2026, 3:42 PM ET
Кто определяет исход
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.
Кто определяет исход
0x65070BE91...Recent announcements around the Navier-Stokes existence and smoothness problem have created a near-even split in trader sentiment, with Anthropic holding a slim 50.5% edge. OpenAI detailed how an unreleased internal model directed roughly 10,000 AI agents over 88 hours to produce a formal proof of finite-time singularity, verified in Lean, though the company stated it will not claim the $1 million prize. Concurrently, Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster released results on related Euler and Boussinesq systems using large language models from both labs, positioning their work as key stepping stones. Uncertainty over official Clay Institute recognition, mathematical scrutiny of the proofs, and questions of priority or data influence keep the contest balanced ahead of further verification and potential joint or independent resolutions.
Экспериментальная сводка, созданная ИИ на основе данных Polymarket. Это не является торговой рекомендацией и не влияет на то, как разрешается этот рынок. · Обновлено



Не доверяй внешним ссылкам.
Не доверяй внешним ссылкам.
Часто задаваемые вопросы