I believe some mathematicians will be able to solve problems humans can't solve, using models, which models can't solve on their own either.