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 Forecasters128
Community Prediction85%

Make a Prediction

community: 85%
median 85.0%mean 75.5%
0%10%20%30%40%50%60%70%80%90%100%


Comments

? comments