Recent AI breakthroughs on Epoch AI’s FrontierMath: Open Problems benchmark have driven strong trader consensus that another unsolved research-level problem will be officially marked solved soon. In July 2026, independent solutions emerged for the long-open 2-adic absolute Galois group problem—one via Anthropic’s Claude Fable 5 and another via GPT-5.5 Pro—both verified in Lean 4 and rated publishable. Additional July progress included a counterexample to the Jacobian conjecture and new constructions in number theory and combinatorics using multi-agent systems. GPT-5.6 variants now lead updated leaderboards at 83–89% on related tiers, while papers from August document further autonomous discoveries. With rapid model iteration, inference scaling, and expanded problem sets, the pace of verified frontier advances favors near-term resolution.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於9月15日
52%
9月30日
52%
$40 交易量
9月15日
52%
9月30日
52%
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.
市場開放時間: Aug 28, 2026, 6:20 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.
Recent AI breakthroughs on Epoch AI’s FrontierMath: Open Problems benchmark have driven strong trader consensus that another unsolved research-level problem will be officially marked solved soon. In July 2026, independent solutions emerged for the long-open 2-adic absolute Galois group problem—one via Anthropic’s Claude Fable 5 and another via GPT-5.5 Pro—both verified in Lean 4 and rated publishable. Additional July progress included a counterexample to the Jacobian conjecture and new constructions in number theory and combinatorics using multi-agent systems. GPT-5.6 variants now lead updated leaderboards at 83–89% on related tiers, while papers from August document further autonomous discoveries. With rapid model iteration, inference scaling, and expanded problem sets, the pace of verified frontier advances favors near-term resolution.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於



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