Matemáticos pedem boicote à OpenAI após divulgação de 700 provas feitas por IA de uma só vez

A OpenAI publicou de uma só vez mais de 700 manuscritos matemáticos escritos por IA. Um dia depois, a empresa retirou três deles: as provas continham um erro de sinal. A Association for Human Mathematics respondeu com um chamado ao boicote à OpenAI. O medalhista Fields Terence Tao afirmou que a "colheita" em massa de problemas em aberto pode deixar ramos inteiros da matemática menos férteis.

O que aconteceu

A matemática funciona em ritmo lento. Primeiro os colegas leem o trabalho, depois os revisores, e só então ele ganha a reputação de verificado. A OpenAI quebrou esse ritmo: centenas de textos apareceram num único momento, e agora cabe a pessoas verificá-los.

O erro de sinal nos três trabalhos mostrou onde está o gargalo. Gerar uma prova plausível é rápido. Confirmar que ela está correta exige conferir cada passo, e isso consome horas de trabalho humano. Os materiais de origem não explicam por que justamente esses três trabalhos continham erros nem como os demais foram verificados.

O nome da associação já diz tudo: ela defende a matemática feita por pessoas. Na formulação do grupo, o boicote tem como alvo a OpenAI enquanto empresa, e não as ferramentas de IA em geral.

O argumento de Tao: o esgotamento do solo

A posição de Tao é mais interessante do que uma simples preocupação com qualidade. Ele não diz que a IA erra. O que o preocupa é que a IA dá conta do trabalho em escala excessiva. Os problemas em aberto da matemática são um recurso limitado. Cada um deles funciona como ponto de crescimento: em torno de uma questão difícil, ao longo de anos, surgem métodos, escolas e subáreas inteiras. Se o sistema for lançado sobre tudo e "colher" as soluções dos problemas ao seu alcance, jovens pesquisadores perdem o material com o qual aprendem e constroem carreira.

Tao descreve o fenômeno com a palavra harvesting, ou seja, colheita. Se os problemas forem retirados do campo sem que uma nova teoria cresça ao redor deles, sobra terra nua. A solução pode estar correta, mas a comunidade não ganha o entendimento que normalmente vem junto com ela.

Principais fatos da história:

• Volume: mais de 700 manuscritos publicados de uma só vez.
• Retirada: três trabalhos retirados no dia seguinte.
• Motivo da retirada: erro de sinal.
• Reação da comunidade: a Association for Human Mathematics anunciou um chamado ao boicote à OpenAI.
• Principal argumento de Tao: a resolução em massa de problemas em aberto esgota a "fertilidade" de áreas da matemática.

Como revistas e pesquisadores podem lidar com isso

A história levanta questões práticas concretas, que agora precisarão ser resolvidas.

Primeiro: verificação formal. Se a prova é gerada por máquina, é razoável exigir dela um artefato formal verificável, e não apenas um PDF. Num sistema assim, um erro de sinal é detectado automaticamente, sem depender do esforço do revisor.

Segundo: indicação de origem. Revistas e repositórios precisam de regras claras: quem é o autor, qual parte foi feita pelo modelo, quem responde pelos erros. Sem isso, a retirada de um trabalho vira um problema de reputação para toda a área.

Terceiro: limites para publicações em lote. Nenhum processo editorial consegue avaliar setecentos textos de uma vez. A comunidade terá de combinar um ritmo compatível com a capacidade de verificação.

Quarto, e este diz respeito aos próprios pesquisadores. Quem trabalha com problemas em aberto deve lembrar que o valor de um problema não se resume à sua solução. A teoria em torno dele continua nas mãos das pessoas, e é isso que a IA ainda não substitui.

O boicote pode acabar sendo um gesto simbólico. Mas a pergunta por trás dele não é simbólica: quem verifica a matemática, e como, quando escrevê-la fica mais barato do que lê-la.