A

Alpha Geometry

software

The full AI system that integrates a language model for creative constructions with the DD + AR logical engine to solve IMO geometry problems.

Mentioned in 1 video

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

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

3Blue1Brown

The full AI system that integrates a language model for creative constructions with the DD + AR logical engine to solve IMO geometry problems.