Я со многими этими замечаниями согласен, но с одной оговоркой: под “эффективны” я понимаю разницу в эффективности на два-три порядка по энергии вычисления или скорости. Без этого все рассуждения оказываются в рамках “неустаканенности” – мелкие вариации, которые не очень стоит обсуждать. Если брать “логический рассуждатель на нейросетях” и какой-нибудь SoTA SAT-solver (SAT solver - Wikipedia), то они просто несопоставимы по эффективности. И даже тут можно добавлять куски нейросетевых и эволюционных алгоритмов, чтобы добиться улучшений – таких работ много. Хорошо у Pedro Domingos указано: на предельных задачах отдельные алгоритмы упираются в непреодолимые трудности по линии эффективности, и нужно их все комбинировать. Хватит ли десятка универсальных? Ответ: нет, не хватит, мы тут в начале бесконечности всегда.