Mais de 150 especialistas em matemática assinaram a Declaração de Leiden sobre IA e Matemática, alertando governos contra o excesso de entusiasmo sobre as capacidades da inteligência artificial na resolução de problemas complexos. O grupo defende que o avanço tecnológico deve ser guiado por julgamento humano, citando riscos de soluções falsas e incentivos comerciais para exageros.
A declaração, que possui 11 páginas, afirma que o futuro da pesquisa matemática deve ser orientado por práticas transparentes e valores da comunidade global. A vice-presidente da International Mathematical Union, Ulrike Tillmann, disse que a IA “levanta questões que não podem ficar sem exame”. O documento adverte que a indústria de tecnologia possui um forte incentivo comercial para superestimar os produtos.
Um dos signatários, Leslie Ann Goldberg, explicou que as técnicas automatizadas atuais podem gerar argumentos plausíveis, mas não confiáveis ou incorretos, o que dificulta a distinção de provas matemáticas válidas. A pesquisa em matemática depende de resultados anteriores, tornando a verificação essencial.
Além da matemática, a declaração apontou outros riscos da IA, incluindo seu envolvimento em programas de vigilância em massa e o desenvolvimento de tecnologias que promovem desinformação. O documento também mencionou que pesquisadores têm sido forçados a apoiar a tecnologia devido à falta de financiamento em educação superior.
