Can AI make mathematics more human?