- Anthropic annuncerà una soluzione a un problema del Millennium Prize entro il 31 dicembre 2026?10¢10%
- Anthropic annuncerà una soluzione a un problema del Millennium Prize entro il 31 dicembre 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.
Regole
Questo mercato si risolverà con "Sì" se Anthropic, o un suo rappresentante ufficiale, annuncia che Anthropic ha risolto uno qualsiasi dei Problemi del Millennio idonei entro le 23:59 ET della data specificata nel titolo. Altrimenti, questo mercato si risolverà su "No". I problemi idonei sono l'ipotesi di Riemann, P contro NP, il problema dell'esistenza di Yang-Mills e del gap di massa, la congettura di Hodge e la congettura di Birch e Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Gli annunci riguardanti il problema dell'esistenza e della regolarità di Navier-Stokes non saranno idonei. Un annuncio idoneo deve dichiarare che il problema è stato risolto; gli annunci di risultati parziali o di progressi verso una soluzione non saranno idonei. L'annuncio deve presentare la soluzione come opera di Anthropic, dei suoi ricercatori o dei suoi modelli, da soli o in collaborazione con ricercatori esterni. Non sarà idoneo un annuncio che si limiti ad attribuire il merito o a congratularsi con ricercatori esterni, compresi quelli che hanno utilizzato i modelli, la capacità di calcolo o i crediti di ricerca di Anthropic. Non è necessaria alcuna ulteriore conferma da parte del Clay Math Institute o di qualsiasi altra organizzazione. La fonte primaria per la risoluzione di questo mercato sarà costituita dalle informazioni ufficiali di Anthropic e/o dei suoi rappresentanti ufficiali; tuttavia, potrà essere utilizzato anche un consenso di resoconti attendibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.