Avanços da inteligência artificial em problemas matemáticos geram debate

A capacidade crescente de modelos de inteligência artificial em solucionar problemas matemáticos complexos tem provocado um intenso debate na comunidade científica. Recentemente, ferramentas desenvolvidas pela OpenAI e pela Anthropic alcançaram marcos históricos, incluindo avanços em desafios seculares como a hipótese de Riemann e a refutação da conjectura das distâncias unitárias. Embora os resultados sejam tecnicamente precisos, pesquisadores alertam para implicações epistemológicas, argumentando que a matemática exige a compreensão profunda dos processos, e não apenas a obtenção automatizada de respostas. Em resposta a esse cenário, 16 especialistas assinaram a Declaração de Leiden, um documento que propõe normas rigorosas para o uso, a verificação e a atribuição de créditos em trabalhos acadêmicos que incorporam IA. O movimento busca equilibrar o potencial tecnológico com a necessidade de manter a integridade e a transparência na produção do conhecimento matemático.