- Sarà Hodge Conjecture il prossimo problema del millennio risolto da un'IA?37¢37%
- Nessun problema del millennio sarà risolto dall’IA entro 31 dicembre 2027?35¢35%
- La congettura di Birch and Swinnerton-Dyer sarà il prossimo Problema del Millennio risolto dall’IA?17¢17%
- Il problema di esistenza e gap di massa di Yang-Mills sarà il prossimo Problema del Millennio a essere risolto dall’IA?10¢10%
- Sarà P versus NP il prossimo problema del millennio risolto dall’IA?2¢2%
- Sarà Riemann Hypothesis il prossimo problema del millennio risolto da un'IA?2¢2%
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Regole
Questo mercato sarà risolto in base al primo Problema del Millennio idoneo per il quale un laboratorio di IA idoneo annuncia una soluzione entro il 31 dicembre 2027, alle 23:59 ET. Se nessun laboratorio di IA idoneo annuncia una soluzione a un problema idoneo entro il 31 dicembre 2027, alle 23:59 ET, questo mercato sarà risolto con "Nessuna soluzione entro il 31 dicembre 2027". Se le soluzioni a due o più problemi idonei vengono annunciate nello stesso giorno di calendario (ET), questo mercato sarà risolto a favore del problema il cui nome, come indicato nell'elenco sottostante, viene prima in ordine alfabetico. I problemi che soddisfano i requisiti sono, in ordine alfabetico, la congettura di Birch e Swinnerton-Dyer, la Hodge Conjecture, P contro NP, l'ipotesi di Riemann e il problema di esistenza di Yang-Mills e del gap di massa (https://www.claymath.org/millennium-problems/). Gli annunci riguardanti il problema dell'esistenza e della regolarità di Navier-Stokes non saranno idonei. Un annuncio idoneo deve essere fatto da un laboratorio di IA idoneo o da un suo rappresentante ufficiale e deve dichiarare che il problema è stato risolto; gli annunci di risultati parziali o di progressi verso una soluzione non saranno idonei. L'annuncio deve presentare la soluzione come opera del laboratorio, dei suoi ricercatori o dei suoi modelli, da soli o in collaborazione con ricercatori esterni. Non sarà idoneo un annuncio che si limiti ad attribuire il merito o a congratularsi con ricercatori esterni, compresi quelli che hanno utilizzato i modelli, la capacità di calcolo o i crediti di ricerca del laboratorio. Non è necessaria alcuna ulteriore conferma da parte del Clay Math Institute o di qualsiasi altra organizzazione. I laboratori di IA 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 rispettive controllate e divisioni di ricerca, nonché qualsiasi altra azienda con un modello presente nella classifica MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) al momento dell'annuncio. Gli annunci di qualsiasi altra azienda, organizzazione o persona non saranno idonei. La fonte primaria per la risoluzione di questo mercato sarà costituita dalle informazioni ufficiali dei laboratori di IA idonei e/o dei loro rappresentanti ufficiali; tuttavia, potrà essere utilizzato anche il consenso di fonti giornalistiche credibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.