From Newsgroup: comp.lang.prolog

Hi,

Good Morning Vietnam, the HPC-AI Convergence
doesn't sleep. Here a friendly reminder of
the Sudoku leader board (Topn87 Challenge):

#1: jczsolve / Rust WASM
Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)
https://emerentius.github.io/sudoku_web/

#2: Kudoku / JavaScript
Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)
https://attractivechaos.github.io/plb/kudoku.html

#3: Picat / import cp. solve([ff],L)
CPU time 0.175 seconds
https://picat-lang.org/

#4: Picat / import sat. solve(L)
CPU time 0.373 seconds
https://fmv.jku.at/kissat/

Tested on Windows 11, with a AMD Ryzen AI 350

Didn't test yet GNU Prolog, ECLiPSe Prolog or
Ciao Prolog. So whats next? Well beat #1 by
tapping into an NPU of Copilot+ PC.

Have Fun!

Its Winner Winner Chicken Dinner time again...

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

No joke, I have a new CLP heuristic coded,
and made a blind test. Explaind to the AI
what I coded, but not how coded it,

omitted the crucial scoring function, and
the AI was exactly proposing this scoring
funcion out of the blue.

I was quite bamboozled. The AI could not tell
me how it recalled or halucinated the formula,
I spent like 1-2 hours trying to find a

precedent paper. Will blog about it later.
So whats going on . Why can AI suddently
propose Heuristics. Because they are now

differently trained:

Phase 1: Early LLMs (~2018rCo2020)
Phase 2: LLMs with Prompted Reasoning (~2020rCo2022)
Phase 3: Scaling & Reasoning Engineering (~2023rCo2025)

Training an AI to look for heuristics,
can help in self programming. The generative
part of the AI would generate some code,

which then the AI would use for itself. See also:

How it started:

AI for Low-Code for AI
Nikitha Rao, Jason Tsay, Kiran Kate,
Vincent J. Hellendoorn, Martin Hirzel - 2023
https://arxiv.org/abs/2305.20015

How its going:

Successor-Generator Planning with LLM-generated Heuristics
Alexander Tuisov1, Yonatan Vernik2,
Alexander Shleyfman - 2024
https://arxiv.org/abs/2501.18784v4

Bye

Mild Shock schrieb:

Hi,

Good Morning Vietnam, the HPC-AI Convergence
doesn't sleep. Here a friendly reminder of
the Sudoku leader board (Topn87 Challenge):

#1: jczsolve / Rust WASM
-a-a-a Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)
-a-a-a https://emerentius.github.io/sudoku_web/

#2: Kudoku / JavaScript
-a-a-a Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)
-a-a-a https://attractivechaos.github.io/plb/kudoku.html

#3: Picat / import cp. solve([ff],L)
-a-a-a CPU time 0.175 seconds
-a-a-a https://picat-lang.org/

#4: Picat / import sat. solve(L)
-a-a-a CPU time 0.373 seconds
-a-a-a https://fmv.jku.at/kissat/

Tested on Windows 11, with a AMD Ryzen AI 350

Didn't test yet GNU Prolog, ECLiPSe Prolog or
Ciao Prolog. So whats next? Well beat #1 by
tapping into an NPU of Copilot+ PC.

Have Fun!

Its Winner Winner Chicken Dinner time again...

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

How to spot a failed coping with AI?
Very easy, if somebody starts some gibberish
about consciousness you can be sure he is clueless:

Are AI minds genuine minds?
A genuine mind is typically associated with
consciousness, self-awareness, intentionality,
and the capacity to experience mental states such as emotions. https://events.rice.edu/event/416255-moshe-vardi-world-logic-day-lecture

What will be Moshe Vardi conclusion nowadays,
that self programming is a first form of
inner monologue? Well I guess the GPUs have

termal activity either way, who cares?

LoL

Bye

P.S.: Just observe how clever Alan Turing was:
He writes near the beginning of the paper:

rCLI propose to consider the question, rCyCan machines
think?rCO This should begin with definitions of the
meaning of the terms rCymachinerCO and rCythink.rCOrCY

To avoid endless philosophical debate, he replaces
it with the imitation game.

Key points:
- Word usage rCo Turing does not use the word rCLconsciousnessrCY
in the paper as a criterion for the test.

- Intent rCo He wanted to sidestep debates about
inner experience and focus on observable behavior.

- Later interpretations rCo Many later philosophers
and AI critics have connected the Turing Test to
questions of consciousness, but this is a re-
interpretation or extension of TuringrCOs original proposal.

So, while the Turing Test is often brought into
discussions of machine consciousness, Turing himself
did not mention it in that context in his 1950 paper.

Mild Shock schrieb:

Hi,

