2026 年には、AI はあと何件のミレニアム懸賞問題を解決できるでしょうか?

このマーケットは、適格な AI ラボが 2026 年 12 月 31 日午後 11 時 59 分（東部標準時）までに解決策を発表する、適格なミレニアム賞問題の数に応じて解決されます。

対象となる各問題は、その解決策を発表した対象となる AI ラボの数や発表の数に関係なく、1 回としてカウントされます。

認定問題は、アルファベット順に、バーチ予想とスウィナートン・ダイアー予想、ホッジ予想、P 対 NP、リーマン予想、ヤン・ミルズの存在と質量ギャップの問題です (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 ラボおよび/またはその公式代表者からの公式情報となります。ただし、信頼できる報告に関するコンセンサスを使用することもできます。