The Rise of Computer-Assisted Explanations

The rise of computer-assisted explanation is becoming increasingly important. But skeptics like Chomsky and D'Elene have pointed out that these explanations can be unsatisfying. As yet, there are few powerful techniques for taking a computer-assisted proof or model to extract the most important ideas. And so we can expect such techniques will be an increasingly important aspect of scientific research over the next few decades.