Will OpenAI Astra solve a math problem Claude Opus 5 deems more important than the Jacobian Conjecture?
AIOne-Off2mo
Manifold MarketsNo KYCVerified resolution dataFairly calibratedCurrent community forecastNo 92.1%
Forecasters
22
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 3 hours ago
StaleAug 1, 26, 1:30 AM UTCDec 31, 26, 11:59 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Will OpenAI’s Astra face U.S. government restrictions before January 1, 2027?
Manifold MarketsAnother Frontier Math Problem Solved by which date?
PolymarketWhen will Bayesian reveal a math problem he solved in Sept.?
Manifold MarketsClaude Opus 5 METR 50% time horizon [old version, bad buckets]
Manifold MarketsWhat will Claude Opus's output token price hit in 2026?
PolymarketNext Claude Opus (5.6+) released by which date?
PolymarketRules
The Information reported that OpenAI solved 10 previously unsolved math problems with their soon-to-be released "Astra" model family. https://www.theinformation.com/briefings/exclusive-openai-previews-astra-ai-model-dc
- I asked Claude Opus 5 (without internet) to name the 20 most important unsolved math problems, and it named the Jacobian Conjecture the 20th most important with the following list above it:
- Riemann Hypothesis
- Birch and Swinnerton-Dyer Conjecture
- Langlands Functoriality
- abc Conjecture
