История Великой теоремы Ферма началась почти 400 лет назад с короткой записи Пьера Ферма на полях книги. Математик утверждал, что уравнение aⁿ + bⁿ = cⁿ не имеет решений в положительных целых числах при n > 2, и уверял, что знает доказательство. Однако места на полях для него, по собственным словам…
Claude формализовал доказательство Великой теоремы Ферма за 11 дней
Это краткое изложение. Полный текст материала доступен на сайте источника.