
Questo mercato si risolverà in "Sì" se un laboratorio di intelligenza artificiale idoneo annuncia una soluzione al problema specificato nel titolo entro il 31 dicembre 2026, 23:59 ET. Altrimenti, questo mercato si risolverà in “No”.
Un annuncio di qualificazione deve essere fatto da un laboratorio di intelligenza artificiale idoneo o da un rappresentante ufficiale del laboratorio e deve indicare che il problema specificato nel titolo è 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 Mathematics 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.
«Quali problemi di matematica 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.