JBMO-SL 2016 G5
Let be an acute angled triangle with orthocenter and circumcenter . Assume the circumcenter of lies on the circumcircle of . Reflect across to obtain , and let the lines and meet at . Let and be the midpoints of and , respectively. Prove that the points and are cocyclic.

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.