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

From 3Blue1Brown. How AlphaGeometry combines logic and intuition. Check out Aleph0’s channel: https://youtube.com/@Aleph0 Instead of sponsored ad reads, these lessons are funded directly by viewers: https://3b1b.co/support An equally valuable form of support is to share the videos. Home page: https://www.3blue1brown.com Special thanks to Trieu Trinh for fact-checking the script. Blog post on an open-sourced geometry…