A revolução da IA matemática ganha força

A DARPA lançou sua iniciativa “Exponentiating Mathematics” (expMath), uma medida ousada para acelerar as descobertas matemáticas usando IA. O objetivo: construir “coautores” de IA — sistemas capazes de decompor provas complexas em lemas gerenciáveis e compor teoremas inovadores. A DARPA está buscando propostas que combinem grandes modelos de linguagem, aprendizado por reforço e síntese de programas para avançar o raciocínio simbólico em matemática. O roteiro é modular: uma vertente 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-sucedida, a expMath poderá encurtar radicalmente os prazos de pesquisa, impactando a criptografia, a ciência dos materiais, a dinâmica dos 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 como humanos e máquinas colaboram em investigações matemáticas profundas.