ルール

タイトルに記載された日付の 23:59 ET までに、対象となるAI研究所、または対象となるAI研究所の公式代表者が、その研究所が対象となるミレニアム懸賞問題のいずれかを解決したと発表した場合、この市場は「はい」で決着します。それ以外の場合、この市場は「いいえ」で決着します。 対象となる問題は、リーマン予想、P対NP問題、ヤン＝ミルズ理論の存在と質量ギャップ問題、ホッジ予想、バーチ・スウィンナートン＝ダイアー予想です（https://www.claymath.org/millennium-problems/）。ナビエ＝ストークス方程式の存在と滑らかさに関する問題についての発表は対象外です。 対象となる発表では、問題が解決されたことを明確に表明する必要があります。部分的な結果や解決に向けた進展の発表は対象外です。発表では、解決策を研究所、その研究者、またはそのモデルの成果として提示する必要があります。単独での成果でも、外部の研究者との共同成果でも構いません。外部の研究者（研究所のモデル、計算資源、または研究クレジットを使用した研究者を含む）に功績を帰したり、祝辞を述べたりするだけの発表は対象外です。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研究所および／またはその公式代表者による公式情報とします。ただし、信頼できる報道の総意を使用する場合もあります。

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