AI ラボは別のミレニアム賞ソリューションを発表します...?

対象となる AI ラボ、または対象となる AI ラボの公式代表者が、タイトルで指定された日付の東部時間午後 11 時 59 分までに、対象となるミレニアム賞の問題のいずれかをラボが解決したと発表した場合、このマーケットは「はい」に解決されます。それ以外の場合、このマーケットは「No」に決定されます。

適格問題とは、リーマン仮説、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 ラボおよび/またはその公式代表者からの公式情報となります。ただし、信頼できる報告に関するコンセンサスを使用することもできます。