Задача, которой 50 лет: могут ли два счёта разойтись? | arXiv 2610.23637 простыми словами

Математики описывают сложные штуки как игры: есть ходы и правила. Правила можно посчитать честно или быстро, «по-бухгалтерски». 50 лет никто не знал, могут ли эти два счёта разойтись. В октябре 2026 четверо математиков нашли игру всего с двумя ходами, где честно нужно 2 правила, а быстрый счёт даёт 1. В конце — то же самое формулами, код и где это встречается. 📄 Статья: https://arxiv.org/abs/2610.23637 Laurent Bartholdi, Martin R. Bridson, Roman Mikhailov, John Nicholson — «Two-generator presentations with a relation gap» 💬 Откуда узнали: https://t.me/maasap/1609 🛠 Код ролика: https://github.com/esurvanov/awesome-... 0:00 О чём вопрос 0:26 Статья и авторы 0:48 Игра: шаг 1:01 Игра: лифт 1:16 Правило 2: полкруга и крюк 1:38 Почему игра именно такая 2:04 Счёт игрока 2:24 Счёт бухгалтера 2:46 Ответ 2:55 Почему игроку мало одного правила 3:21 Почему бухгалтеру хватает одной записи 3:46 Главное 4:12 Приложение: то же формулами 6:29 Как это закодировать 6:41 Где это встречается 7:00 Кто и когда Анимация — Claude Code на библиотеке 3Blue1Brown (ManimGL), голос — синтез речи (Silero). Основная теорема в статье доказана полностью; бонус про задачу Уолла опирается на результат OpenAI, который пока не проверен независимо. Telegram: t.me/digital_nomads_asia Поддержать можно на бусти boosty.to/digital-nomads