Question

Will an AI be able to take arbitrary proofs from the mathematical literature and convert them into a symbolic form suitable for verification before 2030?

24
9
Total Forecasters139
Community Prediction
92%
(80% - 95%)

Make a Prediction

50%
community: 92%
No key factors yetAdd some that might influence this forecast.
Add key factor
Authors:
Matthew_Barnett
Opened:Jun 5, 2022
Closes:Jan 1, 2030
Scheduled resolution:Jan 1, 2030
Spot Scoring Time:Jun 5, 2022
AI Demonstrations
Computing and Math
Artificial Intelligence