2026 年人工智能还将解决多少个千年奖问题？

该市场将根据符合条件的人工智能实验室在美国东部时间 2026 年 12 月 31 日晚上 11:59 之前宣布解决方案的不同合格千年奖问题的数量来解决。

每个合格的问题都计算一次，无论有多少个合格的人工智能实验室宣布了解决方案或发布了多少个公告。

按字母顺序排列，合格问题包括 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) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。

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