When he lost was during that time when there was a split between FIDE and PCA. I've always wondered if there was some leverage there that IBM could have just gone to the PCA champ for the match instead. As reigning champ, he should have been able to dictate terms to IBM, not the other way around. PCA would have jumped at the idea of having IBM spending a ton of money claiming theirs was the true champion.
My personal view is that computers should have to play candidate matches as well to get to a championship match. Well, should have, it's a moot point now that the desktop can beat the GM's.
Last I looked, computers didn't evaluate their own opening book. They are basically programmed not to play certain things. Computers should only be allowed opening books built by computers. I'm really curious if novelties would develop.