At Elon Musk&#x27;s Web site X, just saw their
invitation to try their AI software:<pre><code> Grok 3 is here. Try it for free.

 The world&#x27;s smartest AI, Grok 3, is
 now available on X and iOS. Tap
 below to try.
</code></pre>
There is a lot on the Internet about how
&#x27;smart&#x27; current AI is in general and also
for math at<pre><code> https:&#x2F;&#x2F;epoch.ai&#x2F;frontiermath
</code></pre>
Okay, for a &quot;Try&quot;: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&#x27;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 &#x27;training&#x27; set. So,
Grok 3 is good at plagiarizing English
text but not at &#x27;understanding&#x27; it.Knuth&#x27;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<pre><code> https:&#x2F;&#x2F;epoch.ai&#x2F;frontiermath</code></pre>

Grok 3 AI and Some Plane Geometry