A montanha de evidências cresce a cada dia... Estamos esperando que pessoas mais competentes do que nós produzam uma síntese, uma visão panorâmica...
Eu acho que já é possível arriscarmos uma síntese... Eu diria: 1. Estamos diante de uma revolução tecnológica; 2. O alcance dessa revolução está desde já limitado pela contradição fundamental do capitalismo: produção coletiva versus apropriação privada; Isto é, todo o conhecimento é social, coletivo. Mas a tecnologia atual dos LLMs está sob controle privado, ou seja, poucas empresas privadas se apropriaram do conhecimento e agora estão nos vendendo uma forma de acesso a esse conhecimento de que elas se apropriaram! 3. Apesar disso, os LLMs e outros recursos a eles associados, a totalidade dos aparatos da IA, constituem uma ferramenta extraordinária. Grosseiramente falando: criamos máquinas que produzem conhecimento; 4. Filosoficamente, pela primeira vez em sua história a humanidade está diante de outro sujeito epistêmico: é como estar diante de uma inteligência alienígena; 5. Nós humanos somos especialistas em registrar ocorrências favoráveis de eventos e desconsiderar ocorrências desfavoráveis. Assim, temos vários insights improdutivos no curso de uma descoberta científica. Suponhamos: 7 tentativas, iluminações, revelações, sopros divinos, todos errados, infrutíferos. A oitava tentativa, contudo, dá certo: --- Sonhei com uma cobra mordendo o próprio rabo e então vi o que precisava! Nossa psicologia entra em ação bem aqui: esquecemos os insights errôneos e passamos a acreditar que o palpite que deu certo foi produto de algo especial. Não foi. Era uma tentativa como as outras. 6. Nós humanos nos apoiamos nos trabalhos de outros humanos: montamos um quebra-cabeças com peças que recolhemos na literatura. Nada surge do nada. É sempre analogia e recombinação de coisas já existentes o que produz novidades. Isso é tão verdadeiro que, por exemplo, Margareth Baron em sua história sobre o desenvolvimento do cálculo retratou Newton e Leibniz num epílogo: anticlimax total. A tese dela, aproximadamente, é a de que o cálculo "estava no ar", em Barrow, particularmente, e Newton e Leibniz apenas juntaram as peças do quebra-cabeças. (Discordo, mas é uma opinião perfeitamente defensável.) 7. Os LLMs fazem exatamente a mesma coisa descrita nos itens 5 e 6, com a importante diferença que não sentem preguiça, fome ou cansaço; não desgostam de certos ramos da matemática; não possuem sentimentos do tipo "detesto combinatória". Em consequência, eles caçam melhor do que nós; 8. Apesar da apropriação privada, a coisa está meio fora de controle: talvez estejamos presenciando um novo tipo de "força produtiva" capaz de romper a camisa de força, as "relações de produção ", onde até então essas forças produtivas vinham se desenvolvendo. Se um neurocirurgião sem treinamento específico em matemática pode operar a máquina produtora de conhecimento e extrair conhecimento matemático dela, isto por si só mostra que a infraestrutura mudou, as relações de produção mudaram... resta apenas a superestrutura atual (da ciência) desmoronar. Abraços, M. Em quarta-feira, 12 de agosto de 2026, Ruy Jose Guerra Barretto de Queiroz < [email protected]> escreveu: > “ > Latest crazy story from the frontiers of math and AI -- a neurosurgery > resident, with no training in advanced math, uses ChatGPT 5.6 to solve a > major open problem in numerical linear algebra. > ” > > https://x.com/stevenstrogatz/status/2087474852814880960?s=12 > > -- > 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/CANSQ7Qh1zzA1S%2Bh0YJri- > RBk7zpd8YOsCJifqkGEuZqCrvBVYQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANSQ7Qh1zzA1S%2Bh0YJri-RBk7zpd8YOsCJifqkGEuZqCrvBVYQ%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/CAA_hCxWw76VH%2BGc5FGo7C5BkpkjZQ32kC08XKe4Gry9dRkCbdA%40mail.gmail.com.
