Доказана ли Великая теорема Ферма?

Великая теорема Ферма была доказана в 1995 году Эндрю Уайлсом. Эндрю Джон Уайлс - английский и американский математик, профессор математики Принстонского университета. Над теоремой Ферма начал работать в 1986 году. В 1993 году он доказал ее, а в 1995 году окончательно оформил доказательство этой теоремы. Суть теоремы, думаю, можно не излагать, не зачем, а за нее Эндрю Уайлс получил премию Шока (400 тыс. шведских крон).