The Rise of Computer-Aided Explanation
Quanta Magazine

Computers can translate French and prove mathematical theorems. But can they make deep conceptual insights into the way the world works?
Spread the word