- क्या Hodge Conjecture AI द्वारा हल की जाने वाली अगली मिलेनियम प्राइज़ समस्या होगी?37¢37%
- क्या 31 दिसंबर 2027 तक AI द्वारा मिलेनियम पुरस्कार की कोई समस्या हल नहीं की जाएगी?35¢35%
- क्या Birch and Swinnerton-Dyer अनुमान AI द्वारा हल की जाने वाली अगली मिलेनियम प्राइज़ समस्या होगी?17¢17%
- क्या Yang-Mills का अस्तित्व और मास गैप वाला प्रश्न AI द्वारा हल की जाने वाली अगली मिलेनियम प्राइज़ समस्या होगा?10¢10%
- क्या P versus NP AI द्वारा हल की जाने वाली अगली मिलेनियम प्राइज़ समस्या होगी?2¢2%
- क्या Riemann Hypothesis AI द्वारा हल की जाने वाली अगली मिलेनियम प्राइज़ समस्या होगी?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.
नियम
यह मार्केट उस पहले मिलेनियम पुरस्कार समस्या के अनुसार तय होगा, जिसके लिए कोई पात्र AI लैब 31 दिसंबर 2027, 11:59 pm ET तक समाधान की घोषणा करती है। यदि कोई पात्र AI लैब 31 दिसंबर 2027, 11:59 pm ET तक किसी पात्र समस्या का समाधान घोषित नहीं करती है, तो यह मार्केट "31 दिसंबर 2027 तक कोई समाधान नहीं" के रूप में तय होगा। यदि दो या अधिक पात्र समस्याओं के समाधान की घोषणा एक ही कैलेंडर दिन (ET) पर की जाती है, तो यह मार्केट उस समस्या के पक्ष में तय होगा जिसका नाम, नीचे दी गई सूची के अनुसार, वर्णानुक्रम में सबसे पहले आता है। पात्र समस्याएँ वर्णानुक्रम में हैं: Birch और Swinnerton-Dyer अनुमान, Hodge Conjecture, P बनाम NP, Riemann परिकल्पना, और Yang-Mills अस्तित्व तथा मास गैप समस्या (https://www.claymath.org/millennium-problems/)। नावियर-स्टोक्स अस्तित्व और स्मूथनेस समस्या से संबंधित घोषणाएँ पात्र नहीं होंगी। पात्र घोषणा किसी पात्र AI लैब या लैब के आधिकारिक प्रतिनिधि द्वारा की जानी चाहिए और उसमें यह व्यक्त होना चाहिए कि समस्या हल कर दी गई है; आंशिक परिणामों या समाधान की दिशा में हुई प्रगति की घोषणाएँ पात्रता की शर्तें पूरी नहीं करेंगी। घोषणा में समाधान को लैब, उसके शोधकर्ताओं या उसके मॉडलों का काम बताया जाना चाहिए—चाहे उन्होंने अकेले काम किया हो या बाहरी शोधकर्ताओं के साथ मिलकर। ऐसी घोषणा पात्र नहीं होगी जो केवल बाहरी शोधकर्ताओं को श्रेय दे या उन्हें बधाई दे; इसमें वे शोधकर्ता भी शामिल हैं जिन्होंने लैब के मॉडल, कंप्यूटिंग संसाधनों या शोध क्रेडिट का उपयोग किया हो। Clay Math Institute या किसी अन्य संगठन से अतिरिक्त पुष्टि आवश्यक नहीं है। पात्र AI लैब हैं 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 और 01.AI; इसमें उनकी सहायक कंपनियाँ और अनुसंधान विभाग भी शामिल हैं। इसके अलावा, घोषणा के समय MMLU-pro लीडरबोर्ड (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) पर जिसका मॉडल सूचीबद्ध हो, ऐसी कोई भी अन्य कंपनी पात्र होगी। किसी अन्य कंपनी, संगठन या व्यक्ति की घोषणाएँ पात्र नहीं होंगी। इस बाज़ार के निपटान का प्राथमिक स्रोत पात्र AI लैब और/या उनके आधिकारिक प्रतिनिधियों से मिली आधिकारिक जानकारी होगी; हालांकि, विश्वसनीय समाचार रिपोर्टिंग की सहमति का भी उपयोग किया जा सकता है।
मशीन अनुवाद। विवाद की स्थिति में मूल पाठ मान्य होगा।