Can you like to the proof? It seems so implausible that chess has been 'solved'... How do we know an even higher time searching will not work?