JBMO-SL 2016 G2
Let be a triangle with . Let and be the feet of the perpendiculars from to the external angle bisectors of and , respectively. Let be the circumcenter of the triangle . Prove that the circumcircles of the triangles and are tangent to each other.

Dataset text NuminaMath olympiads. Quoted with source.
Solutions
No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.