Recent announcements from OpenAI and Anthropic highlight accelerating AI progress on FrontierMath benchmarks, including GPT-6 Astra's reported saturation of Tier 4 problems and agent swarms resolving research-level conjectures in Lean. OpenAI's September 2026 solution to the Navier-Stokes existence and smoothness problem using thousands of coordinated agents, alongside Anthropic-linked formalizations of major theorems, has driven trader consensus toward continued breakthroughs on Epoch AI's Open Problems set. Competitive dynamics between labs, combined with verifiable Lean proofs and Epoch's ongoing evaluations, underpin high implied probabilities for additional solves before year-end deadlines. Upcoming model releases and benchmark updates remain key swing factors amid rapid capability gains.
Polymarketデータを参照したAI生成の実験的な要約。これは取引アドバイスではなく、このマーケットの解決方法には一切関係ありません。 · 更新日View resolved

外部リンクに注意してください。
外部リンクに注意してください。
よくある質問