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









