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に集中している。

Quanta Magazineの8日付報道によると、OpenAIは約1万の自律型AIエージェントを使用してナビエ・ストークス方程式を研究し、エージェントは88時間稼働して特異点の証明を提示、別のモデルがその後17時間で結果をLean証明として形式化した。エージェントは合計で約500万件のメッセージを交換し、計算コストは数百万ドルに達した。この成果は、形式化された命題が元の数学的問題と完全に一致することを研究者が確認する必要があり、関連研究の貢献の帰属にも議論がある。