OpenAI gera atritos com matemáticos devido a anúncios de IA
OpenAI libera centenas de resultados matemáticos gerados por inteligência artificial, gerando debates e preocupações entre pesquisadores.
Resumo rápido
- OpenAI publicou centenas de manuscritos com resultados matemáticos gerados por IA.
- Matemáticos expressaram preocupação com o volume e a falta de verificação formal.
- Apenas uma parcela dos resultados conta com formalização na linguagem Lean.
Entenda o contexto
A OpenAI é uma empresa de inteligência artificial conhecida por desenvolver modelos avançados como o ChatGPT. O termo Lean refere-se a uma linguagem de programação e assistente de prova matemática usado para verificar a correção lógica de teoremas por computador.
A divulgação recente de centenas de resultados matemáticos gerados por inteligência artificial pela OpenAI provocou reações intensas e debates entre dezenas de especialistas da área. Segundo relatos colhidos pelo veículo The Verge, pesquisadores descreveram o lançamento de forma impressionada e cautelosa diante do volume massivo de informações disponibilizadas de forma abrupta.
O material liberado abrange quase 400 resultados gerados por IA, distribuídos em mais de 700 manuscritos que cobrem diversas disciplinas da matemática, como combinatória, geometria, teoria dos números, ciência da computação teórica, álgebra, topologia e física matemática. Devido à imensidão do repositório no GitHub publicado pela empresa, a própria organização incluiu orientações sobre como navegar pelos documentos.
Verificação e desafios de qualidade
Um ponto central de discussão entre os matemáticos envolve o uso do Lean, uma linguagem de programação e assistente de prova que permite verificar resultados de forma computacional. Embora esses códigos ajudem a conferir credibilidade lógica aos argumentos, a OpenAI reconheceu que os resultados estão em diferentes estágios de verificação e que menos da metade dos manuscritos possui formalização descrita.
Pesquisadores como Kevin Buzzard, professor do Imperial College London, apontaram dificuldades em examinar o material sem uma validação rigorosa prévia, temendo a propagação de conteúdos de baixa qualidade ou com erros frequentes. Outros especialistas relataram que alguns textos apresentam grande brevidade ou dificuldades de leitura, exigindo um esforço prolongado de revisão que pode levar anos para ser concluído pela comunidade acadêmica.
Para saber mais sobre a relação entre a empresa e a comunidade científica, leia o artigo sobre a OpenAI gera atritos com matemáticos devido a anúncios de IA em nosso portal.
Referências
- Reportagem consultada: The Verge — IA
Links para conferência: não indicam endosso das fontes ao conteúdo do portal.
Gostou? Compartilhe:
Comentários 0
Ninguém comentou ainda. Seja o primeiro!
