Oi João, se algumas dessas pessoas publicarem as suas conversas com as LLMs a gente vai conseguir aprender o que funciona e o que não funciona lendo as conversas delas.
Se nenhuma dessas pessoas publicarem as suas conversas as outras pessoas interessadas em provarem teoremas com LLMs vão ter que aprender muita coisa sobre como interagir com LLMs praticamente do zero, gastando muitos tokens, dinheiro, energia e água. (Eu provavelmente fiz simplicações demais aqui - por favor me corrijam!) [[]], Eduardo... On Thu, 13 Aug 2026 at 21:03, Joao Marcos <[email protected]> wrote: > > > 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 > em absoluto na Matemática relatar todos os tombos que alguém levou > enquanto tateava para encontrar a porta de saída... > > 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? > > 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/CAO6j_Lg_%3DGVqjWohvFm%3DF7gisx%2Bh-C3OcO%3DALUqdEpDSM1vyHQ%40mail.gmail.com. -- 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/CADs%2B%2B6h1UNyt3URsDn-o36-ZS6BFVhnsJ9isuhkmpz_dGLdJzg%40mail.gmail.com.
