There is no credible documentation of EURISKO's achievements. No one has every actually seen EURISKO's source code except for Lenat.
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.
IIRC there were two different Traveler entries in different years, and they changed the rules in between to fix the problems the first win had revealed. After the second win they said they'd cancel the tournament if he entered again.
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...)