- OpenAI 対 Anthropic：ミレニアム懸賞問題の別の解答を先に見つけるのはどちら？54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
ルール
OpenAIまたはOpenAIの公式代表者が、Anthropicより先に、かつ2027年12月31日の23:59 ETまでに、OpenAIが対象となるミレニアム懸賞問題を解決したと発表した場合、この市場は「OpenAI」で決着します。AnthropicまたはAnthropicの公式代表者が、OpenAIより先に、かつ2027年12月31日の23:59 ETまでに、Anthropicが対象となるミレニアム懸賞問題を解決したと発表した場合、この市場は「Anthropic」で決着します。 いずれの企業も2027年12月31日, 23:59 ETまでに条件を満たす発表をしない場合、または両社が同じ暦日に条件を満たす発表をした場合、この市場は50-50で決着します。他社による条件を満たす発表があっても、この競争は終了せず、決着にも影響しません。 対象となる問題は、リーマン予想、P対NP問題、ヤン＝ミルズ理論の存在と質量ギャップ問題、ホッジ予想、バーチ・スウィンナートン＝ダイアー予想です（https://www.claymath.org/millennium-problems/）。ナビエ＝ストークス方程式の存在と滑らかさに関する問題についての発表は対象外です。 対象となる発表では、問題が解決されたことを明確に表明する必要があります。部分的な結果や解決に向けた進展の発表は対象外です。発表では、その解決が単独で、または社外の研究者と共同で行われた、会社、その研究者、あるいはそのモデルの成果として示されなければなりません。社外の研究者（会社のモデル、計算資源、または研究クレジットを利用した研究者を含む）に功績を認めたり、祝意を示したりするだけの発表は、条件を満たしません。Clay Math Instituteその他の組織による追加の確認は必要ありません。 この市場の主な決着情報源は、OpenAIおよびAnthropic、ならびに／またはそれらの公式代表者による公式情報です。ただし、信頼できる報道の総意を用いることもできます。
機械翻訳です。解釈に相違がある場合は原文が優先されます。