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
- Economist Bharat Chandar named Research Director for AI Economics at Stanford Digital Economy Lab — RishiBommasani · 2026-10-27
- Pangram AI detector backlash: critics' false claims born of deeper fear of AI writing — gleech · 2026-10-27
- Aeon's former EVP: AI agents are the most impactful innovation of my lifetime — akumar · 2026-10-27
- Physicists Let AI Pick Its Own Problem—It Wrote a Publishable Paper in 2 Hours — burny_tech · 2026-10-27
- Deep learning veteran warns: don't let entrenched disbelief derail prep for the next big tech — jachiam0 · 2026-10-27
- Should platforms serve third-party AI agents? The antitrust question — sjgadler · 2026-10-27