Stop. we've got a point! It is very possible that Chinook can win any winning position, but this was never proved scientifically.Ed Trice wrote:2. Weakly solved means winning every winnable position, not losing from the starting position, and being able to hold a draw from any position that is a draw. This is what Chinook can do.

It's like Last Fermant's Theorem in math: for 358 years since 1637 everyone felt like it was a right statement, but this legendary theorem was finally proved only in 1995. Same situation here with Chinook - "it is obvious, but it is not proved."

The only thing really was proved, that if both sides make all right moves - it is a drawn result. Nothing else was proved scientifically. An arguments like ... "please play with Chinook and see how good it is" not working very well.

BTW. WCC perfect 7 pieces database is awesome!