20
22 forecasters
When will an AI solve or determine the undecidability of a Millennium Prize Problem with its proof published in a peer-reviewed journal?
Current estimate
Jul 2031
Top Key Factors
Exponential growth on FrontierMath tier 4
Hastens
Advances in automated theorem proving and formal verification tools.
Delays
Progress in hybrid neural–symbolic reasoning systems.
Delays
Conservatism within academic mathematics and peer review standards.
Delays
Institutional adoption of AI collaboration in mathematical research.
Delays