Theorem Proving

1 video summary

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

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

3Blue1Brown