Quanti altri problemi del Premio del Millennio risolverà l’intelligenza artificiale nel 2026?
Questo mercato si risolverà in base al numero di distinti problemi qualificanti del Premio Millennio per i quali un laboratorio di intelligenza artificiale idoneo annuncia una soluzione entro il 31 dicembre 2026, 23:59 ET.
Ogni problema qualificante viene conteggiato una volta, indipendentemente da quanti laboratori di intelligenza artificiale idonei annunciano una soluzione o da quanti annunci vengono fatti.
I problemi qualificanti 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 dell'esistenza e del gap di massa di Yang-Mills (https://www.claymath.org/millennium-problems/). Gli annunci riguardanti l'esistenza e il problema della fluidità di Navier-Stokes non saranno idonei.
Un annuncio qualificante deve essere fatto da un laboratorio di intelligenza artificiale idoneo o da un rappresentante ufficiale del laboratorio e deve indicare che il problema è stato risolto; gli annunci di risultati parziali o di progressi verso una soluzione non saranno validi. L'annuncio deve presentare la soluzione come il lavoro del laboratorio, dei suoi ricercatori o dei suoi modelli, da solo o insieme a ricercatori esterni. Un annuncio che riconosce o si congratula solo con ricercatori esterni, compresi i ricercatori che hanno utilizzato i modelli, i calcoli o i crediti di ricerca del laboratorio, non sarà idoneo. Non è richiesta alcuna ulteriore conferma da parte del Clay Math Institute o di qualsiasi altra organizzazione.
I laboratori AI 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 loro filiali e divisioni di ricerca e qualsiasi altra società con un modello elencato nella classifica MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) al momento dell'annuncio. Gli annunci di qualsiasi altra società, organizzazione o individuo non saranno idonei.
La fonte primaria di risoluzione per questo mercato saranno le informazioni ufficiali provenienti dai laboratori di intelligenza artificiale idonei e/o dai loro rappresentanti ufficiali; tuttavia, è possibile utilizzare anche un consenso su un reporting credibile.
«Quanti altri problemi del Premio del Millennio risolverà l’intelligenza artificiale nel 2026?» è un mercato previsionale su Melbo. Il prezzo di una quota riflette la probabilità dell’esito: sull’esito corretto ogni quota viene regolata a $1, su quello errato a $0.