Logic vs intuition <=> algorithm vs ML — LessWrong