Something interesting towards the end. Feynman describes Lenat's fleet in the game as being one giant ship with all the armour.
Previously I've heard that Lenat's winning fleet was many small ships.[0]
In a sense the details don't matter; what matters is that the winning solution was apparently quite different from all the other entrants submissions.
[0] https://www.wired.com/2016/03/doug-lenat-artificial-intellig...