Claude формализовал доказательство Великой теоремы Ферма за 11 дней

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