How does AI solve problems? — LessWrong