At Elon Musk's Web site X, just saw their
invitation to try their AI software:<p><pre><code> 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.
</code></pre>
There is a lot on the Internet about how
'smart' current AI is in general and also
for math at<p><pre><code> https://epoch.ai/frontiermath
</code></pre>
Okay, for a "Try":<p>Given triangle ABC, by construction find D
on AB and E on BC so that the lengths AD =
DE = EC.<p>As a college freshman, solved this quickly
using an idea I cooked up in 10th grade.<p>So, just gave the problem to Grok 3. At
first, it did well restating the problem.<p>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.<p>Then did this ~4 more times.<p>Net, it quit and, thus, failed.<p>For the English language part, it did
okay. For finding an idea that solved the
problem, it never got started and failed.<p>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.<p>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.<p>If Grok 3 failed at what I cooked up in
the 10th grade, then there is not much
hope soon for AI at<p><pre><code> https://epoch.ai/frontiermath</code></pre>