OpenAI’s September 8–9 announcement that an unreleased internal model solved the Navier–Stokes existence and smoothness Millennium Problem—using up to 10,000 coordinated AI agents over 88 hours and generating a verified Lean proof—has sharply raised expectations for additional frontier math breakthroughs. The result follows months of incremental AI progress on Erdős problems, high-dimensional geometry, and other open questions tracked by Epoch AI’s FrontierMath benchmarks. Anthropic and Google have reported parallel advances, including work on the Riemann hypothesis. Traders are watching whether Epoch AI will classify the Navier–Stokes solution or similar new results on its Open Problems list before the September 30 or December 31 resolution dates, with verification by external mathematicians and any follow-on lab releases serving as the key near-term catalysts.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
2026-09-30
9月30日
78%
10月31日
90%
$1,166 交易量
9月30日
$691 交易量
78%
10月31日
$475 交易量
90%
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 September 8–9 announcement that an unreleased internal model solved the Navier–Stokes existence and smoothness Millennium Problem—using up to 10,000 coordinated AI agents over 88 hours and generating a verified Lean proof—has sharply raised expectations for additional frontier math breakthroughs. The result follows months of incremental AI progress on Erdős problems, high-dimensional geometry, and other open questions tracked by Epoch AI’s FrontierMath benchmarks. Anthropic and Google have reported parallel advances, including work on the Riemann hypothesis. Traders are watching whether Epoch AI will classify the Navier–Stokes solution or similar new results on its Open Problems list before the September 30 or December 31 resolution dates, with verification by external mathematicians and any follow-on lab releases serving as the key near-term catalysts.
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.
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
交易量
$1,166結束日期
2026-11-01市場開放時間
Sep 8, 2026, 2:16 PM ETThis 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 September 8–9 announcement that an unreleased internal model solved the Navier–Stokes existence and smoothness Millennium Problem—using up to 10,000 coordinated AI agents over 88 hours and generating a verified Lean proof—has sharply raised expectations for additional frontier math breakthroughs. The result follows months of incremental AI progress on Erdős problems, high-dimensional geometry, and other open questions tracked by Epoch AI’s FrontierMath benchmarks. Anthropic and Google have reported parallel advances, including work on the Riemann hypothesis. Traders are watching whether Epoch AI will classify the Navier–Stokes solution or similar new results on its Open Problems list before the September 30 or December 31 resolution dates, with verification by external mathematicians and any follow-on lab releases serving as the key near-term catalysts.
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.
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.
交易量
$1,166結束日期
2026-11-01市場開放時間
Sep 8, 2026, 2:16 PM ETOpenAI’s September 8–9 announcement that an unreleased internal model solved the Navier–Stokes existence and smoothness Millennium Problem—using up to 10,000 coordinated AI agents over 88 hours and generating a verified Lean proof—has sharply raised expectations for additional frontier math breakthroughs. The result follows months of incremental AI progress on Erdős problems, high-dimensional geometry, and other open questions tracked by Epoch AI’s FrontierMath benchmarks. Anthropic and Google have reported parallel advances, including work on the Riemann hypothesis. Traders are watching whether Epoch AI will classify the Navier–Stokes solution or similar new results on its Open Problems list before the September 30 or December 31 resolution dates, with verification by external mathematicians and any follow-on lab releases serving as the key near-term catalysts.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions