Automated proving and conjecturing systems will also continue to improve in mathematics. I predict that within 20 years a major conjecture will be made that is essentially found by a computer with no human intervention. Note that this has already happened in some limited contexts for minor math problems. See e.g. here. More narrowly, I’d be willing to be that within 30 years a computer program will discover some commutative diagram on its own which was previously not known to do so.
Automated proving and conjecturing systems will also continue to improve in mathematics. I predict that within 20 years a major conjecture will be made that is essentially found by a computer with no human intervention. Note that this has already happened in some limited contexts for minor math problems. See e.g. here. More narrowly, I’d be willing to be that within 30 years a computer program will discover some commutative diagram on its own which was previously not known to do so.