Yup. That story was my first thought:

https://gwern.net/doc/ai/poetry/1974-lem-cyberiad-trurlselec...

I can’t help but be eternally impressed by Lem’s ‘The Cyberiad’. Partly for Lem’s prescience and creativity. But mostly because of just how damn funny he can be.