费马大定理证明的最后一步是英国数学家__怀尔斯_于1994年完成的，他因此于1996年获得了___奖。