From 2013, which might be why the most recent movie referenced is Brave. If you're interested in a slightly more concrete example of the math going into Pixar

From 2013, which might be why the most recent movie referenced is Brave. If you're interested in a slightly more concrete example of the math going into Pixar movies, here's a Numberphile interview with Tony DeRose from around the same time: https://news.ycombinator.com/item?id=8610626 https://news.ycombinator.com/item?id=8610626