“Terence Tao believes that hybrid human-AI teams will dominate mathematics for a long time, and a full replacement of human mathematicians will require breakthroughs beyond current AI paradigms.”