At the Institute for Advanced Study, Kevin Hartnett met two top mathematicians in one afternoon with polar opposite views — one dismissed AI entirely, the other said it would make mathematicians obsolete in 2 years. Terence Tao, the most important figure in the field, sits in the middle: AI as an Iron Man suit for mathematical thought.