If rewarding AI mathematicians by the same metric that we have rewarded humans ones make math go badly, then we are probably rewarding the human ones badly. With good reward metrics, we shouldn't care who wins them. https://terrytao.wordpress.com/2026/09/1…