I'm not sure we should take it as a given that AI will not also become better than humans at mathematical exposition.