I suspect models probably need "reasoning" ability - very lacking in current models. Perhaps, AlphaGeometry can do better.