Frozen percolation on the binary tree

I originally produced this 10 minute video for the German Probability & Statistics Days Mannheim (27.9 - 1.10 2021), but it was not used in the end since it was replaced by a 30 minutes live talk, the slides of which you can find here.