DARPA busca acelerar la investigación matemática con IA

La Agencia de Proyectos de Investigación Avanzada de Defensa de EE. UU. (DARPA) cree que el avance de las matemáticas es demasiado lento y lanzó el proyecto expMath para acelerar la investigación utilizando IA. El objetivo es crear un 'coautor' de IA capaz de proponer y probar abstracciones matemáticas. Si bien la IA destaca en matemáticas básicas, abordar conceptos avanzados representa un gran obstáculo. El éxito del proyecto depende de superar esta limitación, potencialmente requiriendo enfoques más allá de la tecnología actual de modelos de lenguaje grandes y explorando métodos alternativos como la entrada visual o auditiva.