El artículo «Can A.I. quicken the pace of math discovery?» describe la iniciativa "Exponentiating mathematics" de DARPA. El programa busca superar las limitaciones de la IA en razonamiento complejo aplicándola a las matemáticas puras. Su objetivo es desarrollar un sistema de IA que actúe como "coautor" de los matemáticos. Esto automatizaría el proceso laborioso de verificación de pruebas para acelerar los descubrimientos. El enfoque podría generar un "ciclo virtuoso": la estructura rigurosa de las matemáticas ayudaría a crear sistemas de IA más potentes, lógicos y comprensibles.