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

AI breakthrough in geometric theorem proving using a novel heuristic approach. Researchers develop HAGeo, solving 28/30 IMO-level geometry problems by efficiently generating auxiliary construction points, surpassing previous neural network methods.