By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
AIOne-Off3y
Manifold MarketsNo KYCVerified resolution dataWell calibratedCurrent community forecastYes 95.9%
Forecasters
39
Question type
binary
Methodology
Play-money forecasting platform
Source type
Forecast
Market data
Updated 10 hours ago
StaleJan 5, 24, 10:58 AM UTCJan 6, 30, 6:29 PM UTC
Trends
Related Markets
Related questions for context, not a comparison of equivalent contracts.
Before 2030, will we have AI that can play Minecraft, understand movies, etc. and not resist shutdown?
Manifold MarketsWill we have AI that can explain chess moves logic in human language by 2030?
Manifold MarketsBy 2030, AI can beat the best human Starcraft 2 players at least 50% of the time, given a video of the screen.
Manifold MarketsAI "devops" #3: Will there be an AI that can manage a small cluster by 2030?
Manifold MarketsBest AI at the end of 2026?
KalshiWhich company has best AI model end of 2026?
PolymarketRules
AI can autonomously prove mathematical theorems that are publishable in mathematics journals today
- including generating the theorems to prove.