ルール

この市場は、資格を有するAI研究所が2026年12月31日 23:59 ETまでに解決を発表した、異なる対象ミレニアム懸賞問題の数に基づいて決済されます。 対象となる各問題は、解決を発表する資格を有するAI研究所の数や発表回数にかかわらず、1回だけ数えられます。 対象となる問題はアルファベット順に、Birch・Swinnerton-Dyer予想、Hodge予想、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研究所および／またはその公式代表者による公式情報とします。ただし、信頼できる報道の総意を使用する場合もあります。

機械翻訳です。解釈に相違がある場合は原文が優先されます。