Regole

Questo mercato sarà risolto in base al numero di distinti Problemi del Millennio idonei per i quali un laboratorio di IA idoneo annuncia una soluzione entro 31 dicembre 2026 alle 23:59 ET. Ogni problema idoneo viene conteggiato una sola volta, indipendentemente dal numero di laboratori di IA idonei che ne annunciano una soluzione o dal numero di annunci pubblicati. I problemi idonei sono, in ordine alfabetico, la congettura di Birch e Swinnerton-Dyer, la congettura di Hodge, P contro NP, l'ipotesi di Riemann e il problema di esistenza di Yang-Mills e del gap di massa (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 essere fatto da un laboratorio di IA idoneo o da un suo rappresentante ufficiale e 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.