LeCun Says the LLM Revolution Is Over. The Verification Argument Is the Part Worth Arguing With.
Yann LeCun, as reported, argues LLMs cannot offer behavioral guarantees because they are trained on a sliver of possible inputs. That verification argument...