Adolfo Neto Associate Professor - Federal University of Technology, Paraná Web: *https://adolfont.github.io/ <https://adolfont.github.io/>* Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br
Em qui., 13 de ago. de 2026, 21:03, Joao Marcos <[email protected]> escreveu: > > Alguma dessas provas está mostrando os prompts, o chat inteiro e o custo > em tokens (quando houver)? > > Hummm... Por qual razão alguém deveria se preocupar em publicar todo > o histórico de uma determinada "conversa investigativa"? Não é comum > Ciência Aberta. Reprodutibilidade. Sei que não é muito comum na Lógica e na Matemática, mas fazíamos muito isso na Engenharia de Software. A pessoa usou uma ferramenta. Não tem custo quase nenhum fazer isso que eu disse: cria os links, coloca num apêndice os links (não o texto completo dos chats - ninguém merece). Easy peasy. em absoluto na Matemática relatar todos os tombos que alguém levou > enquanto tateava para encontrar a porta de saída... > Não antropomorfizar, por favor. É uma ferramenta. > Claro, pode cumprir um bom papel pedagógico tornar públicas as > interações com a LLM que tiveram papel epistêmico relevante na > obtenção ou na justificação do resultado. É disto que estamos > falando? > Mais do que isso, mas Isso também. Registro. Eu aprendi que é importante registrar o que a gente faz com ferramentas que é relevante pra obter o resultado, a menos que seja algo muito básico (usar uma planilha). > JM > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUs0zD_ZosoBLS3kOuHA8tbsKbRbRqKSQ%2BAD9viCMgK2Q%40mail.gmail.com.
