3blue1brown 4 weeks ago
Grant Sanderson #Science

3Blue1Brown | The AI that solved IMO Geometry Problems

How AlphaGeometry combines logic and intuition.

3Blue1Brown
Grant Sanderson