OpenAI’s September 8 announcement that its internal model and 10,000 AI agents solved the Navier-Stokes Millennium Problem in 88 hours has intensified trader focus on whether Epoch AI will soon classify another FrontierMath: Open Problems entry as solved. Earlier 2026 results, including GPT-5.5 Pro and Claude Fable 5 solutions to Erdős problems and a 2019 hypergraph conjecture, established that frontier large language models can now produce verifiable proofs on previously open research questions. Competitive pressure between OpenAI, Anthropic, and others continues to accelerate capability gains on Lean-formalized benchmarks, while Epoch’s ongoing runs and any new problem additions remain key near-term catalysts that could shift the market-implied odds of an additional official solve before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於9月30日
75%
10月31日
92%
$20 交易量
9月30日
75%
10月31日
92%
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 its internal model and 10,000 AI agents solved the Navier-Stokes Millennium Problem in 88 hours has intensified trader focus on whether Epoch AI will soon classify another FrontierMath: Open Problems entry as solved. Earlier 2026 results, including GPT-5.5 Pro and Claude Fable 5 solutions to Erdős problems and a 2019 hypergraph conjecture, established that frontier large language models can now produce verifiable proofs on previously open research questions. Competitive pressure between OpenAI, Anthropic, and others continues to accelerate capability gains on Lean-formalized benchmarks, while Epoch’s ongoing runs and any new problem additions remain key near-term catalysts that could shift the market-implied odds of an additional official solve before year-end.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於



警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions