Até agora, é "ciência normal", no sentido de Kuhn: resolução de quebra-cabeças.
(Não confundir com algo banal, ciência normal não é ciência banal, mas é um gênero de atividade científica claramente delimitado. Os quebra-cabeças podem ser extraordinamente difíceis e a sua resolução pode levar a algumas modificações locais, na área em que foram formulados.) Mas não apareceu ainda algo como um Programa de Erlangen proposto por uma máquina. Isso nos deixa um pouco menos assombrados, por ora. Minha dúvida: será que, até agora, essas máquinas só resolveram quebra-cabeças por que os matemáticos contratatos pelas startups estão preocupados com resultados que depois possam ser imediatamente verificados em Lean? Pois às vezes trabalhos como "uma teoria geral das equivalências naturais" (Eilenberg-Mac Lane) só mostram sua efetividade dez ou vinte anos depois de apresentadas... Seja como for, cada avanço da máquina gera um avanço ainda maior dos humanos. Os humanos sempre estão um passo à frente da máquina. (Minha crença não justificada. Esperança.) Abraços, M. Em sábado, 1 de agosto de 2026, Adolfo Neto <[email protected]> escreveu: > Não vejo assim. > Há um desespero para tentar dar lucro. > Estão atirando para todos os lados. > Por enquanto, não está dando certo. > Torço pelo fracasso e que esqueçam disso. > Google já "largou mão" do AlphaFold https://www.youtube. > com/watch?v=BuiEVOSTbN4&feature=youtu.be > > 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%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ >> 1%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> >> . >> > > > -- > 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ê 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/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x% > 2BDbGTMgDVgE23oAXDEQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x%2BDbGTMgDVgE23oAXDEQ%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_hCxU%2BboE7%3D6Zc9_bRUibKC1ETwG%3DQ1ms5v4K-E2thg6HwUQ%40mail.gmail.com.
