Which Millennium Prize Problem will AI solve next?
关于「AI 接下来会解决哪个千禧年大奖难题？」
目前「No solution by Dec 31, 2027」领先，概率 31%（一周前 35%）。总成交 $285K，近 24 小时 $8K。流动性 $43K。预计于 2027/12/31（美东时间）截止。
规则
该市场将根据第一个合格的千年奖问题进行解决，合格的 AI 实验室将在 2027 年 12 月 31 日 11:59 PM ET 之前宣布解决方案。 如果没有合格的 AI 实验室在 2027 年 12 月 31 日 11:59 PM ET 之前宣布合格问题的解决方案，则该市场将解决「到 2027 年 12 月 31 日没有解决方案」。如果两个或多个资格问题的解决方案在同一日历日（ET）公布，则该市场将解决其名称（如下所列）按字母顺序排在第一位的问题。 按字母顺序排列，合格问题包括伯奇和斯温纳顿-戴尔猜想、霍奇猜想、P 与 NP、黎曼猜想以及杨-米尔斯存在性和质量间隙问题 (https://www.claymath.org/millennium-problems/)。有关纳维-斯托克斯存在性和平滑性问题的公告不符合资格。 合格声明必须由合格的AI实验室或该实验室的官方代表发布，并且必须表明问题已解决；公布部分结果或解决方案的进展不符合资格。公告必须将解决方案呈现为实验室、其研究人员或其模型的工作成果，单独或与外部研究人员共同完成。 仅表彰或祝贺外部研究人员（包括使用实验室模型、计算或研究学分的研究人员）的公告不符合资格。不需要克莱数学研究所或任何其他组织的进一步确认。 符合资格的 AI 实验室为 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、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) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。 该市场的主要解决来源将是来自合格 AI 实验室和/或其官方代表的官方信息；然而，也可以使用可信赖报告的共识。
Birch and Swinnerton-Dyer
Birch and Swinnerton-Dyer
关于「AI 接下来会解决哪个千禧年大奖难题？」
目前「No solution by Dec 31, 2027」领先，概率 31%（一周前 35%）。总成交 $285K，近 24 小时 $8K。流动性 $43K。预计于 2027/12/31（美东时间）截止。
规则
该市场将根据第一个合格的千年奖问题进行解决，合格的 AI 实验室将在 2027 年 12 月 31 日 11:59 PM ET 之前宣布解决方案。 如果没有合格的 AI 实验室在 2027 年 12 月 31 日 11:59 PM ET 之前宣布合格问题的解决方案，则该市场将解决「到 2027 年 12 月 31 日没有解决方案」。如果两个或多个资格问题的解决方案在同一日历日（ET）公布，则该市场将解决其名称（如下所列）按字母顺序排在第一位的问题。 按字母顺序排列，合格问题包括伯奇和斯温纳顿-戴尔猜想、霍奇猜想、P 与 NP、黎曼猜想以及杨-米尔斯存在性和质量间隙问题 (https://www.claymath.org/millennium-problems/)。有关纳维-斯托克斯存在性和平滑性问题的公告不符合资格。 合格声明必须由合格的AI实验室或该实验室的官方代表发布，并且必须表明问题已解决；公布部分结果或解决方案的进展不符合资格。公告必须将解决方案呈现为实验室、其研究人员或其模型的工作成果，单独或与外部研究人员共同完成。 仅表彰或祝贺外部研究人员（包括使用实验室模型、计算或研究学分的研究人员）的公告不符合资格。不需要克莱数学研究所或任何其他组织的进一步确认。 符合资格的 AI 实验室为 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、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) 的任何其他公司。任何其他公司、组织或个人的公告均不符合资格。 该市场的主要解决来源将是来自合格 AI 实验室和/或其官方代表的官方信息；然而，也可以使用可信赖报告的共识。
先选择一个市场
从左侧列表点击一个市场，这里会显示它的订单簿和交易面板。
从左侧选择市场后显示。