Ai
Live tracking
AI Solves a Millennium Prize Problem
An AI system solves one of the seven Millennium Prize Problems in mathematics.
Evidence:arxivhuggingface Source refresh pending
60.3%progress
Median Predicted Year
2030
P10: 2027 · P90: 2035
Time to Median Prediction
Syncing countdown…
Progress Index Over Time
Proprietary progress score
Prediction Range
P10 / Median / P90 estimates
expertmarketmodel
Why It Moved — Recent Events
30 days laterAug 20
Hourly data refresh:
Automated data refresh
7 days soonerAug 20
Hourly data refresh: 738897 new papers in last 30 days.
Automated data refresh
26 days soonerJul 30
Hourly data refresh: 734338 new papers in last 30 days.
Automated data refresh
Accelerators & Bottlenecks
What speeds it up
AI achieved IMO gold medal 2026
Formal theorem proving AI improving
What slows it down
Millennium problems require novel frameworks
Forecast methodology: Progress % and predicted years are computed by our proprietary algorithm combining real-money prediction markets (Polymarket, Kalshi), expert forecasts weighted by Brier score accuracy, and hard data trend extrapolation using S-curves fitted to clinical trial progression (ClinicalTrials.gov), AI benchmark scores (HuggingFace), publication velocity (arXiv), and drug approvals (openFDA). P10/P50/P90 represent optimistic, median, and pessimistic scenarios. Updated hourly.