Matemáticos confrontam a OpenAI sobre o papel da IA na descoberta matemática

Vinte e cinco medalhistas do Prêmio Fields assinaram uma carta aberta criticando a OpenAI por supostamente minar suas contribuições intelectuais através da pesquisa matemática impulsionada pela IA. A carta destaca preocupações de que modelos de IA, como o Codex, estão sendo usados para gerar provas sem atribuição ou verificação adequadas, ameaçando a integridade da colaboração matemática. O professor do NYU, Tristan Buckmaster, acusou a OpenAI de pressioná-lo a não dar crédito a um colaborador da Anthropic por resolver um problema matemático significativo. A OpenAI recentemente retirou seu patrocínio para um evento de matemática na CalTech após enfrentar críticas de pesquisadores ali. A carta adverte que provas geradas por IA, frequentemente apressadas e não verificadas, correm o risco de interromper a cadeia de transmissão humana do conhecimento matemático. Ela apela por maior transparência e colaboração para garantir que as ferramentas de IA aprimorem, em vez de substituir, a estrutura intelectual da matemática. A carta segue a Declaração de Leiden, uma declaração de junho de matemáticos que delineia recomendações para navegar no impacto da IA em seu campo. Os autores argumentam que os desafios enfrentados pelos matemáticos se assemelham aos enfrentados em outras profissões criativas, enfatizando a necessidade de preservar os objetivos centrados no ser humano do trabalho científico.