AI being great at math makes human mathematicians more valuable, not less