Quale sarà il prossimo problema del Premio del Millennio risolto dall’intelligenza artificiale?

Questo mercato si risolverà in base al primo Problema del Premio del Millennio qualificante per il quale un laboratorio di intelligenza artificiale idoneo annuncia una soluzione entro il 31 dicembre 2027, 23:59 ET.

Se nessun laboratorio di intelligenza artificiale idoneo annuncia una soluzione a un problema qualificante entro il 31 dicembre 2027, 23:59 ET, questo mercato si risolverà in "Nessuna soluzione entro il 31 dicembre 2027". Se le soluzioni a due o più problemi qualificanti vengono annunciate nello stesso giorno di calendario (ET), questo mercato risolverà il problema il cui nome, come elencato di seguito, viene per primo in ordine alfabetico.

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.