Это не математики решили, а компьютеры перебрали варианты... вот достижение
Тоже не пойму. Ладно бы объединить мощь миллионов компьютеров, создать супер нейронную сеть, которая вдруг раз и выведет формулу решения этой задачи за короткое время. А тупой брутфорс - смысл жечь ресурсы?