3Blue1BrownAnimated math

The AI that solved IMO Geometry Problems