ИИ только что решил 400-летнюю загадку за 11 дней

В 1637 году Ферма написал, что его доказательство слишком объёмное для поля. На его поиски ушло 358 лет. В этом месяце десятки агентов Клода написали полное, проверенное на компьютере доказательство Великой теоремы Ферма: 13 миллионов строк кода Lean за 11 дней. Затем Кевин Баззард, математик, который потратил два года именно на это, проверил его сам и сказал, что оно «по сути ничего нам не говорит». Так что же оно на самом деле доказало? 📚 Полная история Ферма и Эндрю Уайлса: «Загадка Ферма», Саймон Сингх → https://www.amazon.com/dp/0385493622?... (Как партнер Amazon, я получаю доход от соответствующих покупок.) ⏱ Главы 0:00 Поле 0:37 Проблема 1:14 Доказательство Уайлса и дыра 1:56 Lean: компьютер, проверяющий доказательства 2:54 Десятки Клодов и карта 4:11 Письмо, которое он проигнорировал 4:53 «По сути, ничего» 5:45 99% против 100% 6:53 Почему это важно сейчас 🔗 Источники Anthropic, «Формализация Великой теоремы Ферма»: https://www.anthropic.com/research/fo... Кевин Баззард, «Теорема Ферма: Anthropic меня опередила»: https://xenaproject.wordpress.com/202... Проект Lean FLT (Имперский колледж Лондона): https://github.com/ImperialCollegeLon... NPR о доказательстве теоремы Навье-Стокса (цитата Джеймса Мейнарда): https://www.npr.org/2026/09/22/nx-s1-... Теорема Ферма (Википедия): https://en.wikipedia.org/wiki/Fermat%... 📷 Источники изображений Эндрю Уайлз: авторские права принадлежат К. Дж. Моццочи, Принстон, Нью-Джерси Часовня Королевского колледжа, Кембридж: Родни Бертон, CC BY-SA 2.0 (через Geograph / Wikimedia Commons) Кевин Баззард (2007): Paulabuzzard, CC BY-SA 3.0 (Wikimedia Commons) Пьер де Ферма, гравюра Франсуа де Пуайи: общественное достояние #Ферма #ИИ #Математика #Клод #Бережливоепроизводство