Lösen ist nicht Zeichnen: Ein Benchmark für diagrammatisches Reasoning in Olympiad-Geometrie

arXiv:2608.18111v1 Foundation Models wie GPT und Claude lösen nun Olympiad-Mathematik mit beeindruckender Kompetenz, sodass das Lösen von Geometrie-Problemen zu einem Standard-Proxy für mathematisches Reasoning geworden ist. Doch ein Geometrie-Problem zu lösen und es zu zeichnen sind unterschiedliche Fähigkeiten.