- Anthropicは2026年12月31日までにミレニアム懸賞問題の解答を発表するでしょうか？10¢10%
- Anthropicは2027年12月31日までにミレニアム懸賞問題の解答を発表するでしょうか？28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
ルール
AnthropicまたはAnthropicの公式代表者が、タイトルに指定された日の23:59 ETまでに、Anthropicが対象となるミレニアム懸賞問題のいずれかを解決したと発表した場合、この市場は「はい」で決着します。それ以外の場合、この市場は「いいえ」で決着します。 対象となる問題は、リーマン予想、P対NP問題、ヤン＝ミルズ理論の存在と質量ギャップ問題、ホッジ予想、バーチ・スウィンナートン＝ダイアー予想です（https://www.claymath.org/millennium-problems/）。ナビエ＝ストークス方程式の存在と滑らかさに関する問題についての発表は対象外です。 対象となる発表では、問題が解決されたことを明確に表明する必要があります。部分的な結果や解決に向けた進展の発表は対象外です。発表では、その解決をAnthropic、その研究者、またはそのモデルの成果として示す必要があります。単独での成果でも、外部の研究者との共同成果でも構いません。Anthropicのモデル、計算資源、研究クレジットを利用した研究者を含め、外部の研究者に功績を認めたり祝辞を述べたりするだけの発表は、条件を満たしません。Clay Math Instituteその他の組織による追加の確認は必要ありません。 この市場の主な判定情報源はAnthropicおよび／またはその公式代表者による公式情報とします。ただし、信頼できる報道の一致した見解を利用することもあります。
機械翻訳です。解釈に相違がある場合は原文が優先されます。