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?
Total Forecasters131
Community Prediction90% (75% - 95%)
Make a Prediction
Authors:
Opened:Jun 5, 2022
Closes:Jan 1, 2030
Scheduled resolution:Jan 1, 2030
Comments
? comments
Authors:
Opened:Jun 5, 2022
Closes:Jan 1, 2030
Scheduled resolution:Jan 1, 2030
