人工智能实验室宣布另一个千年奖解决方案......？

如果符合条件的人工智能实验室或符合条件的人工智能实验室的官方代表宣布该实验室已在标题中指定的日期美国东部时间晚上 11:59 解决了任何符合条件的千年奖问题，则该市场将决定“是”。否则，这个市场将会做出“不”的决定。

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

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

符合条件的人工智能实验室包括 Anthropic、Google、SpaceXAI、阿里巴巴、OpenAI、百度、Z.ai、小米、Moonshot、Meta、Nvidia、DeepSeek、MiniMax、美团、亚马逊、字节跳动、Mistral、腾讯、StepFun、微软、Harmonic、Axiom Math、Math Inc、Safe Superintelligence、Thinking Machines Lab、Reflection AI、Periodic Labs、Apple、IBM、华为、三星、Oracle、Salesforce、Cohere、 AI21 Labs、Reka、Sakana AI、Poolside、Magic、Perplexity、Anysphere、快手、商汤科技、科大讯飞、百川和 01.AI 及其子公司和研究部门，以及在发布公告时模型已列入 MMLU-pro 排行榜 (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。

该市场的主要解决来源将是来自合格人工智能实验室和/或其官方代表的官方信息；然而，也可以使用可信报告的共识。