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

描述

[Submit subtitle corrections at criblate.com] In January 2024, Google DeepMind released an AI model called Alpha Geometry, which could solve geometry problems from the International Mathematical Olympiad, or the IMO. The IMO is the highest level of competitive math contests at…