Кубик Рубика можно собрать за 25 ходов — и это не совет игрокам, а математическая теорема из области теории групп. Математик и программист Томас Рокицки, выпускник Стенфордского университета, опубликовал ее доказательство на сайте препринтов arXiv.org. Набор всех возможных ходов — а их около 40 квинтиллионов (4*1019) — Рокицки разбил на 2 млрд «поднаборов» по 20 млрд ходов в каждом. Учитывая симметрию куба, он смог доказать, что большая часть решений эквивалентны друг другу, так что «дубликатами» можно пренебречь. Оставшиеся он проверял перебором на компьютере, который, имея 1,6−гигагерцевый процессор и 8 гигабайт памяти, работал над проблемой 1500 часов.
Математики уже давно относятся к кубику Рубика всерьез. Более слабый результат — 26 ходов — получили в прошлом году в американском Северо-Восточном университете (Чикаго). Считается, что эту цифру теоретически можно сокращать и дальше — примерно до 20. Но ученые не уверены, что с таким расчетом справятся даже самые мощные суперкомпьютеры.