M

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 Forecasters130
Community Prediction90% (80% - 94%)

Make a Prediction

50%
community: 90%
Opened:
Closes:
Scheduled resolution:

Comments

? comments