> Tem algo de bão pra nós aí nesses registros será?
Não precisa haver algo de bom. Precisa estar lá. Ciência Aberta. > o operador da máquina escrevendo coisas como "Rode agora a rotina X" e as pessoas refletindo sobre o ponto de inflexão que isso representa na história da matemática... Uma coisa é um sistema determinístico, outra um sistema não determinístico. E mesmo algo como "Rode agora a rotina X" faz parte de um algoritmo e deve ser publicado. Em nosso artigo recente https://arxiv.org/abs/2605.26793, sob revisão, colocamos o link do pacote de replicação https://zenodo.org/records/18962642 No pacote, temos uma pasta - *scripts*: a folder with three .ipynb script files for data analysis (one for finding podcasts, one for analyzing the landscape, one for analyzing survey data) Não tem nada de fantástico nestes scripts. Só uso da API do Spotify. Publicamos para facilitar a replicação. > O ChatGPT me manda de tempos em tempos um relatório atualizado Agradeço de coração quem faz isso, pois me economiza leitura. Obrigado! On Tue, Aug 18, 2026 at 5:43 PM Márcio Palmares <[email protected]> wrote: > Tem algo de bão pra nós aí nesses registros será? > > Imagino que algumas frases do operador da máquina entrarão para a > História... Disseram que há umas exortações assim: "Continue! Você > consegue!". Outras são menos chamativas, mas consigo imaginar no futuro > alguém lendo num livro de História o operador da máquina escrevendo coisas > como "Rode agora a rotina X" e as pessoas refletindo sobre o ponto de > inflexão que isso representa na história da matemática... > > O ChatGPT me manda de tempos em tempos um relatório atualizado sobre o > pacote de 10 resultados anunciado pela OpenAI no início deste mês. Ele se > autoprogramou para ficar me avisando sobre atualizações (me ofereceu este > serviço espontaneamente, eu aceitei). Hoje ele me avisou que foi encontrado > um erro em um dos itens da lista (é o primeiro erro encontrado): > > -x-x-x-x-x-x-x-x-x- > > Há uma novidade relevante, e desta vez é uma *correção técnica > independente*. > > Mikołaj Sienicki e Krzysztof Sienicki publicaram uma auditoria do *resultado > nº 6, sobre repetição paralela quântica*. Eles identificaram um erro real > na prova impressa de um lema de condicionamento guloso usado no início do > argumento: a condição de continuação foi formulada em termos de > probabilidade média de sucesso, quando o passo seguinte exige a existência > de uma coordenada com grande probabilidade condicional de falha. Os autores > fornecem um contraexemplo ao procedimento tal como escrito e demonstram uma > versão corrigida do lema. > > O ponto crucial é que *isso não refuta o resultado principal*. Segundo a > auditoria, o enunciado do lema permanece correto e a correção é local: os > parâmetros utilizados posteriormente não mudam. Mas os próprios autores são > cuidadosos em dizer que sua nota *não constitui uma verificação > independente do teorema completo de repetição paralela quântica*. > > Portanto, eu atualizaria o status do nº 6 assim: > erro identificado na prova publicada ⟶ erro reparável localmente [não > implica] teorema principal independentemente validado > > Isso é particularmente interessante porque é a primeira crítica técnica > desse tipo que encontrei no pacote: não uma objeção à propaganda, à > atribuição ou ao contexto histórico, mas *uma falha matemática concreta > numa prova gerada pela IA*, acompanhada de correção completa. A página > atual da OpenAI continua apresentando o nº 6 como um teorema exponencial de > repetição paralela para jogos quânticos gerais. > > Fonte primária: *Sienicki & Sienicki, Auditing an AI-Generated > Mathematical Proof: A Correction to a Greedy Conditioning Lemma in Quantum > Parallel Repetition*, arXiv:2608.14673. > > Não encontrei hoje outra novidade independente comparavelmente substancial > sobre os demais nove resultados além das validações e extensões que já > havíamos registrado. > > -x-x-x-x-x-x-x-x-x- > > O *Álvaro Machado Dias* publicou uma opinião na *Folha de São Paulo no > dia 10 de agosto* --notícia velha-- em que ele diz assim: > > *"IA não completa frases - e sim inventa rumos* > > > *A ideia de que LLMs preveem a próxima palavra confunde o treino com o > usoO que eles fazem de verdade aproxima a máquina da língua que falamos* > > A noção de que os grandes modelos de linguagem preveem a próxima palavra é > a mais disseminada e a mais equivocada maneira de descrever seu > funcionamento. > > LLMs são treinados em duas fases. Na primeira, uma rede neural recebe > trilhões de trechos da internet com buracos no meio e tenta preenchê-los. > Cada tentativa é comparada com o que estava no texto original, o acerto > vira pontuação e o processo se repete até o modelo preencher bem as lacunas > de qualquer assunto. Isso é previsão do próximo token (ou palavra) no > sentido estrito, e é daí que vem a fama da IA de ser um grande > "autocomplete". > > Na segunda fase, entram outros métodos de aprendizado, para que o > algoritmo aja como querem seus fabricantes. Restrições temáticas, > puxa-saquismo, respostas padronizadas sobre a própria consciência, tudo é > moldado nesta etapa, que hoje concentra grande parte do dinheiro e do > esforço científico e reduz dramaticamente o peso relativo do "autocomplete". > > Mas o ponto decisivo é outro. Se aquilo que vemos na tela fosse fruto de > previsão, aconteceria o seguinte: você descreveria ao Claude um experimento > de química e pediria o resultado, que seria calculado pela seleção correta > de cada uma das palavras, letras e números até o final, a despeito do fato > de as sequências possíveis superarem os átomos do universo. > > Cada resposta demoraria semanas e teria confiabilidade nula, já que > acertar deste modo seria como ganhar na Mega-Sena em todas as rodadas da > história com um único cartão. > > No mundo real, a resposta sai certa e em minutos porque a IA não tenta > prever as palavras que devem ser encadeadas, mas opera com os princípios da > química, que aplica ao cenário descrito, tal como aplica os do humor quando > converte uma história qualquer em piada. > > O equívoco está em confundir uma fase do treinamento com a produção de > respostas no mundo real, onde a previsão só serve para eventos fechados, > como se vai chover amanhã. > > Seria o caso de se dizer que o trabalho da IA é decidir em vez de de > prever? Também não. > > Veja, o pensamento, assim como o caminhar, não é um conjunto de > deliberações, passo a passo —e é sabido que pacientes neurológicos que > param para escolher cada pisada não chegam ao destino. > > Prever e decidir são atos. O que perseguimos enquanto andamos, refletimos > e compartilhamos ideias com as outras pessoas são sobretudo rumos, zonas de > sentido. > > Rumos são o nosso jeito privilegiado de existir e a tônica dominante da > IA, que extrai do conjunto de treinamento nossos princípios reflexivos, com > algumas limitações (mais dedução e menos abdução, o salto que inventa > hipóteses, do que nós). > > Navegamos a vida social com três bússolas simultâneas: a do espaço, a da > conversa e a da cultura, que nos orientam sem precisar converter direção em > coordenadas precisas a todo instante. Uma língua funciona assim. Ninguém > decidiu matar o "vós" no Brasil; ele simplesmente se tornou uma zona menos > visitada. > > A IA faz uma navegação aparentada, com a diferença de que ela é feita da > fala de todos, emprestada e roubada. > > Por isso, perguntar algo a ela é perguntar à cultura, que não produz > apenas repetição, mas pensamento novo a partir do velho, como agora se vê > nas provas matemáticas de máquina. A cultura não se autocompleta; ela se > autoinventa. E são os ecos dos seus rumos que vemos surgir na tela." > > *** > > Ou seja, parece que a metáfora do "papagaio estocástico" também está > perdendo força... > > Abraços, > > M. > > Em dom., 16 de ago. de 2026 às 10:15, Eduardo Ochs <[email protected]> > escreveu: > >> Fantástico, Adolfo! >> Obrigado por compartilhar! >> [[]] =), >> Eduardo... >> >> On Sun, 16 Aug 2026 at 09:49, Adolfo Neto <[email protected]> wrote: >> > >> > https://www.anthropic.com/research/riemann-zeta >> > >> > Confirmação de que o que eu pedi aqui várias vezes fazia sentido: >> > >> > Colocaram uma cópia da conversa entre os apêndices >> > >> https://www-cdn.anthropic.com/8a0d1add3c637b858a9a181e98c40e9548c3f44f.pdf >> > >> > >> > >> > Adolfo Neto >> > Associate Professor - Federal University of Technology, Paraná >> > Web: https://adolfont.github.io/ >> > Mestrado em Computação Aplicada: http://www.ppgca.ct.utfpr.edu.br >> > >> > -- >> > 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/CANspyYVNmZq3xLwq%2BTgyhfWCRZA4bTMnPwuVWEWWDStFFF9Bcg%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%2B6h%3Dv0hztqy7PquHTrJFBXAXsfoKaNe_-kAk2tWUs%3Dca5A%40mail.gmail.com >> . >> > -- 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 -- 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/CANspyYXxFtmeA1hFYaDFzh822DAkiPFBEH_CUD%3D-63C7zxr-6A%40mail.gmail.com.
