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 證明。智能體合計交換近五百萬條消息，計算成本達到數百萬美元。該成果仍需研究人員確認形式化命題與原始數學問題完全一致，相關研究的貢獻歸屬也存在爭議。