EDUCATION & TRAINING
The AI that solved IMO Geometry Problems | Guest video by @Aleph0
3Blue1Brown
About This Tutorial
How AlphaGeometry combines logic and intuition. Check out Aleph0’s channel: Instead of sponsored ad reads, these lessons are funded directly by viewers: An equally valuable form of is to share the videos. Special thanks to Trieu Trinh for fact-checking the script. Blog post on an open-sourced geometry solver: Similar open-source model, Newclid, by Harmonic: - What's surprising 3blue1brown is a channel about animating math, in all senses of the word animate. If you're reading the bottom of a video description, I'm guessing you're interested than the average viewer in lessons here.