The 2006 US IMO team members describe the steps they took to solve problems 4-6 of the International Mathematical Olympiad.
Hard Problems is a feature documentary about the extraordinarily gifted students who represented the United States in 2006 at the world's toughest math competition—the International Mathematical Olympiad (IMO).
https://www.zalafilms.com/hardproblems/hardproblems.html