2026 年に AI はどの数学の問題を解決するでしょうか?

適格な AI ラボが 2026 年 12 月 31 日午後 11 時 59 分（東部標準時間）までにタイトルで指定された問題の解決策を発表した場合、このマーケットは「はい」に解決されます。それ以外の場合、このマーケットは「No」に決定されます。

適格な発表は、適格な AI ラボまたはラボの公式代表者によって行われ、タイトルで指定された問題が解決されたことを表明する必要があります。部分的な結果や解決に向けた進捗状況の発表は対象外となります。発表では、解決策を研究室、その研究者、またはそのモデルの単独または外部の研究者との共同作業として提示する必要があります。ラボのモデル、コンピューティング、または研究のクレジットを使用した研究者を含む、外部の研究者を称賛したり祝福したりするだけの発表は資格がありません。 Clay Mathematics 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 ラボおよび/またはその公式代表者からの公式情報となります。ただし、信頼できる報告に関するコンセンサスを使用することもできます。