11
142 forecasters
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?
90%chance
5% this week
No key factors yetAdd some that might influence this forecast.
Add key factor