- OpenAIは2026年12月31日までにミレニアム懸賞問題の別の解答を発表するでしょうか？14¢14%
- OpenAIは2027年12月31日までにミレニアム懸賞問題の別の解答を発表するでしょうか？56¢56%
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
ルール
OpenAIまたはOpenAIの公式代表者が、市場の作成から指定日である23:59 ETまでの間に、対象となるミレニアム懸賞問題のいずれかをOpenAIが解決したと発表した場合、この市場は「はい」で決着します。それ以外の場合、この市場は「いいえ」で決着します。 対象となる問題は、リーマン予想、P対NP問題、ヤン＝ミルズ理論の存在と質量ギャップ問題、ホッジ予想、バーチ・スウィンナートン＝ダイアー予想です（https://www.claymath.org/millennium-problems/）。ナビエ＝ストークス方程式の存在と滑らかさに関する問題についての発表は対象外です。 対象となる発表では、問題が解決されたことを明確に表明する必要があります。部分的な結果や解決に向けた進展の発表は対象外です。発表では、その解決をOpenAI、その研究者、またはそのモデルの成果として示す必要があります。単独での成果でも、外部の研究者との共同成果でも構いません。OpenAIのモデル、計算資源、または研究クレジットを利用した研究者を含め、外部の研究者の功績を認めたり祝福したりするだけの発表は、条件を満たしません。Clay Math Instituteその他の組織による追加の確認は必要ありません。 この市場の決着における主な情報源は、OpenAIおよび／またはその公式代表者による公式情報とします。ただし、信頼できる報道の総意を用いることもできます。
機械翻訳です。解釈に相違がある場合は原文が優先されます。