integralof5y
Re:When Jorge Luis Borges met one of the founders of AI
on Wednesday April 02, 2025 @02:59PM (#43560198)
Borges and Herbert Simons are two great minds, but their conversation is not deep since is mostly shared view about the meaning of human and machine intelligence. Today, with LLMs we have a tool to explore the relation between intelligence and language, between number of parameters, neural nets architectures and much more. So that conversation give us no new insight but is delightful to share time with such great people.
Re:UCSD: Large Language Models Pass the Turing Test
on Wednesday April 02, 2025 @10:38AM (#43557216)
The five minutes phone call makes this claim dependent of duration. What happens when you allow 10 minutes time?
Re:Systems Correctness Practices at AWS: Leveraging Formal and Semi-Fo...
on Wednesday April 02, 2025 @02:51AM (#43554253)
MECE seems to be just a mathematical partition, so it seems there is not need of a new term and acronym.
Re:Gemini 2.5
on Wednesday March 26, 2025 @12:43PM (#43484117)
A prolog program, swipl (it takes less than a second to solve your puzzle)
N is number of turns of don't know answers. the bad predicate means that the person can know its number at turn N.
bad(_,_,_,-1) :- !,false.
bad(_,A,A,0) :- !.
bad(A,_,A,0) :- !.
bad(A,A,_,0) :- !.
bad(B,C,A,N) :- D is abs(B-A),D<C,N1 is N-1, bad(B,D,A,N1),!.
bad(C,A,B,N) :- D is abs(B-A),D<C,N1 is N-1, bad(D,A,B,N1),!.
bad(A,B,C,N) :- D is abs(B-A),D<C,N1 is N-1, bad(A,B,D,N1),!.
solve(X,Y,Z) :- Y1 is X-1, between(1,Y1,Y),
between(0,2,N), Z is X-Y,bad(X,Y,Z,N).
?- solve(65,X,Y).
X = 26,
Y = 39 ;
X = 39,
Y = 26 .