2026 年人工智能将解决哪些数学问题？

如果符合条件的人工智能实验室在美国东部时间 2026 年 12 月 31 日晚上 11:59 之前宣布针对标题中指定问题的解决方案，则该市场将决定“是”。否则，这个市场将会做出“不”的决定。

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

符合条件的人工智能实验室包括 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) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。

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