I’m willing to bet that in 5 years AI still can’t do all of what mathematicians do.