差点拿到菲尔兹奖的他，现在是AI最严厉的数学老师——埃尔德什