如果符合条件的AI实验室或其官方代表宣布该实验室已在标题中指定日期的美东时间晚上11:59之前解决了任何符合条件的千禧年大奖难题，则本市场将结算为“是”。否则，本市场将结算为“否”。

符合条件的问题包括黎曼猜想、P对NP问题、杨-米尔斯存在性与质量间隙问题、霍奇猜想以及伯奇和斯温纳顿-戴尔猜想（https://www.claymath.org/millennium-problems/）。有关纳维-斯托克斯存在性与光滑性问题的公告不符合条件。

符合条件的公告必须表明问题已被解决；部分结果或朝向解决方案的进展公告不符合条件。公告必须将解决方案呈现为该实验室、其研究人员或其模型的工作，单独或与外部研究人员共同完成。仅归功于或祝贺外部研究人员（包括使用该实验室模型、计算资源或研究积分的研究人员）的公告不符合条件。无需克莱数学研究所或任何其他组织的进一步确认。

符合条件的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）上列出模型的任何其他公司。任何其他公司、组织或个人的公告不符合条件。