No joke, I have a new CLP heuristic coded,
and made a blind test. Explaind to the AI
what I coded, but not how coded it,

omitted the crucial scoring function, and
the AI was exactly proposing this scoring
funcion out of the blue.

I was quite bamboozled. The AI could not tell
me how it recalled or halucinated the formula,
I spent like 1-2 hours trying to find a

precedent paper. Will blog about it later.
So whats going on . Why can AI suddently
propose Heuristics. Because they are now

differently trained:

Phase 1: Early LLMs (~2018rCo2020)
Phase 2: LLMs with Prompted Reasoning (~2020rCo2022)
Phase 3: Scaling & Reasoning Engineering (~2023rCo2025)

Training an AI to look for heuristics,
can help in self programming. The generative
part of the AI would generate some code,

which then the AI would use for itself. See also:

How it started:

AI for Low-Code for AI
Nikitha Rao, Jason Tsay, Kiran Kate,
Vincent J. Hellendoorn, Martin Hirzel - 2023
https://arxiv.org/abs/2305.20015

How its going:

Successor-Generator Planning with LLM-generated Heuristics
Alexander Tuisov1, Yonatan Vernik2,
Alexander Shleyfman - 2024
https://arxiv.org/abs/2501.18784v4

Bye

Mild Shock schrieb:

Hi,

Good Morning Vietnam, the HPC-AI Convergence
doesn't sleep. Here a friendly reminder of
the Sudoku leader board (Topn87 Challenge):

#1: jczsolve / Rust WASM
-a-a-a-a Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)
-a-a-a-a https://emerentius.github.io/sudoku_web/

#2: Kudoku / JavaScript
-a-a-a-a Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)
-a-a-a-a https://attractivechaos.github.io/plb/kudoku.html

#3: Picat / import cp. solve([ff],L)
-a-a-a-a CPU time 0.175 seconds
-a-a-a-a https://picat-lang.org/

#4: Picat / import sat. solve(L)
-a-a-a-a CPU time 0.373 seconds
-a-a-a-a https://fmv.jku.at/kissat/

Tested on Windows 11, with a AMD Ryzen AI 350

Didn't test yet GNU Prolog, ECLiPSe Prolog or
Ciao Prolog. So whats next? Well beat #1 by
tapping into an NPU of Copilot+ PC.

Have Fun!

Its Winner Winner Chicken Dinner time again...

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

Now replace "machine" by "bioform", and "think"
by "life" in the Turing Test, and you get the
Gladiator Test. The judgement is not by a single

counterpart behind a teletype, but a crowd,
we could invoke the image of a Hollywood thumbs-up or
thumbs-down gesture as signalling a yes or no.

Source:

Adrian Tchaikovsky
Dogs of War
https://en.wikipedia.org/wiki/Dogs_of_War_(2017_novel)

How TchaikovskyrCOs deepens the Turing Analogy

- From "Can it think?" to "Does it suffer? Does
it deserve to live?" TuringrCOs test is about cognitive
performance. The bioformsrCO struggle is about moral
standing. Their "Turing Test" isnrCOt to prove
intelligence (they are clearly intelligent), but
to prove consciousness, sentience, and intrinsic
value to a society that legally defines them as "equipment."

- The Crowd is the Global Public & Legal System
In the novel, the "crowd" isn't just a Roman audiencerCoit's
the court of public opinion, international law, media,
and corporate boardrooms. The question is whether this
"crowd" will show mercy (granting personhood) or
condemn them to remain weapons.

Etc.. Etc..

Have Fun!

Bye

Mild Shock schrieb:

Hi,

How to spot a failed coping with AI?
Very easy, if somebody starts some gibberish
about consciousness you can be sure he is clueless:

Are AI minds genuine minds?
A genuine mind is typically associated with
consciousness, self-awareness, intentionality,
and the capacity to experience mental states such as emotions. https://events.rice.edu/event/416255-moshe-vardi-world-logic-day-lecture

What will be Moshe Vardi conclusion nowadays,
that self programming is a first form of
inner monologue? Well I guess the GPUs have

termal activity either way, who cares?

LoL

Bye

P.S.: Just observe how clever Alan Turing was:
He writes near the beginning of the paper:

rCLI propose to consider the question, rCyCan machines
think?rCO This should begin with definitions of the
meaning of the terms rCymachinerCO and rCythink.rCOrCY

To avoid endless philosophical debate, he replaces
it with the imitation game.

Key points:
- Word usage rCo Turing does not use the word rCLconsciousnessrCY
in the paper as a criterion for the test.

- Intent rCo He wanted to sidestep debates about
inner experience and focus on observable behavior.

