Prof. Van den Herik was the world's authority on solving games.
GM Sveshnikov was the world's authority on engine analysis.
There is no need for 3 grandmasters:
in the ICCF finals we have 17 ICCF (grand)masters with engines at average 5 days/move.
You've got the wrong end of the stick, though, regarding the application of game theory to chess. Chess doesn't work that way, since game theory is statistical and chess cannot be statistical, since one variation among trillions of variations could hypothetically reverse the assumption that chess is drawn with good play.
You know, last week I was showing the current British Correspondence Play Champion white's main ideas in the Modern Benoni. We'd played two 20 minute games over the board and I won the first one with the modern Benoni. I blundered in the second two pawns up and it was drawn. The reason I was showing him some of the main variations is that apparently no-one plays the MB in Correspondence chess. He wants to improve his otb ability. The relevance is that the MB is considered nearly unsound, although it probably doesn't lose. The idea that more solid play loses by force is preposterous, as I'm sure you'll agree. So are all the ideas about a zugzwang for black, leading to a forced win for black. Just weak thinking and a lack of understanding of the fact that there are trillions of permutations of legal moves. Even if a forced win were to be found for white, it wouldn't be possible to prove it existed.
BTW I'm sticking to my definition of good play as anything that doesn't lose. A moment's reflection should convince anyone that it isn't circular thinking.
@9190
"both participants are unable to see far enough to avoid the horizon problem"
++ There is no need to see far enough, there is only a need to select among the legal moves a move that does not worsen the game state from draw to loss.