- ¿Anunciará Anthropic una solución al Millennium Prize antes de 31 de diciembre de 2026?10¢10 %
- ¿Anunciará Anthropic una solución al Millennium Prize antes de 31 de diciembre de 2027?28¢28 %
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Reglas
Este mercado se resolverá a favor de "Sí" si Anthropic, o un representante oficial de Anthropic, anuncia que Anthropic ha resuelto alguno de los Problemas del Milenio que cumplen los requisitos antes de 23:59 ET de la fecha especificada en el título. De lo contrario, este mercado se resolverá como "No". Los problemas que cumplen los requisitos son la hipótesis de Riemann, P frente a NP, el problema de existencia de Yang-Mills y del salto de masa, la conjetura de Hodge y la conjetura de Birch y Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Los anuncios relativos al problema de existencia y regularidad de Navier-Stokes no cumplirán los requisitos. El anuncio que cumpla los requisitos debe expresar que el problema se ha resuelto; los anuncios de resultados parciales o de avances hacia una solución no cumplirán los requisitos. El anuncio debe presentar la solución como obra de Anthropic, de sus investigadores o de sus modelos, ya sea de forma individual o en colaboración con investigadores externos. No se considerará válido un anuncio que se limite a atribuir el mérito o felicitar a investigadores externos, incluidos aquellos que hayan utilizado los modelos, la capacidad de cálculo o los créditos de investigación de Anthropic. No se requiere ninguna confirmación adicional del Clay Math Institute ni de ninguna otra organización. La principal fuente para resolver este mercado será la información oficial de Anthropic o de sus representantes oficiales; no obstante, también podrá utilizarse un consenso de fuentes informativas fiables.
Traducción automática. En caso de disputa, prevalece el original.