次に AI が解決するミレニアム懸賞問題はどれでしょうか?

この市場は、適格な AI ラボが 2027 年 12 月 31 日午後 11 時 59 分（東部標準時）までに解決策を発表する、最初の適格なミレニアム賞問題に従って解決されます。

適格な AI ラボが 2027 年 12 月 31 日午後 11 時 59 分（東部標準時間）までに適格な問題の解決策を発表しない場合、この市場は「2027 年 12 月 31 日までに解決策なし」で解決されます。 2 つ以上の適格な問題に対する解決策が同じ暦日 (ET) に発表された場合、この市場は、以下にリストされている名前がアルファベット順で最初に来る問題を解決します。

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