人工智能接下来将解决哪个千年奖问题？

该市场将根据第一个合格的千年奖问题进行解决，合格的人工智能实验室将在美国东部时间 2027 年 12 月 31 日晚上 11:59 之前宣布解决方案。

如果没有合格的人工智能实验室在美国东部时间 2027 年 12 月 31 日晚上 11:59 之前宣布合格问题的解决方案，则该市场将决定“2027 年 12 月 31 日之前没有解决方案”。如果两个或多个资格问题的解决方案在同一日历日 (ET) 上公布，则该市场将解决其名称（如下所列）按字母顺序排在第一位的问题。

按字母顺序排列，合格问题包括 Birch 和 Swinnerton-Dyer 猜想、Hodge 猜想、P 与 NP、黎曼猜想以及 Yang-Mills 存在性和质量间隙问题 (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) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。

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