Matemáticos reagem com fúria após OpenAI lançar centenas de novas provas geradas por IA

É seguro dizer que, quando se trata de matemáticos, a OpenAI não está exatamente conquistando corações e mentes.

Na terça-feira, a criadora do ChatGPT lançou centenas de novos artigos com supostas provas para todos os tipos de problemas matemáticos — logo após uma controvérsia explosiva sobre como seus agentes de IA chegaram a uma solução para as equações de Navier-Stokes.

A forma como o lançamento foi conduzido, assim como no caso de Navier-Stokes, irritou especialistas na área, que se ressentem com a possibilidade de os modelos da empresa estarem usando seu trabalho — e com a expectativa implícita de que eles devem realizar o trabalho árduo de desmembrar e verificar as provas do modelo de IA, às vezes quase incompreensíveis.

Um grupo chamado Association for Human Mathematics divulgou um comunicado criticando duramente o lançamento da OpenAI, que foi então recompartilhado e efetivamente endossado pelo matemático vencedor da Medalha Fields Terence Tau, uma figura importante na comunidade.

“Os matemáticos têm uma visão particular do progresso que é informada pela história e por considerações específicas da área”, começou o comunicado. “Rejeitamos a afirmação da OpenAI de que este lançamento faz avançar o nosso tema, e instamos os matemáticos e o público a encararem o valor deste modelo de publicação com o devido ceticismo.”