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?utm_source=email&redirect=app-store

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@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