CAN A.I. QUICKEN THE PACE OF MATH DISCOVERY?

Summary from the TLDR newsletter

DARPA is enlisting researchers to find out ways to conduct high-level mathematics research with an AI 'co-author'. It has created a grant-making program called Exponentiating Mathematics to speed up to pace of progress in pure math. Pure math is a domain where visionary theoreticians make audacious observations about how the world works. Progress in the field can take decades or centuries to solve.