合约如何运作
这份合约对应一个明确的是非问题：如果到2026年12月31日美东时间晚上11点59分之前，某个AI实验室或其官方代表公开宣布完整解决了五个合格千禧年难题中的至少一个，并将成果归功于自己的研究人员或模型，合约在结算时价值1美元；如果没有发生，合约价值归零。价格本身就是市场当前对这一事件发生概率的共识，例如价格处于0.30，意味着市场认为大约十次中有三次会发生，这只是说明价格含义的例子，并非本市场当前的实际价格。公告若只声称“部分进展”而非完整证明，或仅归功于外部研究者而非实验室自身团队，均不满足结算条件。纳维-斯托克斯方程相关公告也被明确排除。持有者在到期前的任何时间都可以按当时的价格卖出持仓，不必等到最终结算。
是19%
否81%
概率
价格如何变动
目前该事件市场仅在Polymarket一个平台交易，共识价格约为19%，总交易量约41,641美元，相较于其他科技类事件市场规模较小。由于缺乏多平台对照和公开报道的价格波动节点，无法确认近期价格经历了显著的单一事件驱动，交易量偏低也意味着少量买卖即可对价格产生可观影响，这使得当前价格更应被理解为少数参与者的粗略共识，而非大规模市场充分定价的结果。
分析
背景
千禧年大奖难题由克莱数学研究所（Clay Mathematics Institute）于2000年设立，共七题，每题悬赏100万美元，迄今只有庞加莱猜想在2003年由格里戈里·佩雷尔曼解决并获确认。本次市场覆盖的五个仍未解决的题目包括：Birch与Swinnerton-Dyer猜想、Hodge猜想、P与NP问题、黎曼假设、杨-米尔斯存在性与质量间隙，纳维-斯托克斯方程问题被明确排除在外。
近两年，DeepMind的AlphaProof、OpenAI等公司的模型在国际数学奥林匹克竞赛（IMO）题目上取得接近金牌水平的成绩，引发外界关于AI能否进一步攻克开放性数学难题的讨论。但IMO题目是已有解答、用于检验能力的竞赛题，与从未被证明的百年猜想在性质上不同。
这一事件市场正是围绕这种讨论设立：交易的标的不在于AI数学能力是否提升，而在于是否会在2026年12月31日前出现一次被实验室公开认领、声称完整解决某一具体千禧年难题的公告。
该市场目前的共识价格约为19%，交易量约41,641美元，且全部集中在单一交易平台Polymarket上。相对于其他科技类事件市场，这一交易量规模较小，意味着价格对少量买卖单的敏感度更高，作为群体判断的参考价值也相对有限，但仍是目前唯一可观察的定价信号。
支撑较低概率的核心事实是历史基准：七个千禧年难题自2000年设立以来，只有庞加莱猜想在2003年被解决，距今已逾二十年未有第二例。黎曼假设自1859年提出至今未解，P与NP问题自1971年正式提出，杨-米尔斯存在性与质量间隙问题所涉及的量子场论严格数学基础自1950年代起悬而未决。这些问题并非缺乏关注或计算资源，而是涉及人类数学界尚未找到的根本性新方法，AI模型即便具备强大的模式匹配与形式化推理能力，距离独立提出全新证明思路仍有明显差距。
另一方面，AI在数学领域的进展速度本身构成一个不可忽视的变量。AlphaProof在2024年国际数学奥林匹克竞赛中达到银牌水平的表现，以及此后多家实验室声称模型在形式化证明任务上持续改进，说明这一领域的能力曲线并非停滞。但竞赛题目有已知解法可供模型学习和验证，开放性猜想没有这样的参照系，二者跨越的难度量级不同，这也是市场价格没有随AI数学能力的新闻而大幅上涨的原因之一。
结算机制本身也压低了概率：规则要求公告必须声称“完整解决”而非阶段性突破，且必须将成果归功于实验室自身的研究人员或模型。即便某团队在2026年内声称证明了某一猜想，数学界对此类重大证明的同行评审和验证通常需要数月乃至数年时间，例如历史上对佩雷尔曼证明庞加莱猜想的正式确认就经过了数年审核。2026年12月31日美东时间午夜的硬性截止日期，意味着即使有初步声明，能否在市场结算前获得业内基本认可也存在不确定性。
影响概率的因素
AI数学能力的持续进展
AlphaProof等模型在国际数学奥林匹克竞赛题目上已接近金牌水平，显示形式化推理能力在快速提升，这对概率构成向上的推力。但竞赛题目有已知答案可供训练和验证，与证明从未解决的开放猜想存在本质差异，因此这一驱动力的实际影响有限。
难题本身的历史难度
五个合格题目分别悬而未决五十年到一百六十余年不等，是对概率最强的下行压力。自2000年至今，七个千禧年难题中只有一个被解决，且耗时三年才获正式确认。
结算截止日期偏紧
结算要求是在2026年12月31日美东时间晚上11点59分之前出现公开的完整解决声明，不存在延期安排。这一硬性时间窗口限制了即便AI取得突破性进展也需要留出的证明打磨与初步公开时间。
同行验证所需时间
数学界对重大证明的严格验证通常需要数月乃至数年，历史上对庞加莱猜想证明的确认即是如此。这意味着即便2026年内出现声明，其是否能在市场关注的时间框架内被普遍视为“已解决”仍存在不确定性，对概率构成下行压力。
实验室公告的激励与门槛
克莱数学研究所100万美元奖金与巨大的公关价值，为实验室提前宣布甚至争抢首发创造动机，这对概率有一定支撑。但结算规则要求“完整解决”且须归功于实验室自身团队，排除了仅部分进展或主要归功外部学者的情形，提高了认定门槛。
支持理由
- 某AI实验室在2026年12月31日美东时间午夜前，针对黎曼假设、P与NP问题、Hodge猜想、Birch与Swinnerton-Dyer猜想或杨-米尔斯问题中的任意一个，公开发布声称完整解决的研究成果。
- 该公告将解决方案归功于实验室自身的研究人员或模型，而非仅归功于外部合作学者，从而满足结算规则的归属要求。
- 该声明在市场关注窗口内获得至少初步的学术关注和认可，而非被迅速指出存在重大漏洞或被撤回。
反对理由
- 自克莱数学研究所2000年设立七大千禧年难题以来，只有庞加莱猜想一题被解决，且过程耗时三年才获正式确认，二十余年来再无第二例，这为一年内再度出现完整解决设定了很高的历史门槛。
- AlphaProof、GPT系列等模型目前展现的数学能力集中在国际数学奥林匹克竞赛等有已知答案的题目上，尚未有公开案例显示其在从未解决的开放性猜想上取得实质突破。
- 重大数学证明通常需要数月到数年的同行评审才能被学术界确认为正确，而本市场的结算截止日期是2026年12月31日美东时间午夜，留给验证和公众认可的时间相对有限。
后续关注
需要关注的节点包括：2026年国际数学奥林匹克竞赛（通常在年中举行）中AI模型是否参与并取得进一步突破，作为能力进展的间接信号；DeepMind、OpenAI及其他主要AI实验室是否发布涉及任一合格千禧年难题的预印本或正式论文；克莱数学研究所是否对任何声称的证明发表官方回应或审核意见；以及2026年12月31日美东时间午夜这一最终结算节点前的最后动态。
交易该结果合约
在 Polymarket 打开
- 免 Gas 费