Tag
The article critiques current programming practices and the reliance on LLMs, arguing instead for better abstraction, documentation, and software stacks to make code more understandable and maintainable.
The article argues that autoregressive language models cannot achieve true understanding of formal mathematics and need verification methods, citing systems like Aleph that rely on strict mathematical proof.
Yann LeCun leaves Meta to found AI company AMI, focusing on world models based on Joint Embedding Predictive Architecture (JEPA). He believes LLMs are not the path to human-level intelligence and criticizes the current paradigm for lacking prediction and planning capabilities.
Yann LeCun argues that LLMs lack world models, making them unreliable for building agentic systems because they cannot predict the consequences of their actions.
The article discusses the potential paradigm-shifting impact of world models on AI, highlighting investments by Yann LeCun and Fei-Fei Li in this technology as a successor to the current LLM paradigm.
A 2026 blog post revisits M.H. van Emden’s 1982 vision of “Computer-Aided Thought” and argues that today’s conversational LLMs fail to deliver the structured, logic-based, friction-generating interlocutor he envisioned.
Bryan Cantrill critiques LLMs for lacking the optimization constraint of human laziness, arguing that LLMs will unnecessarily complicate systems rather than improve them, and highlighting how human time limitations drive the development of efficient abstractions.