Will OpenAI Astra solve a math problem Claude Opus 5 deems more important than the Jacobian Conjecture?
IAOne-Off2m
Manifold MarketsSem KYCDados de resolução verificadosRazoavelmente calibradoPrevisão da comunidade atualNão 92.1%
Previsores
22
Tipo de pergunta
binary
Metodologia
Play-money forecasting platform
Tipo de fonte
Previsão
Dados do mercado
Atualizado há 9 horas
Desatualizado1/08/26, 01:30 UTC31/12/26, 23:59 UTC
Tendências
Regras
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
