1994年10月15日，怀尔斯彻底完成对费马大定理的证明。1995年5月，作为历史上核查的最彻底的稿件，他的成果发表在《数学年刊》上。怀尔斯证明费马大定理用了（）年时间。