Logic reasoning and neural nets, once dismissed, became AI's most used tools
luislamb · x · 2026-10-31
Author luislamb reflects that two CS&AI areas widely dismissed during his lifetime — logic-based automated reasoning/verification and neural networks — ended up becoming the most widely used technologies in the field. He grew up hearing they "had no future," and uses this to underscore the case for Neurosymbolic AI, tagging AvilaGarcez, Vardi, and GaryMarcus.
More from AGI Musings
- Security researcher: 'one-person APTs' likely already exist, like one-person companies — cyb3rops · 2026-10-31
- Why AI won't rewrite the OS: decades of accumulated edge cases are the real moat — AryHHAry · 2026-10-31
- V建议大学生记「agency 日志」练主动性，网友：需要日志说明已被系统驯化 — rickasaurus · 2026-10-31
- Why AI can't just build the next Opus: the bottleneck is verification, not generation — AryHHAry · 2026-10-31
- DeepMind's Gemini agent pipeline cracks rules for 11 unresolved BB(6) Turing machines — rvp · 2026-10-31
- Snowflake exec to teams: empathy is the top AI skill, stop sharing 90-minute videos — marlene_zw · 2026-10-31