Grok 3 AI and Some Plane Geometry

At Elon Musk's Web site X, just saw their invitation to try their AI software:

     Grok 3 is here. Try it for free.

     The world's smartest AI, Grok 3, is
     now available on X and iOS.  Tap
     below to try.

There is a lot on the Internet about how 'smart' current AI is in general and also for math at

     https://epoch.ai/frontiermath

Okay, for a "Try":

Given triangle ABC, by construction find D on AB and E on BC so that the lengths AD = DE = EC.

As a college freshman, solved this quickly using an idea I cooked up in 10th grade.

So, just gave the problem to Grok 3. At first, it did well restating the problem.

Then it tried, guessing at the length AD, using a compass to draw a circle, etc., and finally stated why that effort didn't work, i.e., the guess for the length AD was just a guess and likely wrong.

Then did this ~4 more times.

Net, it quit and, thus, failed.

For the English language part, it did okay. For finding an idea that solved the problem, it never got started and failed.

An idea that solves the problem is likely not in the Grok 3 'training' set. So, Grok 3 is good at plagiarizing English text but not at 'understanding' it.

Knuth's program TeX is good at formating math. The text editor Kedit beats a typewriter for entering text. The program Aspell is good at checking English language spelling. A Brother printer is terrific at printing English language text. But none of these four have much hope at solving this geometry problem.

If Grok 3 failed at what I cooked up in the 10th grade, then there is not much hope soon for AI at

     https://epoch.ai/frontiermath