The 2006 US IMO team members describe the steps they took to solve problems 13 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).
hardproblemsmovie.com
maa.org