Might as well ask if computers have solved billiards. Program a robotic arm to shoot the best angles in pool. People will still prefer to play each other. Chess was also created to be played against our fellow man. Computers can't appreciate the beauty or risk of a well played match. A computer cannot solve why chess captures the mind as it does.
I want to see a tennis playing robot.
I've already used engines to prove that chess is a forced draw. I'm sure others have found the proof as well.
Has the proof been published anywhere? How did you get over the horizon effect, or does it not matter in your proof?