OpenAI’s September 8–9, 2026 announcement that an unreleased internal model coordinated up to 10,000 AI agents to produce a Lean proof for the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply elevated trader focus on FrontierMath-style benchmarks. The claim follows a string of 2026 AI solutions to previously unsolved research problems on Epoch AI’s FrontierMath Open Problems track, including number-theory and combinatorics results verified by mathematicians and formalizers. GPT-6 Astra and related OpenAI variants currently lead corrected FrontierMath v2 leaderboards at 83–97% on Tiers 1–4, outpacing Claude and Gemini entries, while the new FrontierMath Erdős set remains near 3% even for top models. Verification of the Navier-Stokes proof, any independent replications, and upcoming model releases or earnings disclosures will likely drive near-term shifts in implied probabilities for the next verified frontier solve.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於9月30日
81%
10月31日
83%
$712 交易量
9月30日
81%
10月31日
83%
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–9, 2026 announcement that an unreleased internal model coordinated up to 10,000 AI agents to produce a Lean proof for the Navier-Stokes existence and smoothness problem—one of the Clay Millennium Prize Problems—has sharply elevated trader focus on FrontierMath-style benchmarks. The claim follows a string of 2026 AI solutions to previously unsolved research problems on Epoch AI’s FrontierMath Open Problems track, including number-theory and combinatorics results verified by mathematicians and formalizers. GPT-6 Astra and related OpenAI variants currently lead corrected FrontierMath v2 leaderboards at 83–97% on Tiers 1–4, outpacing Claude and Gemini entries, while the new FrontierMath Erdős set remains near 3% even for top models. Verification of the Navier-Stokes proof, any independent replications, and upcoming model releases or earnings disclosures will likely drive near-term shifts in implied probabilities for the next verified frontier solve.
基於Polymarket數據的AI實驗性摘要。這不是交易建議,也不影響該市場的結算方式。 · 更新於



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