La revolución de la IA matemática despega

La DARPA ha lanzado su iniciativa «Exponentiating Mathematics» (expMath), una audaz medida para acelerar los descubrimientos matemáticos mediante el uso de la IA. El objetivo: crear «coautores» de IA, es decir, sistemas capaces de descomponer demostraciones complejas en lemas manejables y componer teoremas novedosos. La DARPA busca propuestas que combinen grandes modelos lingüísticos, aprendizaje por refuerzo y síntesis de programas para avanzar en el razonamiento simbólico en matemáticas. La hoja de ruta es modular: una vía se centra en el desarrollo de la IA en sí, 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, lo que repercutiría en la criptografía, la ciencia de los materiales, la dinámica de fluidos y otros campos. El programa también busca democratizar el acceso a herramientas matemáticas avanzadas. La ambición de la DARPA es clara: redefinir la forma en que los seres humanos y las máquinas colaboran en la investigación matemática profunda.