Il laboratorio di intelligenza artificiale annuncia un'altra soluzione del Premio Millennio di...?

Questo mercato si risolverà in "Sì" se un laboratorio di intelligenza artificiale idoneo, o un rappresentante ufficiale di un laboratorio di intelligenza artificiale idoneo, annuncia che il laboratorio ha risolto uno qualsiasi dei problemi qualificanti del Premio Millennio entro le 23:59 ET della data specificata nel titolo. Altrimenti, questo mercato si risolverà in “No”.

I problemi qualificanti sono l’ipotesi di Riemann, P contro NP, il problema dell’esistenza e del gap di massa di Yang-Mills, la congettura di Hodge e la congettura di Birch e Swinnerton-Dyer (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 esprimere 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.