Re: AI for optimization?

George Neuner <gneuner2@comcast.net>
Mon, 26 May 2025 00:28:50 -0400

          From comp.compilers

Related articles
AI for optimization? anton@mips.complang.tuwien.ac.at (2025-05-24)
Re: AI for optimization? arnold@freefriends.org (2025-05-25)
Re: AI for optimization? mwardgkc@gmail.com (Martin Ward) (2025-05-25)
Re: AI for optimization? antispam@fricas.org (2025-05-25)
Re: AI for optimization? 643-408-1753@kylheku.com (Kaz Kylheku) (2025-05-26)
Re: AI for optimization? gneuner2@comcast.net (George Neuner) (2025-05-26)
| List of all articles for this month |
From: George Neuner <gneuner2@comcast.net>
Newsgroups: comp.compilers
Date: Mon, 26 May 2025 00:28:50 -0400
Organization: Compilers Central
References: 25-05-016 25-05-018
Injection-Info: gal.iecc.com; posting-host="news.iecc.com:2001:470:1f07:1126:0:676f:7373:6970"; logging-data="63042"; mail-complaints-to="abuse@iecc.com"
Keywords: optimize
Posted-Date: 26 May 2025 13:20:15 EDT

On Sun, 25 May 2025 03:52:17 +0000, arnold@freefriends.org wrote:


>In article 25-05-016,
> <anton@mips.complang.tuwien.ac.at> wrote:
>>I am just surprised that I read and hear so much about work based on LLMs, which
>>seems to be a dubious technology for doing things where correctness is
>>important. What am I missing?
>
>The fact that AI is "hot" right now? "Sexy"? "Good for getting
>startup capital"? Who cares about correctness?


ANNs can be made into excellent pattern matchers. The probem IMO is
that too many "applications" are not simply matching patterns and
acting upon them, but rather are matching pattern /prefixes/ or
subsets of the complete pattern, and then acting /as if/ the complete
pattern exists.


This is what "generative" LLMs are doing: e.g., the AI sees the words
"brown" and "jumped", assumes "The quick brown fox jumped over the
lazy dogs", and bases its responses on that sentence.


If it turns out that, in fact, the user was seeking information on
"Encyclopedia Brown"[1] and the pickup truck rather than on different
species of canines interacting ... well, too bad.




>Pardon my cynicism.


Neural AI has been around since the 1950s ... I've been following it
since the late 1980s. It just wasn't practical to train even small
ANNs until (relatively) low cost SIMD became available.


Now ANNs have grown to scales where, even having cheap SIMD, once
again the computational costs have become an issue for training (and
retraining when relevant).
[The costs can be an issue even for deployment, though less so.]


ANNs are best used as high speed probablistic pattern matchers - which
includes use as associative memories. The problems are in relevant
scoring/comparison of multiple possible matches [stability], dealing
with low scoring matches [guessing], trusting that the ANN
usually/always will be correct [non-technical users], and how the
responses are being used [again, non-technical users].


I think a rule based logic system using ANN for input matching is a
good combination with a lot of potential. You don't need to resort to
ANN logic - rule based systems can account for probabilities ["fuzzy"
logic]. I remain unsold on ANN logic because - at least currently -
it neither can be verified, nor easily changed. Having to retrain
your ANN logic every time some conditional in the problem set changes
is a non-starter for me.


YMMV.


>Arnold
George




[1] https://en.wikipedia.org/wiki/Encyclopedia_Brown


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.