Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions