Não é só isso, né? Mesmo a "leitura em voz alta", pouco _natural', pode ser corrigida pelo próprio ChatGPT se o usuário assim o pedir. Mas nada justifica ele escrever "para todo cisne x, se x é um cisne..."
[]s, JM On Fri, Nov 17, 2023, 08:27 Marcelo Finger <mfin...@ime.usp.br> wrote: > Oi Alexandre. > > >> o problema é como caracterizar para ele que queríamos uma leitura não > literal, mas uma interpretação da fórmula. > > Exatamente! Ele não tem senso comum pra saber que era isso que se > desejava. > > []s > > > Em qui., 16 de nov. de 2023 às 18:38, Alexandre Rademaker < > aradema...@gmail.com> escreveu: > >> >> Mas porque acha isso Marcelo? A tradução foi literal, o chatGPT ‘leu’ a >> fórmula. Não está ruim, o problema é como caracterizar para ele que >> queríamos uma leitura não literal, mas uma interpretação da fórmula. >> >> []s >> Alexandre >> >> > On 16 Nov 2023, at 17:52, Marcelo Finger <mfin...@ime.usp.br> wrote: >> > >> > Engraçado que, para um gerador de linguagem natural, o chatGPT gerou >> bem em linguagem formal mas teve um desempenho pífio naquilo que >> supostamente deveria ser sua especialidade. >> > >> > Explicação padrão: faltam dados ... >> > >> >> > > -- > Marcelo Finger > Departament of Computer Science, IME-USP > http://www.ime.usp.br/~mfinger > ORCID: https://orcid.org/0000-0002-1391-1175 > ResearcherID: A-4670-2009 > > Instituto de Matemática e Estatística, > > Universidade de São Paulo > > Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para acessar esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LibARtYAeqhm-E%2B_Bf20qhVLG6AzMD6cZ3GFw6w-1GuLw%40mail.gmail.com.