Quali problemi di matematica risolverà l’intelligenza artificiale nel 2026?

Quali problemi di matematica risolverà l’intelligenza artificiale nel 2026?

$62K volume·до 1 gen 2027
ESITIPROBABILITÀ · PREZZO
Ipotesi di Riemann$6K volume0123456789%
PrezzoQuoteTotale
P contro NP$2K volume0123456789%
Yang-Mills$1K volume0123456789%
Congettura di Hodge$17K volume01234567890123456789%
Betulla e Swinnerton-Dyer$13K volume01234567890123456789%+1 pp
Congettura di Collatz$2K volume0123456789%
Congettura forte di Goldbach$3K volume0123456789%
Congettura dei primi gemelli$971 volume0123456789%
Numero perfetto dispari$2K volume0123456789%
La congettura di Legendre$1K volume0123456789%
Problema di Hadwiger-Nelson$3K volume01234567890123456789%
Congettura della matrice di Hadamard$5K volume01234567890123456789%
La congettura di Beal$3K volume01234567890123456789%
Numero Ramsey R(5,5)$1K volume01234567890123456789%

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.

✓Mercato aperto al trading
Esito proposto
Revisione finale
Domande e risposte

«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.

Quali problemi di matematica risolverà l’intelligenza artificiale nel 2026? · Melbo