Mais dois pontos na ótima explicação do Marcelo: - por que a OpenAI não publica os prompts utilizados? - qual foi o custo da tentativa que deu certo e de todas as tentativas que não deram.m certo?
// Vi agora que mandei várias respostas só para o remetente 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 ter., 4 de ago. de 2026, 20:12, Marcelo Finger <[email protected]> escreveu: > Caros. > > Deixa eu explicar uma coisa sobre o uso das LLMs em matemática e em geral: > o segredo está naquilo que NÃO foi contado. > > Conseguiram resolver 10 problemas? Mas quantos foram tentados? E para os > que foram "resolvidos", quantas tentativas houve? > > A verdade é que raramente uma prova destas é feita do zero. Em geral, tem > a supervisão de um matemático que conhece os problemas a fundo, conhece > soluções de outros problemas, e conhece formas de provar aquele teorema em > especial, algumas promissoras e outras que reconhecidamente levam a um > beco sem saída. Aí todos os artigos relevantes são alimentados na IA, > todos o conhecimento acumulado e as tentativas de prova são expostos e aí > vem um prompt: você conseguiria alterar esta linha de raciocínio para não > cair naquela cilada conhecida? > > E aí a máquina, usando sua capacidade e velocidade, explora o espaço de > busca com muita rapidez, e apresenta uma alternativa solicitada. Que na > maioria das vezes está errada, furada ou contém lacunas intransponíveis. > > Só que, de vez em quando, acerta. E, nesse caso, de quem é o mérito? Do > programa, ou de quem o alimentou com as informações corretas e avaliou a > resposta? > > []s > > > On Sat, Aug 1, 2026 at 3:31 PM Walter Carnielli < > [email protected]> wrote: > >> https://cdn.openai.com/pdf/ten-proofs-oai.pdf >> >> >> "Ten Advances in Mathematics >> and Theoretical Computer Science" >> By OpenAI >> >> >> Será que ninguém está notando? >> >> W. >> >> >> >> Walter Carnielli >> CLE and Department of Philosophy >> University of Campinas –UNICAMP, Brazil >> >> AI2- Advanced Institute for Artificial Intelligence >> Blog https://waltercarnielli.com/ >> >> >> >> >> >> >> >> -- >> LOGICA-L >> Lista acadêmica brasileira dos profissionais e estudantes da área de >> Lógica <[email protected]> >> --- >> Você recebeu essa mensagem porque está inscrito 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/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > -- > 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, Estatística e Ciência da Computação > > 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 <[email protected]> > --- > Você recebeu essa mensagem porque está inscrito 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/CAGG7Aw0UQvFh900ZOeYLvofqvSWdEgor-RfZh9FpyJ0GBSvB8A%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0UQvFh900ZOeYLvofqvSWdEgor-RfZh9FpyJ0GBSvB8A%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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/CANspyYVdnFG1iFFFcsR0KV-fwSAa0mmzciuCmwOxZO915Dd8Bw%40mail.gmail.com.
