他是一位数学家，却成为AI训练最绕不开的人