Alf

The AI that solved IMO Geometry Problems | Guest video by @Aleph0

3Blue1Brown

The YouTube channel run by Adita Chakravarti, which focuses on summarizing complex math topics.