ИСТИНА

Исследования по решению задачи шахматных мало-фигурных окончаний, начатые в 70-е годы 20 века последовательно привели к решению задачи 4-фигурных окончаний в 1975 г., 5-фигурных окончаний в 1995 г., 6-фигурных окончаний в 2005 г. Благодаря новому алгоритму ретроанализа, пригодному для применения на суперкомпьютерах, ученым факультета ВМК МГУ удалось решить в рекордный срок задачу 7-фигурных окончаний в 2012 г. Только в 2018 г. западным ученым удалось получить решение аналогичной, но упрощенной задачи.