30 Jul
2024
30 Jul
'24
12:47 a.m.
Alex,
The article you quoted by Gary Marcus is consistent with recent publications about
Generative AI. See the excerpt below, which I strongly agree with.
Many investors realize that Generative AI is useful for supporting NL interfaces to
complex computer systems (Wolfram, Kingsley, and the Permion.ai company that I am working
with are examples).
But by itself, Generative AI is too unreliable for applications that require accuracy and
precision. See the longer commentary by Gary M and many of the articles I have cited in
recent notes.
As for a collaborative project by Ontolog Forum, this is a discussion group, not a
development group. If anybody wants to form a separate project to do anything further, I
suggest that they start a separate email list for people on that project. I have too many
unfinished projects of my own to work on. And I suspect that is also true of many other
subscribers.
John
__________________
An excerpt from the article by Gary Marcus:
https://open.substack.com/pub/garymarcus/p/alphaproof-alphageometry-chatgpt…
I think that GenAI is vastly overrated and overhyped, but fear that its collapse may well
lead to an AI winter of sorts, like what happened in the mid-1980s, when AI “expert
systems” rapidly ascended and rapidly fell.
That said, I am certain that the impending collapse won’t lead to the absolute death of
AI. There is too much at stake.
What the collapse of generative AI might lead to, after a quiet period, is a renaissance.
Generative AI may well never be as popular as it has been over the last year, but new
techniques will come, new techniques that will work better, and that address some of the
failings of generative AI.
----------------------------------------
From: "Alex Shkotin" <alex.shkotin(a)gmail.com>
"In the final analysis, expecting AI to “solve” AGI without “System II” mechanisms
for symbol-manipulation is like expecting bears to solve quantum mechanics."
IMHO GM and GDM are on the way to formalize theoretic knowledge of sciences and
technologies. Huge work for many mathematicians for many years. Let's do it.
Alex