It's not a movie, but the creator of the show Futurama is a computer scientist and one of the writers is a mathematician. It has quite a bit of mathematics in it, and a new combinatorics result was even proven to resolve the plot of the episode "The Prisoner of Benda"!
http://gizmodo.com/5618502/futurama-writer-invented-a-new-math-theorem-just-to-use-in-the-show
Here is a website devoted to the mathematics of Futurama:
In case you can't tell, I like Futurama.
