The Future of Geometric Reasoning

I tried some minor experiments. I'm not sure if it understands geometry for instance. It has read a lot of things and it knows if you make a construction like you draw a triangle and then on two of the sides you mark the midpoints and then connect them. What happens? We see some parallel lines there. But these are proofs that have been written time and time again on the internet. The model has learned that and it simply replicates this if you ask it for that. This is an intuition. These will be supported much quicker than geometry. Geometrical reasoning is not that easy for these technologies. Chatsh EPT is not symbolic. You could call it probabil