The AI that solved IMO Geometry Problems | Guest video by @Aleph0
3Blue1Brown · 13:30
AlphaGeometry's headline result (25 of 30 IMO geometry problems, silver-medal level) is real, but the video's central point is that a 25-year-old, AI-free symbolic engine already solved 18 of those 30 — bronze-medal t...