...  ↑

\\Вы таки не учитываете no free lunch theorem.

Почему не учитываю?
Просто в рамках подхода это просто одно из следствий -- что наш мир не подчиняется какой-то единственной точной и окончательной формальной системе.
Чтобы проилюстрировать (но не объяснить) как это может быть, можно сослатся на Вольфрама с его "нового вида наукой".

\\Lerners бывают не только эволюционные, при этом затратность эволюционных лернеров убивает -- это обычно last resort.

Это зависит от того какое определение эволюционности используется.
У вас, в этом предложении оно звучит как аналог тупого брутфорса перебора вариантов.

На самом же деле, Эволюция ведет себя таки несколько сложнее.