Mathematics & Algorithms · Projected milestone
Formal-by-default mathematics
Estimated year~2029
40% by 2034 · including earlier years
The year is an editorial timing estimate. The percentage applies to occurrence by the stated deadline. These estimates are not calibrated odds.
Most new mathematics is machine-checked as it is written.
Explore this milestone on the interactive mapWhat the forecast means
Milestone stage: milestone (legacy definition)
Completion criteria: Legacy milestone: refine the observable threshold before resolving.
This page describes a forecast, rather than an achieved result. Read the methodology and assumptions.
Built on
Led to
- Proof-carrying AIForecast · ~2032enables
- Riemann hypothesis provedForecast · ~2032enables
- AI-founded fields of mathematicsForecast · ~2034enables
- Verifiably aligned AIForecast · ~2035enables
- Formal atlas of all mathematicsForecast · ~2040enables
- P versus NP resolvedForecast · ~2045enables
- Provably secure systems by defaultForecast · ~2050enables
- Verified answers to any maths questionForecast · ~2062enables
Sources & evidence
No individual source links are recorded for this milestone. Source coverage and review status vary across the atlas.
Dataset updated 2026-10-18. This individual record has not been separately re-reviewed.