Потребовалось 47 лет и ИИ, чтобы доказать: этот «неаккуратный» квадрат идеален

📬 Бесплатный еженедельный обзор ИИ и математики → https://ademb10.com/?ref=eleven-squares В 1979 году немецкий учитель математики Вальтер Трамп обнаружил странный, асимметричный способ упаковать 11 квадратов в самую маленькую коробку: шесть прямых, пять наклоненных под углом 40,18°. В течение 47 лет никто не мог превзойти этот результат — или доказать, что его невозможно превзойти. Этой осенью доказательство с помощью ИИ, проверенное построчно компьютером, разрешило этот вопрос: неаккуратная коробка идеальна, и это единственная идеальная коробка. Каждая упаковка в этом видео создана на основе реальных координат (проверенные записи проекта Squares Project), а не вручную. ⏱ Разделы 0:00 Головоломка, понятная ребенку 0:59 Давайте поиграем: от 1 до 10 квадратов 2:03 Одиннадцать: 40,18° 2:37 Почему это так сложно доказать 3:31 Гонка (сентябрь-октябрь 2026 г.) 4:52 Как мы узнаем, что это правильно? 5:32 Почему лучший ответ такой некрасивый? 🔗 Источники Проект «Квадраты» — запись о 11 случаях: https://jlevy.github.io/squares/cases... Проект «Квадраты» (данные, свидетели, хронология): https://github.com/jlevy/squares Доказательство Lean (7920 модулей, отчет о проверке): https://github.com/Queuingtheorydotco... Базовое доказательство с помощью компьютера: https://github.com/Queuingtheorydotco... Формализация только на уровне ядра в процессе: https://github.com/wand125/n11-optima... Уолтер Трамп: https://en.wikipedia.org/wiki/Walter_... Эрих Фридман, «Упаковка единичных квадратов в квадраты»: https://erich-friedman.github.io/pape... Модель Astra от OpenAI: https://www.neowin.net/news/openais-n... Что проверяется, а что нет: доказательство проверяется компьютером в Lean, при этом некоторые числовые сертификаты доверяются компилятору Lean (не только ядру); проект Squares помечает проверку человеком как ожидающую рассмотрения. 🎙 Благодарности Координаты упаковки: известные наилучшие свидетели проекта Squares (jlevy/squares), повторно проверенные на включение и перекрытие. Все остальное — наш рисунок. Музыка: "Wholesome" Кевина Маклеода (incompetech.com), лицензия Creative Commons: By Attribution 4.0 — http://creativecommons.org/licenses/b... #Математика #ИскусственныйИнтеллект #Геометрия #БережливоеПроизводство #КвадратнаяУпаковка