M

🚀Metaculus Open-Source Rewrite is Live!

You're now enjoying a rewritten, open-source Metaculus, with a range of improvements and new opportunities for collaboration. Learn more, and share your feedback and questions here

Question

When will an AI system, operating independently, solve or determine the undecidability of a Millennium Prize Problem and have its proof or disproof published in a peer-reviewed mathematics journal?

Total Forecasters7
Community Prediction2035-08-17

Make a Prediction

My Prediction
community
<2030-01-01
lower 25%
median
upper 75%
>2070-01-01
...
...
...
...
...
21.5%
2030-11-21 23:10
2035-08-17 09:10
2053-12-02 01:13
18.6%

Authors:
Opened:
Closes:
Scheduled resolution:

Comments

? comments