OpenAI’s September 8 announcement that an unreleased internal model solved the Navier-Stokes Millennium Problem has sharply lifted trader expectations for additional verified breakthroughs on Epoch AI’s FrontierMath: Open Problems benchmark. Recent FrontierMath Erdős results showed only GPT-6 Astra solving two of 68 curated problems, while earlier 2026 milestones—including counterexamples and Lean-formalized proofs on long-open number theory questions—demonstrate accelerating large language model reasoning. Competitive pressure from Anthropic’s Claude variants and OpenAI’s iterative agent scaling continues to compress timelines, with traders watching Epoch’s next official classifications, any new problem additions, and potential September or December resolutions as key swing factors. Market-implied odds reflect this momentum while acknowledging that formal verification and Epoch’s independent review remain the sole resolution criteria.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于9月30日
73%
10月31日
67%
$81 交易量
9月30日
73%
10月31日
67%
Any problems that Epoch AI already classified as solved before market issuance will not qualify for resolution. Only problems newly classified by Epoch AI as solved after market issuance may qualify. If Epoch AI adds new problems to FrontierMath: Open Problems after market creation, those problems will be considered for resolution.
This market will resolve solely based on Epoch AI’s classification or official determination that a qualifying problem has been solved, regardless of the degree of artificial intelligence involvement. A verifier-accepted submission, publicly posted solution, partial result, or third-party claim will not qualify on its own unless Epoch AI recognizes the problem as solved.
The primary resolution source will be official information from Epoch AI, including https://epoch.ai/frontiermath/open-problems.
市场开放时间: Sep 8, 2026, 2:16 PM ET
Any problems that Epoch AI already classified as solved before market issuance will not qualify for resolution. Only problems newly classified by Epoch AI as solved after market issuance may qualify. If Epoch AI adds new problems to FrontierMath: Open Problems after market creation, those problems will be considered for resolution.
This market will resolve solely based on Epoch AI’s classification or official determination that a qualifying problem has been solved, regardless of the degree of artificial intelligence involvement. A verifier-accepted submission, publicly posted solution, partial result, or third-party claim will not qualify on its own unless Epoch AI recognizes the problem as solved.
The primary resolution source will be official information from Epoch AI, including https://epoch.ai/frontiermath/open-problems.
OpenAI’s September 8 announcement that an unreleased internal model solved the Navier-Stokes Millennium Problem has sharply lifted trader expectations for additional verified breakthroughs on Epoch AI’s FrontierMath: Open Problems benchmark. Recent FrontierMath Erdős results showed only GPT-6 Astra solving two of 68 curated problems, while earlier 2026 milestones—including counterexamples and Lean-formalized proofs on long-open number theory questions—demonstrate accelerating large language model reasoning. Competitive pressure from Anthropic’s Claude variants and OpenAI’s iterative agent scaling continues to compress timelines, with traders watching Epoch’s next official classifications, any new problem additions, and potential September or December resolutions as key swing factors. Market-implied odds reflect this momentum while acknowledging that formal verification and Epoch’s independent review remain the sole resolution criteria.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于



警惕外部链接哦。
警惕外部链接哦。
常见问题