- Hodge Conjectureは、AIによって解かれる次のミレニアム懸賞問題となるでしょうか？37¢37%
- 2027年12月31日までに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研究所が2027年12月31日の23:59 ETまでに解決を発表した、最初のミレニアム懸賞問題に基づいて決済されます。 対象となるAI研究所が2027年12月31日の23:59 ETまでに対象問題の解決を発表しなかった場合、このマーケットは「2027年12月31日までに解決なし」として決済されます。対象となる2つ以上の問題の解決が同じ暦日（ET）に発表された場合、このマーケットは、以下に記載された名前のアルファベット順で最初に来る問題に基づいて決済されます。 対象となる問題はアルファベット順に、Birch・Swinnerton-Dyer予想、Hodge Conjecture、P対NP、リーマン予想、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研究所および／またはその公式代表者による公式情報とします。ただし、信頼できる報道の総意を使用する場合もあります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。