A DARPA lançou sua iniciativa "Exponentiating Mathematics" (expMath), uma iniciativa ousada para acelerar a descoberta matemática usando IA. O objetivo: criar "coautores" de IA - sistemas capazes de decompor provas complexas em lemas gerenciáveis e compor novos teoremas. A DARPA está buscando propostas que combinem modelos de linguagem de grande porte, aprendizado por reforço e síntese de programas para promover o raciocínio simbólico em matemática. O roteiro é modular: uma trilha visa o desenvolvimento da IA em si, enquanto outra avalia a IA em relação a desafios matemáticos de nível profissional. Se for bem-sucedido, o expMath poderá reduzir radicalmente os prazos de pesquisa, afetando a criptografia, a ciência dos materiais, a dinâmica de fluidos e muito mais. O programa também busca democratizar o acesso a ferramentas matemáticas avançadas. A ambição da DARPA é clara: redefinir a forma como humanos e máquinas colaboram em pesquisas matemáticas profundas.