To close, the initial figure was a problem from IMO Shortlist 2009, G7. According to our IMO expert @HoangT1215
, this problem previously only have computational solutions (using complex numbers, trigonometric computations etc). We were quite surprised to see AG2 producing an
AI Model Solves IMO Geometry Problem with Novel Approach
By
–
