News for hackers. Stuff that matters.

A comment on Yann LeCun to depart Meta and launch AI startup focused on 'world models'. Parent comment

Re:Yann LeCun to depart Meta and launch AI startup focused o... by vbarrielle on Wednesday November 12, 2025 @10:44AM (#45901563)
Automated theorem provers are also built around backtracking, which is absent in LLMs.
[ Parent | on HN ]

There are no comments on this comment yet.