Path: news.eternal-september.org!eternal-september.org!feeder3.eternal-september.org!weretis.net!feeder8.news.weretis.net!reader5.news.weretis.net!news.solani.org!.POSTED!not-for-mail
From: Mild Shock <janburse@fastmail.fm>
Newsgroups: sci.physics
Subject: Prologers are hurt the most by LLMs (Was: RETRO Project Sebastian
 Borgeaud et al. - 7 Feb 2022)
Date: Fri, 10 Jan 2025 11:18:20 +0100
Message-ID: <vlqs5b$2enuf$5@solani.org>
References: <vlkg1f$1vh4j$3@solani.org> <vln14q$2clhb$2@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Fri, 10 Jan 2025 10:18:19 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="2580431"; mail-complaints-to="abuse@news.solani.org"
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:128.0) Gecko/20100101
 Firefox/128.0 SeaMonkey/2.53.20
Cancel-Lock: sha1:IfZh/vq3BqGD1e11WUsdqu0YnR0=
X-User-ID: eJwNyLEBACEIBLCVQO6AH0cB9x/hbVKE5uoVcDp4edNkMC19emX1tl3dckSYXAef6zcmWvslF552wzxqGFDkD2eKFXU=
In-Reply-To: <vln14q$2clhb$2@solani.org>

Hi,

Prologers with their pipe dream of Ontologies
with Axioms are most hurt by LLMs that work
more on the basis of Fuzzy Logic.

Even good old "hardmath" is not immune to
this coping mechanism:

"I've cast one of my rare votes-to-delete. It is
a self-answer to the OP's off-topic "question".
Rather than improve the original post, the effort
has been made to "promote" some so-called RETRO
Project by linking YouTube and arxiv.org URLs.
Not worth retaining IMHO.
-- hardmath

https://math.meta.stackexchange.com/a/38051/1482376

Bye

Mild Shock schrieb:
> Hi,
> 
> More details on RAG, see here RETRO Project (*) at t=12:01:
> 
> What's wrong with LLMs and what we should be building instead
> Tom Dietterich - 10.07.2023
> https://youtu.be/cEyHsMzbZBs
> 
> So its not a very new technique now appearing in
> generative AIs on the market as well. Some chat bots
> are even now able to sometimes show more clearly the
> 
> used source documents in their answer. The MSE end
> user can still edit a citation by hand to conform
> more to the SEN format, if this would be the issue.
> 
> Also the MSE end user can explicitly now ask a chat
> bot for sources, which he will get most of the time.
> Or he can give a chat bot a source for review and
> 
> discussion. This works also. So there is not anymore
> this "remoteness" of an LLM to the actual virtual
> world of documents. Its more that they now inhabit the
> 
> actual virtual world and interact with it. Another issue
> I see is that in certain countries and educational
> institutions, it might the case that working with a
> 
> chat bot is something that the students learn,
> yet they are not officially allowed to use it on
> MSE, because MSE policies are based on outdated
> 
> views about generative AI.
> 
> See also:
> 
> (*) RETRO Project:
> 
> Improving language models by retrieving from trillions of tokens
> Sebastian Borgeaud et al. - 7 Feb 2022
> https://arxiv.org/abs/2112.04426
> 
> Bye
> 
> Mild Shock schrieb:
>> Hi,
>>
>> Now you can listen to Bird songs for a minute:
>>
>> 2016 Dana Scott gave a talk honoring Raymond Smullyan
>> https://www.youtube.com/watch?v=omz6SbUpFQ8
>>
>> A little quiz:
>>
>> Q: And also on the Curry-Howard Isomorphism. Is
>> there a nice way to put it in bird-forest form like To
>> Mock a Mocking Bird. This book made everything so
>> simple and intuitive for me.
>>
>> A: Hardly, because xx has no simple type.
>>
>> Right?
>>
>> Bye
>