Я тут несколько раз писала про применения AI в математике, и, в частности, про проект CayleyPy, в котором применяют AI для поиска путей в графах Кэли с огромным числом вершин. Напомню, что их статья про поиск путей в графе кубика Рубика получила Sptlight на neurIPS 2025, а еще недавно задача от CayleyPy была одним из выпускных проектов DLS в этом семестре.

Так вот, CayleyPy продолжает жить, и теперь к виртуальному поиску путей в графах добавляется механическая составляющая — робот. Ребята хотят обучить робота очень быстро собирать Мегаминкс (перестановочный пазл, похожий на кубик Рубика) и поставить в этом мировой рекорд. И к этому у них приурочены два соревнования (с призами!), в которых можно поучаствовать всем желающим, и мини-курс, чтобы лучше во всем этом разобраться.

Немного про задачу:
Мегаминкс - это перестановочный пазл, похожий на кубик Рубика (см. картинку к посту). У него 10^68 состояний — это очень много, и эффективно искать кратчайшие пути сборки пока что никто не умеет. Для сравнения: для обычного кубика Рубика известно, что диаметр графа его состояний (самый длинный кратчайший путь между состояниями) составляет 20. Для мегаминкса сейчас есть только оценки снизу (48) и сверху (116), но точное значение человечеству пока неизвестно. Короче, мегаминкс — это чуть посложнее. И если сравнивать реальное время сборки кубика Рубика и мегаминкса, то сейчас роботы собирают кубик Рубика за 103 миллисекунды (чуть быстрее, чем моргнуть), а мегаминкс пока только за 8 минут.

В общем, на Физтехе хотят таки этот мегаминкс победить и поставить мировой рекорд. Для этого они сделали робота, который может независимо вращать каждую из 12 граней мегаминкса, и запустили две соревы.

Соревнования поделены на две части — робототехническую и алгоритмическую. Про соревнование по алгоритмам на Kaggle подробно написано в этом посте (единственное — с момента публикации счет в 80000 уже был преодолен, сейчас борьба идет за 75000). А в начале мая очно на Физтехе будет проведено соревнование по сборке мегаминкса роботом (робот на картинке), где решения будут запускаться в реальном времени на неизвестных начальных состояниях.

Соревнование организуется совместно с лабораторей интеллектуальных технологий робототехники МФТИ. Руководитель проекта — Илья Осокин, ему можно писать со всеми вопросами. Узнать больше о робототехнической части проекта можно в чате @starkitmega или вот в этом посте. И еще, у лаборатории робототехники есть своя магистратура — туда можно поступить, чтобы заниматься гуманоидами и собаками. Чат поступашек @admissionstarkit

А еще в рамках теоретической подготовки к соревнованию на Физтехе проходил мини-курс по комбинаторной теории групп. Всего 7 лекций, их можно найти на YouTube тут.

Короче, звучит довольно интересно и необычно, участвуйте, если вдруг интересно) Кажется, что пока не очень много людей занимаются подобными вещами, так что действительно можно придумать что-то интересное.