From Newsgroup: sci.physics
Hi,
His last paper , that I am refering to, his
last opus , could have some merrits nevertheless.
Like if you are interested in intuitionistic logic,
and ever wondered what makes (a1 -> (a2 -> .. (an -> b)
..)) different from ((.. (b -> a1) .. -> an-1) -> an).
Kind of loophole to encode lists? But transformer
doesn't work with lists, its not that a transformer
would directly learn:
reverse(X, Y) :- reverse(X, [], Y).
reverse([], X, X).
reverse([X|Y], Z, T) :- reverse(Y, [X|Z], T).
Because transformers don't use LISP consing
representation. Neither for the input token stream
nor for the output token stream,
that ChatGPT shows tokens gradually appearing in
his UX is only a Gimmick.
Bye
Mild Shock schrieb:
Correct, but not my fault.
Taskfreak schrieb:
On 4/25/26 7:08 AM, Mild Shock wrote:
Hi,
Tarau died last month.
--- Synchronet 3.21f-Linux NewsLink 1.2