OpenAI’s September 2026 announcements have driven recent trader sentiment, as an internal model trained from late August solved over 100 longstanding open math problems—including a proposed resolution to the Navier-Stokes Millennium Prize problem—via swarms of roughly 10,000 agents, extensive Lean formalization, and billions of output tokens. These results, verified through an independent mathematics advisory group and published alongside written proofs, align with OpenAI’s GPT-6 Astra dominating FrontierMath tiers and Erdős benchmarks, outpacing Anthropic’s Claude and Google DeepMind systems on research-level tasks. Competitive dynamics show accelerating multi-agent reasoning and tool use across labs, with prior 2026 milestones like counterexamples to Erdős conjectures and formalizations of major theorems setting precedents. Key upcoming catalysts include Epoch AI’s official classifications of additional FrontierMath: Open Problems, further Lean-verified releases, and potential regulatory or community scrutiny of AI-generated proofs that could influence resolution timelines.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedOctober 15
45%
October 31
66%
$80 Vol.
October 15
45%
October 31
66%
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.
Market Opened: Sep 22, 2026, 4:04 PM ET
Resolver
0x65070BE91...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.
Resolver
0x65070BE91...OpenAI’s September 2026 announcements have driven recent trader sentiment, as an internal model trained from late August solved over 100 longstanding open math problems—including a proposed resolution to the Navier-Stokes Millennium Prize problem—via swarms of roughly 10,000 agents, extensive Lean formalization, and billions of output tokens. These results, verified through an independent mathematics advisory group and published alongside written proofs, align with OpenAI’s GPT-6 Astra dominating FrontierMath tiers and Erdős benchmarks, outpacing Anthropic’s Claude and Google DeepMind systems on research-level tasks. Competitive dynamics show accelerating multi-agent reasoning and tool use across labs, with prior 2026 milestones like counterexamples to Erdős conjectures and formalizations of major theorems setting precedents. Key upcoming catalysts include Epoch AI’s official classifications of additional FrontierMath: Open Problems, further Lean-verified releases, and potential regulatory or community scrutiny of AI-generated proofs that could influence resolution timelines.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated



Beware of external links.
Beware of external links.
Frequently Asked Questions