3Blue1Brown

The AI that solved IMO Geometry Problems (2025x8)

Air date: Aug 17, 2025

How AlphaGeometry combines logic and intuition.