Anthropic на выходных выкатили скорее хайповую, чем реально важную новость - Claude самостоятельно доказал большую теорему Ферма; формулируется она очень просто - не существует таких троек натуральных чисел, чтобы a^n + b^n = c^n, при n > 2; интрига, которую подвесил Ферма, заключается в том, что он написал ее формулировку на полях книги и приписал, что доказательство не вмещается; за 400 лет доказательство таки нашли, но оно получилось очень объемным, например, доказательство от Claude занимает больше 13 млн строк кода на Lean4 #математика

я еще хотел обратить внимание на другой аспект; уже не раз были новости, что нейросеть воссоздала игру по бинарному файлу (Red Alert 2, Поле Чудес); объединяет эти случаи то, что нейросеть имела "перед глазами" образец; в случае игры это был бинарник, а в случае теоремы Ферма - доказательство Уайлза (на картинке показано, на что опирался Claude в своем доказательстве) #игры

@valuableai