DARPA ha puesto en marcha su iniciativa "Exponentiating Mathematics" (expMath), una audaz iniciativa para acelerar los descubrimientos matemáticos mediante IA. El objetivo: construir "coautores" de IA, sistemas capaces de descomponer pruebas complejas en lemas manejables y componer nuevos teoremas. DARPA busca propuestas que combinen grandes modelos lingüísticos, aprendizaje por refuerzo y síntesis de programas para hacer avanzar el razonamiento simbólico en matemáticas. La hoja de ruta es modular: una vía se centra en el propio desarrollo de la IA, mientras que otra evalúa la IA frente a retos matemáticos de nivel profesional. Si tiene éxito, expMath podría acortar radicalmente los plazos de investigación y repercutir en la criptografía, la ciencia de los materiales, la dinámica de fluidos y otros campos. El programa también pretende democratizar el acceso a herramientas matemáticas avanzadas. La ambición de DARPA es clara: redefinir el modo en que humanos y máquinas colaboran en la investigación matemática profunda.