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: comp.lang.prolog
Subject: Re: Prolog Education Group clueless about the AI Boom?
Date: Mon, 3 Mar 2025 14:20:14 +0100
Message-ID: <vq4aae$10843$2@solani.org>
References: <vq4a7g$10843$1@solani.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 3 Mar 2025 13:20:14 -0000 (UTC)
Injection-Info: solani.org;
	logging-data="1056899"; 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:Q3JgKSkQj/4+qS0oetJ2F6kA7NM=
In-Reply-To: <vq4a7g$10843$1@solani.org>
X-User-ID: eJwFwQcBwEAIBDBLPLPIYRz+JTQx8ecT6uZqZyc827c8xSslAIVcthEa5oXJXWrinqUPwYecLI1H8ObLH5GeFwM=


My suspicion, teaching WalkSAT as an altermative
to DPLL, and show its limitations would maybe give
more bang. We are currently entering an era that
already started in the end of 1990

when some new probabilistic complexity classes
were defined. Many machine learning techniques
have also such an aspect, and it will only get
worse with Quantum Computing. Having

a grip on these things helps also distinguishing
when a AI acts by chance, or whether it diverts from
chance and shows some excelling adaptation to the
problem domain at hand. Like here,

anybody an idea what they mean by “above chance”?

Intuitive physics understanding emerges from
self-supervised pretraining on natural videos
https://arxiv.org/abs/2502.11831

Mild Shock schrieb:
> Concerning this boring nonsense:
> 
> https://book.simply-logical.space/src/text/2_part_ii/5.3.html#
> 
> Funny idea that anybody would be interested just now in
> the year 2025 in things like teaching breadth first
> search versus depth first search, or even be “mystified”
> by such stuff. Its extremly trivial stuff:
> 
> Insert your favorite tree traversal pictures here.
> 
> Its even not artificial intelligence neither has anything
> to do with mathematical logic, rather belongs to computer
> science and discrete mathematics which you have in
> 1st year university
> 
> courses, making it moot to call it “simply logical”. It
> reminds me of the idea of teaching how wax candles work
> to dumb down students, when just light bulbs have been
> invented. If this is the outcome
> 
> of the Prolog Education Group 2.0, then good night.
>