- 另一道前沿數學難題將於2026年9月15日被解決？100¢
- 另一個前沿數學問題將於2026年9月30日前被解決嗎？100¢
This market will resolve to “Yes” if Epoch AI marks at least one additional FrontierMath: Open Problems problem as “Solved,” or otherwise officially states that such a problem has been solved, between market creation and the specified date 11:59 PM ET. Otherwise, this market will resolve to “No.” 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 GPT-6 Astra launch on September 3, 2026, and its reported 97.6% on FrontierMath v2 Tier 4 underscore accelerating large language model reasoning capabilities, following GPT-5.4 Pro’s verified solution of a 2019 hypergraph problem in March and a second open problem resolved by mid-2026. Epoch AI’s Open Problems track, now expanded with dozens of research-level challenges, relies on rigorous verifier checks before marking any solution official, creating a high bar that favors well-resourced labs. Competitive pressure from Anthropic’s Claude Fable series and Google models, combined with OpenAI’s lead in benchmark scores and test-time compute, drives trader consensus toward additional solves by year-end. Key near-term catalysts include further Epoch AI evaluations of new frontier systems and potential model releases that could extend the recent streak of AI-discovered proofs or counterexamples.