The actual game-playing AI model used in the Nukem's problem experiment.
Mentioned in 1 video
Computerphile