В 2007 г. Шеффер и его коллеги с помощью компьютера окончательно доказали, что при условии идеальных ходов шашки — это беспроигрышная игра. В этом они напоминают крестики-нолики — игру, которую также нельзя выиграть, если оба игрока не делают неудачных ходов. Доказательство Шеффера производилось на сотнях компьютеров в течение восемнадцати лет. В конце концов стало ясно, что теоретически можно создать машину, которая никогда не проиграет человеку.