I like "N is a Number – A Portrait of Paul Erdös"
There's also "Dangerous Knowledge", I think about Boltzmann, Cantor, and Gödel. Or "The Beautiful Mind of John Nash" (sic) the Documentary, not to be confused with the pop movie...
But you can find much more and deeper fun by looking for lectures, for example:
"A Tribute to Euler" – William Dunham:
Of these there are many more than I could put in a single toot, @codingquark!
A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.
\) for inline LaTeX, and
\] for display mode.