This video [A computer assisted proof of the symmetries of least energy] has been shared from the internet. If you find it inappropriate or wish for it to be removed, kindly contact us, and we will promptly take it down. Thank you for your understanding and cooperation!