- Later interpretations rCo Many later philosophers
and AI critics have connected the Turing Test to
questions of consciousness, but this is a re-
interpretation or extension of TuringrCOs original proposal.

So, while the Turing Test is often brought into
discussions of machine consciousness, Turing himself
did not mention it in that context in his 1950 paper.

Mild Shock schrieb:

Hi,

No joke, I have a new CLP heuristic coded,
and made a blind test. Explaind to the AI
what I coded, but not how coded it,

omitted the crucial scoring function, and
the AI was exactly proposing this scoring
funcion out of the blue.

I was quite bamboozled. The AI could not tell
me how it recalled or halucinated the formula,
I spent like 1-2 hours trying to find a

precedent paper. Will blog about it later.
So whats going on . Why can AI suddently
propose Heuristics. Because they are now

differently trained:

Phase 1: Early LLMs (~2018rCo2020)
Phase 2: LLMs with Prompted Reasoning (~2020rCo2022)
Phase 3: Scaling & Reasoning Engineering (~2023rCo2025)

Training an AI to look for heuristics,
can help in self programming. The generative
part of the AI would generate some code,

which then the AI would use for itself. See also:

How it started:

AI for Low-Code for AI
Nikitha Rao, Jason Tsay, Kiran Kate,
Vincent J. Hellendoorn, Martin Hirzel - 2023
https://arxiv.org/abs/2305.20015

How its going:

Successor-Generator Planning with LLM-generated Heuristics
Alexander Tuisov1, Yonatan Vernik2,
Alexander Shleyfman - 2024
https://arxiv.org/abs/2501.18784v4

Bye

Mild Shock schrieb:

Hi,

Good Morning Vietnam, the HPC-AI Convergence
doesn't sleep. Here a friendly reminder of
the Sudoku leader board (Topn87 Challenge):

#1: jczsolve / Rust WASM
-a-a-a-a Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)
-a-a-a-a https://emerentius.github.io/sudoku_web/

#2: Kudoku / JavaScript
-a-a-a-a Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)
-a-a-a-a https://attractivechaos.github.io/plb/kudoku.html

#3: Picat / import cp. solve([ff],L)
-a-a-a-a CPU time 0.175 seconds
-a-a-a-a https://picat-lang.org/

#4: Picat / import sat. solve(L)
-a-a-a-a CPU time 0.373 seconds
-a-a-a-a https://fmv.jku.at/kissat/

Tested on Windows 11, with a AMD Ryzen AI 350

Didn't test yet GNU Prolog, ECLiPSe Prolog or
Ciao Prolog. So whats next? Well beat #1 by
tapping into an NPU of Copilot+ PC.

Have Fun!

Its Winner Winner Chicken Dinner time again...

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2

From Newsgroup: comp.lang.prolog

Hi,

This is a brief description of a project that
has already autoformalized a large portion of
the general topology from the Munkres textbook
(which has in total 241 pages in 7 chapters
and 39 sections).

The proof checker is Chad Brown's higher-order
set theory system Megalodon, and the core library
is Brown's formalization of basic set theory
and surreal numbers (including reals, etc).
The rest is some prompt engineering and
technical choices which we describe here.

130k Lines of Formal Topology in Two Weeks
https://arxiv.org/abs/2601.03298

Is this the end to the mess, of the same
theorem proved with proof assistant A, but
using set theory, and also proved with proof
assistant B, but using type theory.

How malleable are LLM generated proofs?

Bye

Mild Shock schrieb:

Hi,

Good Morning Vietnam, the HPC-AI Convergence
doesn't sleep. Here a friendly reminder of
the Sudoku leader board (Topn87 Challenge):

#1: jczsolve / Rust WASM
-a-a-a Solving 87 Sudokus in 0.006 seconds (0 sec / Sudoku)
-a-a-a https://emerentius.github.io/sudoku_web/

#2: Kudoku / JavaScript
-a-a-a Solving 87 Sudokus in 0.043 seconds (0.0004 sec / Sudoku)
-a-a-a https://attractivechaos.github.io/plb/kudoku.html

#3: Picat / import cp. solve([ff],L)
-a-a-a CPU time 0.175 seconds
-a-a-a https://picat-lang.org/

#4: Picat / import sat. solve(L)
-a-a-a CPU time 0.373 seconds
-a-a-a https://fmv.jku.at/kissat/

Tested on Windows 11, with a AMD Ryzen AI 350

Didn't test yet GNU Prolog, ECLiPSe Prolog or
Ciao Prolog. So whats next? Well beat #1 by
tapping into an NPU of Copilot+ PC.

Have Fun!

Its Winner Winner Chicken Dinner time again...

Bye

--- Synchronet 3.21a-Linux NewsLink 1.2