Какие математические теоремы считаются самыми сложными для доказательства?

Некоторые математические теоремы, которые считаются сложными для доказательства:

• Великая теорема Ферма. www.vokrugsveta.ru vk.com В современной формулировке она гласит: не существует таких натуральных чисел x, y, z, n, что xn + yn = zn и n>2. www.vokrugsveta.ru Доказать эту теорему не удавалось почти три с лишним века, это удалось сделать британскому математику Эндрю Уайлсу в 1994 году. vk.com
• Теорема о классификации простых конечных групп. www.vokrugsveta.ru Задача состояла в том, чтобы перечислить все простые конечные группы. www.vokrugsveta.ru Решение теоремы рассеяно по сотням статей разных авторов, выходивших с середины XIX по конец XX вв.. www.vokrugsveta.ru Доказательство никогда не публиковалось единым текстом, по оценкам экспертов, даже в самом сжатом виде оно заняло бы не менее десяти тысяч страниц. www.vokrugsveta.ru

Официальной шкалы сложности теорем не существует, поэтому выбор самой сложной зависит от личных предпочтений.