OpenAI宣布88小时攻克难题，聪明钱预测AI年内再下一城

据 PolyBeats 监测，在预测市场 Polymarket 上，1 名聪明钱在「是否有AI在今年内宣布解决另一个千禧年大奖难题？」投入 $2.0k「是」，平均买入概率为 51.2%，目前「是」概率为 64.5%。

Rumpelstiltskin 投入 $2.0k，与本市场最佳相关板块为人工智能，板块净盈利 $23.7k。其在该板块共 182 笔已结算交易的胜率为 107/182（59%），其中买入价小于 $0.8 且卖出价大于 $0.95 的交易共 30 笔。相近成本价区间（$0.451-$0.6）内，其历史投入金额中位数为 $240。

千禧年大奖难题由克雷数学研究所于 2000 年设立，每道题奖金为 $1m。该市场要求符合资格的 AI 实验室在年内宣布解决黎曼猜想、P 与 NP、杨-米尔斯存在性与质量间隙、霍奇猜想或伯奇和斯温纳顿-戴尔猜想。局部成果和研究进展不计入，纳维-斯托克斯方程也被规则明确排除。实验室作出解决声明即可。

该账户主要利润来自 Claude 5 发布时间约 $6.9k、Grok 5 发布时间约 $3.9k、Astra 具体发布日期约 $3.6k，以及模型排行榜市场约 $3.6k；最大亏损来自 2 月最佳 AI 模型约 $10.1k 和 GPT-5.3 发布时间约 $4.1k。账户目前买入 AI 实验室及 OpenAI 年内宣布解法的「是」，同时预测 Anthropic 在多个期限内不会宣布解法，判断更集中于 OpenAI。

量子杂志 8 日报道，OpenAI 使用约一万个自主 AI 智能体研究纳维-斯托克斯方程，智能体运行 88 小时后给出奇点证明，另一套模型随后用 17 小时将结果形式化为 Lean 证明。智能体合计交换近五百万条消息，计算成本达到数百万美元。该成果仍需研究人员确认形式化命题与原始数学问题完全一致，相关研究的贡献归属也存在争议。