@verbose Hmm. I have enough maths in my real life that I tend to avoid mathematical fiction (people are always asking me whether I've seen the films about Turing or Ramanujan or Hawking), but I
once analysed a mathematical passage of Stanislaw Lem's
His Master's Voice, and I did see
one film with a mathematical theme, based on a novel which in turn was based on a Borges short story.