Caros, Raramente me manifesto nesta lista, mas hoje tenho que concordar inteiramente com o Marcelo.
Abraços, Chico Miraglia On Thu, 13 Aug 2026 at 09:43 Marcelo Finger <[email protected]> wrote: > Caros. > > Eu só queria deixar bem claro, depois de uma leitura dos artigos > pertinentes, que o autor da prova do Conjectura de Crouzeix é um > especialista no assunto, a despeito de não ter nenhuma educação formal no > assunto. > > Ou seja, não é o caso de alguém no boteco da esquina entrar no chat gpt e > pedir para provar uma conjectura à escolha da máquina. Era alguém já bem > embrenhado no assunto que* usou e guiou a ferramenta* na *busca* de uma > prova. > > Ou seja, é uma ferramenta para auxiliar especialistas na atividade de > busca num espaço de tamanho alto. Ainda é força bruta, não é nem > criatividade nem genialidade, que são antropomorfismos inadequados, cuja > origem está numa *pareidolia semântica* e não na interpretação detalhada > do que foi atingido. > > Em resumo, em oposição ao que o Márcio está dizendo, não estamos diante de > outro sujeito epistêmico. Estamos diante de uma ferramenta de busca em > espaços de tamanho grande, uma ferramenta que expande a nossa capacidade > intelectual, mas que não é um sujeito epistêmico. > > > []s > > Marcelo > > > On Thu, Aug 13, 2026 at 12:33 AM Márcio Palmares <[email protected]> > wrote: > >> 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ê 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/CAA_hCxWw76VH%2BGc5FGo7C5BkpkjZQ32kC08XKe4Gry9dRkCbdA%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxWw76VH%2BGc5FGo7C5BkpkjZQ32kC08XKe4Gry9dRkCbdA%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 > <https://www.google.com/maps/search/Rua+do+Mat%C3%A3o,+1010+-+CEP+05508-090+-+S%C3%A3o+Paulo,+SP?entry=gmail&source=g> > > -- > 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/CAGG7Aw2ixc82CGsMW2FW%3DFRw_MnJ%2B3YhSYn%2BywJV5ThBnZAPEw%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw2ixc82CGsMW2FW%3DFRw_MnJ%2B3YhSYn%2BywJV5ThBnZAPEw%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/CAAPRoxGDnT-CmeKydhXP_YmPrL87oPGRAYtSd7drhUgK8x%3DX%3Dw%40mail.gmail.com.
