Solving Is Not Drawing: A Benchmark for Diagrammatic Reasoning in Olympiad Geometry
Foundation models such as GPT and Claude now solve olympiad-level mathematics with remarkable proficiency, so much so that geometry problem solving has become a standard proxy for their mathematical reasoning. Yet solving a geometry problem and drawing the figure it depends on are not the same skill: progress often hin...