
        Why Symbolic AI Failed — and Then Won
<p>Become an Omega or Aleph Member on Yotuube and help us keep this going! 🙏
<a href="mailto:https://www.youtube.com/@aboutlogic">https://www.youtube.com/@aboutlogic</a></p>
<p>Or you can buy us a coffee here: <a href="https://buymeacoffee.com/aboutlogic">https://buymeacoffee.com/aboutlogic</a></p>
<p>Further Reading &amp; Resources:
Get the HoTT Book for free (no advertisement): <a href="https://homotopytypetheory.org/book/">https://homotopytypetheory.org/book/</a>
Thorsten Altenkirch: <a href="http://www.cs.nott.ac.uk/~psztxa/">http://www.cs.nott.ac.uk/~psztxa/</a>
Deniz Sarikaya: <a href="https://www.denizsarikaya.de/">https://www.denizsarikaya.de/</a>
Creative Production: Jan-Niklas Meyer: <a href="http://www.jammos.com/">http://www.jammos.com/</a></p>
<p>Join the Discussion: Have questions or thoughts to share? Drop a comment below and engage in a discussion with fellow viewers and experts.</p>
<h1 id="gofaisymbolicaillmartificialintelligenceplatophilosophyofmindformalverificationaboutlogic">GOFAI #SymbolicAI #LLM #ArtificialIntelligence #Plato #PhilosophyOfMind #FormalVerification #aboutlogic</h1>
      

Why Symbolic AI Failed — and Then Won | aboutlogic Premises #09
Symbolic AI — "GOFAI" — was meant to be the foundation of machine intelligence, and it failed spectacularly in the 1980s. In this premises episode, Thorsten  and Deniz explore why, and how statistical AI, the technology that replaced it, may now be quietly bringing symbolic reasoning back — including a Platonic twist: if Plato thought the world of ideas came first, modern AI suggests structure and reasoning actually emerge only after fuzzy, statistical pattern recognition. They land on what Thorsten calls a "paradoxical synthesis": statistical AI winning the race is exactly what now makes rigorous, formally verified symbolic AI possible.


aboutlogic: premises #09 | Why Symbolic AI Failed — and Then Won

Description