- Un laboratorio di IA annuncerà un’altra soluzione a un Problema del Millennio entro il 31 dicembre 2026?20¢20%
- Un laboratorio di IA annuncerà un’altra soluzione a un Problema del Millennio entro il 31 dicembre 2027?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Regole
Questo mercato si risolverà su "Sì" se un laboratorio di IA idoneo, o un rappresentante ufficiale di un laboratorio di IA idoneo, annuncia che il laboratorio ha risolto uno qualsiasi dei Problemi del Millennio idonei entro le 23:59 ET della data indicata 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 del laboratorio, 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 del laboratorio. Non è necessaria alcuna ulteriore conferma da parte del Clay Math Institute o di qualsiasi altra organizzazione. I laboratori di IA idonei sono Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan e 01.AI, insieme alle rispettive controllate e divisioni di ricerca, nonché qualsiasi altra azienda con un modello presente nella classifica MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) al momento dell'annuncio. Gli annunci di qualsiasi altra azienda, organizzazione o persona non saranno idonei. La fonte primaria per la risoluzione di questo mercato sarà costituita dalle informazioni ufficiali dei laboratori di IA idonei e/o dei loro rappresentanti ufficiali; tuttavia, potrà essere utilizzato anche il consenso di fonti giornalistiche credibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.