Richard Borcherds, a Fields Medal–winning mathematician, now grades on completion after seeing students use AI to earn top scores.