Will OpenAI Astra solve a math problem Claude Opus 5 deems more important than the Jacobian Conjecture?
IAOne-Off2mois
Manifold MarketsSans KYCDonnées de résolution vérifiéesAssez bien calibréPrévision communautaire actuelleNon 92.1%
Prévisionnistes
22
Type de question
binary
Méthodologie
Play-money forecasting platform
Type de source
Prévision
Données du marché
Mis à jour il y a 24 minutes
1 août 26, 01:30 UTC31 déc. 26, 23:59 UTC
Tendances
Marchés Associés
Questions liées pour le contexte, et non une comparaison de contrats équivalents.
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 MarketsDoes Claude Opus 5.5 make egregious errors?
Manifold MarketsClaude Opus 5 METR 50% time horizon [old version, bad buckets]
Manifold MarketsNext Claude Opus (5.6+) released by which date?
PolymarketRègles
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
