LLMs aren't creating a new intellectual program — they're reviving symbolic AI's old questions
Amichayg · reddit · 2026-09-07
The author argues current AI discourse is overly LLM-centric, and many seemingly radical advances are older ideas becoming newly practical. Automated theorem proving via LLMs traces a lineage back to Principia Mathematica, the Logic Theorist, and the broader symbolic-AI tradition — foundational questions were posed early, then displaced by more scalable approaches.
Revisiting those traditions matters: the general concept of an automated proof assistant raises questions not exhausted by Lean, Agda, or whichever tool an LLM masters. Even if LLMs become excellent at operating these systems, that won't automatically surface the most distinctive interpretive questions — and the best frameworks may already exist in older traditions of logic, automated reasoning, and philosophy of mathematics. The current moment is less a new intellectual program, more old programs becoming viable.
More from AGI Musings
- LEAP survey: 194 experts put >50% odds on a major AI-driven harm event by 2050 — ben_j_todd · 2026-09-07
- Interp researcher: mech interp must work far faster than 8.5 years, or CoT monitoring wins — ArthurConmy · 2026-09-07
- AI X-Risk Advocate Fires Back at Skeptics: Warning the World Is the Logical Response — nabla_theta · 2026-09-07
- Writer's Handwritten Essay Scored 100% AI-Generated by Pangram Detector — austinc3301 · 2026-09-07
- Economist: AI has net-created over 1M US jobs, postponing the jobs apocalypse — QuintinPope5 · 2026-09-07
- Hameroff revives quantum consciousness theory: aromatic amino acids form a 'Quantum Underground' — JosephJacks_ · 2026-09-07