9

Do you know example where recent chess engines (Houdini, Rybka, Komodo, ...) failed to find a forced checkmate.

I guess they must find mate in 1 or 2 all the time but maybe are they failing to be as creative as human some times.

  • 3
    Pretty much any sufficiently complicated endgame tablebase position (many 6-man endings, some 5-man endings and maybe even some long KQvKR endings) would suffice: by tablebases we know that certain positions are forced checkmates (in 30, 50, 100, or even more moves) but engines without the aid of tablebases will not find them in any reasonable time. Do you want to include them or only the ones where human can prove a forced mate without computer help? – JiK Jan 19 '15 at 12:58
  • I get your point about tablebase position, thanks. My question didn't specifically restrict position where we need computer help. – Tanj Jan 19 '15 at 16:22
  • It is a bit tricky, but there is the possibility of a repetition (twofold or threefolds), a lot of chess softwares may allow mates in one. See item 330 in this blog: timkr.home.xs4all.nl/chess2/diary_17.htm Ten years after, I'm not sure if most programs have resolve this issue. – Evargalo Oct 31 '17 at 16:22
9

Positing this answer in addition to the answers/comments on tablebases and endgames with ridiculously long forced mates.

White to move and win (I do not know the author of this study, unfortunately). The engines will tend to fail on this and similar problems. As far as I tried, all recommend to move hxg8=Q. Some show 0.00 and are soon thereafter putting black in a stalemate; some show slight advantage for white and are trying to play the game out by letting black to activate his pieces. Further explanation (and hint to the solution) given in the spoiler block below the diagram.

6r1/p1p1p1pP/P1PpP1P1/8/2P1B3/2K3pp/3P2rq/R5bk w - - 0 1

Explanation spoiler:

The forced mate is not found because the engines use pruning heuristic. It removes certain branches from search tree, after deeming them as irrelevant to the search result (see: http://chessprogramming.wikispaces.com/Pruning). In case of this puzzle, the solution consists of many subsequent sacrifices and its branch tends to be discarded when searching. Note: Possibly, with tweaked parameters and mate-search heuristic when exact number of moves required is provided, they could find the solution, but I have not tried that.

Solution spoiler:

Depending on black's move choices, a few solutions exist (the idea is always the same, though and up until move 12 the line is always the same, too). Here's an example: 1. hxg8=N d5 2. Bf3 d4+ 3. Kb4 d3 4. Nh6 gxh6 5. g7 h5 6. g8=N h4 7. Nf6 exf6 8. e7 f5 9. e8=N f4 10. Nd6 cxd6 11. c7 d5 12. c8=N dxc4 13. Nb6 c3 14. dxc3 d2 15. Kb3 d1=Q 16. Rxd1 axb6 17. a7 b5 18. a8=Q b4 19. Be2 bxc3 20. Bf1 c2 21. Rc1 f3 22. Qxf3 Bf2 23. Bxg2+#

  • I can not find where is the solution for this puzzle? – Salvador Dali Jan 20 '15 at 4:07
  • 1
    @SalvadorDali Added solution in the post. – GloriaVictis Jan 20 '15 at 8:30
  • Where is white's mate after 22...Bc5+ followed by 23...Qg1? – GrizzlyRawrz Jan 20 '15 at 14:54
  • @GrizzlyRawrz I guess I am guilty of posting a problem (from my chess club) and not knowing a solution for it - this was my, apparently not successful, attempt at it. Apologies! Regardless, the remainder of the answer - the motif and comment about engines stands (actually, was part of the talk that evening). I suppose you will have to find the actual solution yourselves! – GloriaVictis Jan 20 '15 at 16:12
  • @GrizzlyRawrz After 22...Bc5+ Stockfish gives a solution for mate in 14. It starts with 23. Kb3 Qg1, 24. Bxg2+ Kh2 25. Rxg1 Bxg1 – jva Jan 23 '15 at 11:47
3

There are some tricky positions, where it looks like there is no solution, but then it turns out white must be able to take en passant. In these positions engines might overlook the mate, because they don't have the information about the last black move, whereas a human can deduce this information by retrograde analysis.

4k2r/8/5B1P/3R1KpP/8/8/8/8 w - - 0 1

In this position it is impossible to determine which variation leads to mate in two. It is only possible to show that there must be a mate in two-variation. Either black moved the pawn on his last move - then taking en passant leads to mate. Or he moved his king or rook - then king e6 leads to mate, as there is no more castling possible.

Edit: Another answer, that is just as irrelevant for all practical purposes: As we all know thanks to tablebases, there is a big number of forced checkmates out there, that are far beyond the calculation horizon of any engine. Of course we can use tablebases to detect those mates, but it doesn't take any stretch of the imagination, to acknowledge the existence of forced checkmates over thousands of moves, that aren't now, and likely never will be stored in a tablebase.

  • 2
    Technically (xkcd.com/1475), this indeed answers the question, as the question does not ask for "positions" but "examples" - usually, the definition of "position" also requires the specification of castling or en passant rights. – JiK Jan 19 '15 at 12:55
  • 3
    "Technically" the definition of "position" indeed requires the specification of castling or en passant rights. But in this case question and answer were obviously inspired by chess.stackexchange.com/questions/8400/… – BlindKungFuMaster Jan 19 '15 at 13:24

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.