News for hackers. Stuff that matters.

A comment on Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs. Parent comment

Re:Inductive or Deductive? Rethinking the Fundamental Reason... by scarmig on Monday September 02, 2024 @12:33AM (#41422598)
Is there a proof that collections of human neurons are capable of carrying out proofs in first order logic, in full generality?
[ Parent | on HN ]
Re:Inductive or Deductive? Rethinking the Fundamental Reason... by fmbb on Monday September 02, 2024 @12:45AM (#41422647)
Is anyone trying to prove that all humans can?
[ Parent | on HN ]