Hacker News new | ask | show | jobs
by eli_gottlieb 233 days ago
That sounds like a category mistake to me. A proof assistant or logic-programming system performs deduction, and just strapping one of those to an LLM hasn't gotten us to "AGI".
1 comments
mcfry 233 days ago
A proof assistant is a verifier, and a tool so therefor a patch, so I really fail to see how that could be understood as the LLM having deduction.
link