Mais uma notícia fresquinha, de ontem, 20 de maio: https://openai.com/index/model-disproves-discrete-geometry-conjecture/?fbclid=Iwb21leAR70wRjbGNrBHvS-2V4dG4DYWVtAjExAHNydGMGYXBwX2lkDDM1MDY4NTUzMTcyOAABHmQmX3SaJKMzxrShUm1ayEj8rCbCaBriYmic2XPiF5MMzVEHxOGKhylp5uwg_aem_eLvRgvwamTIM02GDC5zQig
Dessa vez, porém, não é um problema muito específico no qual pouca gente estava trabalhando. Não é um problema de olimpíada. Agora é um marco histórico mesmo, como diz o Tim Gowers no artigo com os comentários. Uma máquina resolveu um importante problema em aberto, um problema clássico. Essa era a última trincheira do ceticismo: "OK, mas as máquinas resolvem por força bruta, nunca de forma realmente inteligente; OK, mas as máquinas geram provas totalmente incompreensíveis, que nada acrescentam ao conhecimento humano; OK, mas máquinas resolvem apenas problemas de livro, de olimpíadas, nunca um importante problema em aberto." Tudo isso caiu por terra. A última trincheira desse ceticismo foi tomada. É uma sorte a nossa, vivermos nesses tempos, podermos presenciar uma revolução científica... Abraços, M. Em segunda-feira, 11 de maio de 2026, Adolfo Neto <[email protected]> escreveu: > > > On Sun, May 10, 2026 at 11:32 AM Márcio Palmares <[email protected]> > wrote: > >> Essa postagem do Tim Gowers não tem muita profundidade... Os pontos de >> vista mais interessantes estão no ensaio do Bessis divulgado pela Valéria >> ou no artigo que o Walter escreveu. >> >> Mas a postagem do Tim Gowers é uma evidência de que as coisas mudaram >> mesmo, para o bem ou para o mal. Ela coincide, a propósito, no conteúdo, >> com a última coluna do Marcelo Viana na Folha de São Paulo, que termina >> assim: >> >> "Guilherme Silveira, empresário brasileiro com formação em matemática me >> comunicou como usou automação com IA para obter resultados de pesquisa na >> área da minha tese de doutorado. Regularmente, os colegas me relatam como a >> assistência da inteligência artificial está mudando o modo como fazem >> matemática, e eu vejo o mesmo acontecendo comigo e com meus alunos. >> Gostemos ou não, a IA chegou para ficar e a matemática nunca mais será a >> mesma." >> >> Essa é a questão. Para mim, é um problema filosófico, antes de qualquer >> outra coisa: máquinas estão fazendo coisas suficientemente inteligentes, de >> forma relativamente autônoma, a ponto de surpreender um matemático de >> primeria linha, um "medalhista Fields". >> >> Eu, como sou materialista no sentido filosófico, acho tudo isso muito >> bacana, pois o misticismo está recuando mais um passo. Tudo aquilo que >> conseguimos fabricar, reproduzir, controlar, perde o ar misterioso. Fogo, >> moléculas orgânicas, energia atômica e, agora, inteligência artificial. >> >> Claro, todas as tecnologias vêm à luz em nossa sociedade sob a forma de >> mercadorias, e são vendidas como tais pelod possuidores de mercadorias. IA >> é uma mercadoria. Computadores são mercadorias. Onde há mercadorias há >> exploração do trabalho. Tudo isso é condenável, mas atinge todos os >> aspectos da nossa vida em sociedade. Essas roupas que usamos, por exemplo, >> foram quase certamente fabricadas na China por seres humanos em condições >> análogas à escravidão. É antiético usarmos essas roupas? >> > > Sim, é. Mas não dá pra ficar discutindo todos os problemas do mundo num > fio. Aqui estamos falando de IA. Mas, OK. Sabe o que aconteceu com tanta > gente (principalmente os próprios trabalhadores) reclamando sobre as > condições desumanas das pessoas que trabalham na indústria de fast fashion? > As condições delas melhoraram! Não o suficiente ainda, mas melhoraram. Tá > no vídeo que postei (14:40). > > Fugir desta discussão é complicado pra mim. Se eu fizesse isso, me > sentiria covarde, por ser da área. É OK pra você que não é da área. Você > deve estar em outras lutas e tudo bem, ninguém pode se dedicar a tudo. Eu > adotei esta luta pra mim. > > E, claro, não é o único problema. Aqui tem alguns (vários) outros: > > Against the Uncritical Adoption of 'AI' Technologies in Academia > https://philarchive.org/rec/GUEATU > > > >> >> O fenômeno que realmente interessa aqui é a mudança filosófica, >> epistemológica, sobre o que é de fato matemática. A queda da economia de >> teoremas está aí, é um fato. Matemática é algo além do que essas >> > > Esse é um tema interessante, mas é meio incerto considerando a falta de > viabilidade econônima aparente de todos os modelos https://www. > betteroffline.com/ > > Eu não me sinto à vontade tentando oprever o futuro ou cenários > imaginários. Não gosto de ficção científica. > > > > >> máquinas fazem? (Minha opinião é a de que sim, escrever matemática e >> demonstrar teoremas é uma fase posterior e meio secundária do pensamento >> matemático.) >> > > Mas já que você gosta, talvez goste deste episódio do Feeling of Computing > https://feelingof.com/episodes/076/ > > > >> Mas até que ponto essa nossa pretensão de que tenhamos intuições >> especiais, imaginação especial, generalizações (em oposição à mera escrita >> e demonstração) não é também uma tentativa meio inconsciente de >> preservarmos o status do escriba perante o restante de escravizados >> analfabetos? >> >> Algo para pensarmos... >> >> Abraços, >> >> M. >> >> >> >> Em sábado, 9 de maio de 2026, Adolfo Neto <[email protected]> >> escreveu: >> >>> Não li o texto indicado pela Valeria, nem o indicado pelo Márcio, mas >>> tenho certeza que são bons. >>> >>> Já postei aqui minhas entrevistas com o Léo de Moura sobre Lean é as >>> postagens dele no Instagram parecem ir na mesma direção do que vocês >>> comentaram aqui. >>> >>> Meus dois centavos vão para "colaboração homem-máquina chegou para >>> ficar". Se 'máquina' aqui for grandes modelos de linguagem, eu espero que >>> não, torço que não é vou fazer o possível para que não. Em sua forma atual, >>> é uma tecnologia antiética. Além disso, quem entende do lado econômico das >>> empresas já que um dos textos menciona o Chat GPT 5.5 Pro - que exige >>> assinatura mensal de 20 dólares), diz que estas empresas não devem >>> sobreviver por muito tempo, ao menos não cobrando tão pouco. A matemática >>> vai ficar ainda mais elitista? >>> >>> Tenho literalmente centenas de links que poderia passar aqui, mas vou >>> passar só um hoje >>> https://youtu.be/aooiDA-AsNo >>> >>> >>> >>> 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 sex., 8 de mai. de 2026, 19:18, Márcio Palmares < >>> [email protected]> escreveu: >>> >>>> Agora foi a vez do Tim Gowers realizar um experimento com o ChatGPT 5.5 >>>> e concluir que as coisas realmente mudaram... >>>> >>>> A postagem dele, de hoje, está aqui: >>>> >>>> https://gowers.wordpress.com/2026/05/08/a-recent- >>>> experience-with-chatgpt-5-5-pro/ >>>> >>>> É difícil dizer o quão profunda é essa revolução, porque ela está >>>> ocorrendo bem diante dos nossos olhos, neste exato momento. Tudo vai mudar >>>> em poucos meses, em poucos anos... >>>> >>>> Mas a colaboração homem-máquina chegou para ficar. É uma revolução >>>> diferente das anteriores, porque não muda apenas o conteúdo de uma área, >>>> muda a própria natureza da atividade científica... (e altera o status do >>>> matemático profissional perante a sociedade. Não no sentido de eliminá-lo, >>>> mas de exigir muito mais dele). >>>> >>>> Abraços, >>>> >>>> M. >>>> >>>> >>>> Em terça-feira, 28 de abril de 2026, Valeria de Paiva < >>>> [email protected]> escreveu: >>>> >>>>> Achei que voce ia gostar, Walter! >>>>> abs >>>>> Valeria >>>>> >>>>> On Mon, Apr 27, 2026 at 5:54 PM Walter Carnielli < >>>>> [email protected]> wrote: >>>>> >>>>>> Ola Valéria, e toda(o)s: >>>>>> >>>>>> >>>>>> Acho que o David Bessis tem razão. Concordo com sua proposta: a >>>>>> comunidade matemática precisa abandonar seu "código de honra" que >>>>>> valoriza >>>>>> demasiadamente a prova de teoremas. Essa obsessão com o produto final (o >>>>>> teorema) em detrimento do processo (a intuição, a formulação de novas >>>>>> linguagens e definições) criou essa oportunidade perfeita onde a IA >>>>>> agora >>>>>> começa a reinar. >>>>>> >>>>>> Os matemáticos deveriam sim começa a trabalhar com, e divulgar >>>>>> abertamente a "matemática secreta". É preciso comunicar a todo mundo — e, >>>>>> talvez mais importante, a nós mesmos — que o verdadeiro produto da >>>>>> matemática é a compreensão e a clareza. Os teoremas são apenas a cereja >>>>>> desse processo, não o objetivo final. >>>>>> >>>>>> Se essa mudança de narrativa não acontecer, a matemática corre o >>>>>> risco de ser vista como uma atividade fora da capacidade humana, porque a >>>>>> IA se tornará cada vez mais proficiente na "matemática oficial", gerando >>>>>> provas complexas , corretas, e irrelevantes ou incompreensíveis. As >>>>>> máquinas terão "resolvido a matemática". >>>>>> >>>>>> No entanto, a IA dificilmente criará a verdadeira "matemática >>>>>> secreta": o processo cognitivo humano de construir significado, de ter o >>>>>> insight que conecta áreas distantes, de criar a definição elegante que >>>>>> torna o complexo trivial. >>>>>> >>>>>> Acho mesmo que essa distinção deveria se tornar parte fundamental >>>>>> da *educação do matemático*. Devemos ensinar os estudantes a >>>>>> valorizar o "porquê" por trás de uma definição e a beleza de um novo >>>>>> conceito com o mesmo rigor que ensinamos a validar uma prova. >>>>>> >>>>>> Mais ou menos foi o que escrevi aqui: https://revistas.pucsp.br/ >>>>>> index.php/circumhc/article/view/55033 >>>>>> >>>>>> >>>>>> >>>>>> Abraços, >>>>>> >>>>>> Walter >>>>>> >>>>>> >>>>>> >>>>>> >>>>>> >>>>>>> >>>>>>> >>>>>>> - [off?] Ensaio sobre matematica e AI >>>>>>> >>>>>>> <#m_4559867826661556281_m_8450086749581272229_m_-6172307088821005258_m_6002688791604081327_m_-3782463783059891380_m_-6410291741749937019_m_-3460158740296109455_group_thread_0> >>>>>>> - 1 atualização >>>>>>> >>>>>>> [off?] Ensaio sobre matematica e AI >>>>>>> <http://groups.google.com/a/dimap.ufrn.br/group/logica-l/t/4737943f005b4189?utm_source=digest&utm_medium=email> >>>>>>> >>>>>>> >>>>>>> -- >>>>>> 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%2Bob58NdmDdtGQKveaST-u5KW9jVW% >>>>>> 3Dujm6P1GK2s6ib2LzKCug%40mail.gmail.com >>>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58NdmDdtGQKveaST-u5KW9jVW%3Dujm6P1GK2s6ib2LzKCug%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/CAESt%3DXsWW8NXBvA5_ >>>>> oLHF2Tsac-0zLOWrGhLF9MPv7CQR-5o9w%40mail.gmail.com >>>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXsWW8NXBvA5_oLHF2Tsac-0zLOWrGhLF9MPv7CQR-5o9w%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_hCxXC5iprFdD%3DKCOv9EPH6p% >>>> 3DvyzPvULNCiLYtMZZO-MryoA%40mail.gmail.com >>>> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxXC5iprFdD%3DKCOv9EPH6p%3DvyzPvULNCiLYtMZZO-MryoA%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ê 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_hCxU05gTCrZA11rGzSLX2Shz1bp84sA3%2Bgtq9th8Q1MZZuw%40mail.gmail.com.
