Just as outstanding is that, in all these years, in terms of open-ended problem solving, nothing has truly managed to surpass it.
The conjunction of those two things is a bit scary because it suggests to me that current methods are probably not making the most effective use of compute. What happens when that is corrected?
Despite huge advances in technology, in computational power, and in the amount of engineers and grad students thrown at these problems, the magical reasoning feats have never been reproduced by anyone else - not even by Lenat's much more expensive project Cyc.
What's more, Lenat did not give a consistent account of the Traveler tournament. One time he claimed "ninety-six ships in Eurisko’s fleet, most of which were slow and clumsy because of their heavy armor", other times he would claim the winning strategy was "astronomical number of small ships like P.T. boats, with powerful weapons but absolutely no defense and no mobility".
The most probable explanation is that there's more myth than truth in the stories about EURISKO.
(on a less serious note, the jargon file entry for "bogosity" references Lenat; see http://itre.cis.upenn.edu/~myl/languagelog/archives/003515.h...)