DARPA busca acelerar a pesquisa matemática com IA

A Agência de Projetos de Pesquisa Avançada de Defesa dos EUA (DARPA) acredita que o avanço da matemática é lento demais e lançou o projeto expMath para acelerar a pesquisa usando IA. O objetivo é criar um 'coautor' de IA capaz de propor e provar abstrações matemáticas. Embora a IA se destaque na matemática básica, lidar com conceitos avançados representa um grande obstáculo. O sucesso do projeto depende de superar essa limitação, potencialmente exigindo abordagens além da tecnologia atual de modelos de linguagem grandes e explorando métodos alternativos como entrada visual ou auditiva.