Если игра начинается с исходной позиции, гроссмейстеры в поединках с компьютером ещё способны противостоять машине. При разыгрывании окончаний, особенно малофигурных, шахматистам приходится сложнее. Надо заметить, что в исследовании тех или иных видов эндшпиля используются не обычные игровые программы, а специально для этого разработанные. Машины, обогащая теорию шахматных окончаний, порой удивляют своими уникальными находками. Программа позволяет дать всем окончаниям данного вида однозначные оценки — выигрыш одной из сторон или ничья, то есть анализ является исчерпывающим и похож на доказательство математической теоремы. Но чтобы доказать «шахматную теорему», программистам приходится преодолевать массу технических трудностей, связанных с переработкой огромного объёма информации...