Pesquisa Análise Repercussão

Uso de IA em provas matemáticas gera debate entre pesquisadores

Avanços da OpenAI em demonstrações matemáticas levantam preocupações sobre a falta de compreensão humana nos resultados.

Por Redação Noticiário IA

· 3 min de leitura

Uso de IA em provas matemáticas gera debate entre pesquisadores
Imagem: Wired — IA

Resumo rápido

  • Demonstração de 166 páginas gerada por IA sobre equações de Navier-Stokes passa por revisão de especialistas.
  • Matemáticos criticam a falta de transparência e o risco de solucionar problemas sem a devida compreensão.
  • OpenAI criou um grupo consultivo após manifestação assinada por ganhadores da Medalha Fields.
Entenda o contexto

As equações de Navier-Stokes são fórmulas do século XIX empregadas para modelar o comportamento de fluidos. Na matemática, a resolução de problemas complexos não busca apenas respostas objetivas, mas a criação de novos conceitos e métodos teóricos.

A recente atuação da OpenAI no campo da matemática teórica tem provocado intensos debates entre pesquisadores acadêmicos. Uma análise publicada pela revista Wired nesta segunda-feira (28) destaca as reações da comunidade científica diante do uso de força bruta por modelos de inteligência artificial para resolver problemas históricos, como o que envolve as equações de Navier-Stokes, desenvolvidas no século XIX para descrever o fluxo de fluidos viscosos.

Velocidade versus compreensão matemática

Segundo a reportagem, a OpenAI apresentou uma demonstração de 166 páginas sobre o tema que permanece sob revisão por pares. Diferente do processo tradicional da disciplina — em que pesquisadores constroem conceitos progressivamente —, a solução foi entregue de forma direta pelo computador, exigindo agora que os especialistas tentem entender o caminho percorrido pela máquina.

Matemáticos ouvidos pelo veículo expressaram preocupação com a falta de clareza nos métodos utilizados. Tristan Buckmaster, matemático da Universidade de Nova York, sugeriu que a OpenAI pode ter utilizado trabalhos dele e de outros pesquisadores sem a devida atribuição. Além disso, Juspreet Singh Sandhu, da Universidade Estadual do Colorado, destacou que a comunidade ainda desconhece o grau de autonomia do sistema ou a quantidade de intervenção humana necessária durante o processo.

Declaração da comunidade e resposta da empresa

As críticas resultaram na assinatura de uma declaração on-line intitulada "A Severe Misalignment of AI in Mathematics", que alerta para o risco de a produção em massa de provas comprometer o desenvolvimento de novas ideias. Entre os signatários iniciais do documento estão 25 vencedores da Medalha Fields. Os pesquisadores enfatizam que o valor da matemática reside no entendimento dos conceitos e que a automação apressada pode contornar essa etapa essencial.

Em resposta ao movimento, a OpenAI cria grupo consultivo em matemática para orientar a aplicação da tecnologia na área. Um porta-voz da empresa afirmou por e-mail que a iniciativa busca garantir que os matemáticos tenham uma voz significativa e ressaltou a importância de um engajamento cuidadoso entre a indústria de IA e a comunidade científica.

Impactos na criatividade científica

Pesquisadores alertam que delegar cálculos complexos aos modelos de linguagem pode afetar a criatividade. Lorenzo Gavassino, físico teórico da Universidade de Cambridge, pontuou que o enfrentamento de cálculos difíceis costuma ser o motor para grandes avanços conceituais, citando como exemplo histórico a criação dos números imaginários no século XVI durante a resolução de equações cúbicas.

Atualmente, o documento de 166 páginas da OpenAI continua sendo analisado por especialistas, que buscam confirmar sua validade e compreender a lógica empregada pela ferramenta.

Referências

Links para conferência: não indicam endosso das fontes ao conteúdo do portal.

Comentários 0

Seja respeitoso. Comentários com links passam pela moderação.

Ninguém comentou ainda. Seja o primeiro!

Leia também