Alexander Nazaryan / New York Times:A look at DARPA's “Exponentiating Mathematics” program, which aims to speed up progress in pure mathematics by developing an AI “co-author” to conduct research — Breakthroughs in pure mathematics can take decades. A new Defense Department initiative aims to speed things up using artificial intelligence.