Pessoal , as Big Techs estao realmente tentando se apropriar da Matemática, e logo em seguida obviamente das outras ciências:

134 views
Skip to first unread message

Walter Carnielli

unread,
Aug 1, 2026, 2:31:09 PM (11 days ago) Aug 1
to Lista dos Logicos Brasileiros
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/

 





Adolfo Neto

unread,
Aug 1, 2026, 3:32:41 PM (11 days ago) Aug 1
to Lista dos Logicos Brasileiros
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

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com.


--
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

Márcio Palmares

unread,
Aug 2, 2026, 7:52:39 AM (11 days ago) Aug 2
to Adolfo Neto, Lista dos Logicos Brasileiros
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 <adolf...@gmail.com> 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 <walter.c...@gmail.com> 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 <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.


--
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 <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x%2BDbGTMgDVgE23oAXDEQ%40mail.gmail.com.

Walter Carnielli

unread,
Aug 2, 2026, 9:55:31 AM (11 days ago) Aug 2
to Adolfo Neto, Lista dos Logicos Brasileiros
Oi Márcio, 

Adolfo scha que tudo é  só propaganda-em parte é nesmo, "pastel de vento", mas na hora em  que as IAs conseguirem formular um equivalente ao Prograna de Erlangen.aquela 'profecia'.do meu a,rtigo que voce citou:


começará a ser cumprida!

Quer dizer,  a crença não justificada que nem precisa ser verdadeira não é nem "esperança.", é superstição :-)))

Abraços, 
W.

 ========================

 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

 AI2- Advanced Institute for Artificial Intelligence 
 

Márcio Palmares

unread,
Aug 2, 2026, 10:39:55 AM (11 days ago) Aug 2
to Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
Oi, Walter, Adolfo, demais colegas...

Pois é. Tá difícil a gente se agarrar em alguma coisa, porque o furacão está jogando tudo pelos ares...

Eu acho, apenas acho, que até o momento os resultados foram do tipo "ciência normal" (o que já é bastante perturbador) porque os matemáticos que estão por trás desses êxitos, contratados pela OpenAI, Antrophic, etc., estão preocupados em gerar resultados facilmente verificáveis, fáceis de transcrever e depois validar por Lean ou outro recurso similar... E também porque todos eles foram educados na "economia de teoremas". Eles pensam: "Quanto mais teoremas demonstrados, melhor". Ou ainda: "Quero vender esse produto aqui. Então, vou resolver um problema em aberto, e isto mostrará que meu produto funciona."

Agora, suponhamos um matemático com outra cultura, outra inclinação, mexendo numa máquina dessas... Alguém do tipo Galois, Felix Klein... O que eles proporiam para a máquina?

Outro experimento mental:

Suponhamos que estivéssemos numa forma de sociedade mais avançada, sem propriedade privada, sem capital, lucro, desigualdade social, exploração do trabalho.

E nessa sociedade igualitária surgissem esses LLMs e outras ferramentas que começassem a mecanizar parte do trabalho do matemático. 

O que pensaríamos?

Não haveria a dimensão ética. A propriedade seria coletiva. Ninguém estaria roubando nada de ninguém, nem explorando ninguém. 

Quando fazemos abstração desse conteúdo social, sobra apenas o problema filosófico: máquinas que produzem conhecimento.

Minha superstição: acho que os humanos permanecerão sempre um passo à frente da máquina. 

Mas acho que vamos levar muitos tombos ainda. Vamos sofrer uma sequência de derrotas para a máquina, como ocorreu com os campeões mundiais de xadrez até que a coisa ficasse normalizada.

E quando isso acontecer, recuaremos mais um passo, e diremos: "OK, a máquina produziu uma construção conceitual com relevância similar a uma mudança de visão ao estilo Programa de Erlangen para a geometria. Mas a máquina não tem sentimentos (o que é certo). Ponto. Ainda somos exclusivos."

A ilha da exclusividade humana recuará indefinidamente...

Abraços!

M



Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.


--
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 <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfdJSOSCwZ%2BpBsnVSFW46yrkFyF3C94EJ7129nHu7hUBA%40mail.gmail.com.

Márcio Palmares

unread,
Aug 2, 2026, 1:05:37 PM (10 days ago) Aug 2
to Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
Vou fazer uma citação longa aqui, espero ser perdoado por isso:

Abre aspas:

A perfect square is an integer of the form a^2 for some positive integers; the first few perfect squares are: 1, 4, 9, 16, 25, 36, 49. Consider the statements S(n), one for each n > 1:

S(n) : 991×n^2 + 1 is not a perfect square.

It turns out that many of the statements S(n) are true.

In fact, the smallest number n for which S(n) is false is

n = 12, 055, 735, 790, 331, 359, 447, 442, 538, 767

~ 1.2 × 10^28.

The original problem is a special case of Pell's equation (given a prime p, when are there integers m and n with m^2 = p×n^2 + 1), and there is a way of calculating all possible solutions of it.

In fact, an even more spectacular example of Pell's equation involves the prime p = 1, 000, 099; the smallest n for which 1, 000,099n^2 +1 is a perfect square has 1116 digits.)

The latest scientific estimate of the age of the earth is 20 billion (20,000,000,000) years, or about 7.3 × 10^12 days, a number very much smaller than 1.2 × 10^28, let alone 10^1115.

If, starting on the very first day, mankind had verified statement S(n) on the nth day, then there would be, today, as much evidence of the general truth of these statements as there is that the sun will rise tomorrow morning. And yet some statements S(n) are false!

Fecha aspas.

Esse interessantíssimo exemplo do porquê os matemáticos apreciam tanto demonstrações está no livro do Joseph J. Rotman: "Journey into Mathematics. An Introduction to Proofs" (e reaparece requentado no livro posterior dele "A First Course in Abstract Algebra").

Então, as evidências podem ser massivas, colossais, esmagadoras, e, ainda assim, podem nos levar a conclusões erradas... Isso é perturbador, porque, talvez na maioria das situações simples da vida cotidiana um conjunto esmagador de evidências normalmente leva a conclusões corretas.

Nesse artigo do Walter que discutimos aqui algumas vezes há um experimento mental sugerido, sem bem me lembro, por H. Putnam: considerar um tipo de inteligência baseado em evidência empírica, mais indutivo e menos dedutivo...

A pressuposição aqui, se eu não entendi errado, é a de que os LLMs fazem esse tipo de trabalho inferencial mais probabilístico-indutivo e menos lógico-dedutivo.

Se isto estiver correto, eles acertarão na maioria das vezes, mas errarão em algumas ocasiões.

A questão que permanece contudo é a seguinte: nós também erramos várias vezes. Também damos palpites furados. Também chutamos. Também perseguimos ilusões. Nos apaixonamos por hipóteses furadas pelas quais nutrimos carinho parental (inventei essa bobagem e agora vou me agarrar a ela porque fui eu que fiz!).

Noutras palavras: um interlocutor marciano inferencial-probabilístico ainda seria um bom interlocutor, pois temos mecanismos coletivos para filtrar as sacadas boas e jogar fora as ruins...

Essa parece ser a razão pela qual a profecia do Walter no artigo de 2021 parece estar se concretizando (entre outras, como a do Sagan em 1994; Ian Stewart em 1975; Gowers em 2002).

Abraços,

M.









Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.


--
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 <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.

Márcio Palmares

unread,
Aug 3, 2026, 4:45:48 PM (9 days ago) Aug 3
to Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
Às vezes eu levo uns dois dias para entender o que uma pessoa falou...

Acho que perdi o ponto do comentário anterior do Walter. A ficha caiu só agora. Depois o Walter me corrige se eu ainda estiver errado...

É o seguinte: eu mesmo falei que havia algumas "profecias" no artigo do Walter de 2021, porque ele foi publicado pouco antes da explosão do uso popular dos LLMs. Se não me engano, o ChatGPT se tornou popular a partir de 2022.

Mas não era necessário profetizar, prever ou antever que as máquinas fariam matemática relevante em 2021: isto já era um fato. E o artigo lista alguns exemplos. Em particular, dá exemplos de uma máquina que produziu conjecturas e propostas de novos conceitos em teoria dos números!

O que o Walter efetivamente previu naquele trabalho foi que a IA poderia interferir na agenda da ciência, na infraestrutura atual da produção do conhecimento científico, poderia ter impactos negativos para a filosofia da matemática e para a filosofia da ciência, etc.

E isto, infelizmente, parece estar acontecendo mesmo...

Ontem eu li um comentário do Daniel Victor Tausk (acredito que ele seja professor de matemática na USP) no Facebook, em resposta a uma reflexão de Fernando Borretti intitulada "Matemathics Without Mathematicians": 


e o Daniel Tausk escreveu o seguinte:

"Um tsunami está atingindo o mundo da atividade intelectual humana e a matemática está na frente de tudo, sendo atingida primeiro.
A maioria das pessoas ainda não entendeu a dimensão do que está acontecendo. Enfiaram a cabeça na areia ou estão tentando lidar com o luto. A comunidade universitária, em sua maioria, ainda não tem noção de como a vida está prestes a mudar.
Escrever um projeto de pesquisa agora é meio como planejar as férias de julho estando em janeiro de 2020, com a diferença importante que a pandemia era passageira."

O comentário dele está aqui:
https://www.facebook.com/share/p/1CZsmKJTXT/

A discussão prosseguiu, e hoje o Daniel Tausk apresentou uma avaliação que me pareceu mais grave ainda:

Tenho um amigo que é marxista ortodoxo, economista. Ele me explicou que a bolha da IA vai estourar daqui a pouco. Para ele, trata-se de um problema clássico, já muito conhecido: "nada de novo sob o sol".

Não tenho tanta certeza.

Um outro amigo, que terminou o doutorado em matemática há poucos anos e vem trabalhando como professor desde então, escreveu que acredita que a profissão de professor de matemática está com os dias contados.

Agora está fazendo falta uma "intelligentsia", como se dizia antigamente:

que agarre o boi pelo chifre e oriente a comunidade acadêmica sobre o que fazer...

Deveríamos fundar um partido científico, haha.

Abraços,

M.






Samuel Fernando Faria da Silva

unread,
Aug 3, 2026, 9:12:15 PM (9 days ago) Aug 3
to Márcio Palmares, Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
É muito curioso perceber como matemáticos e pessoas de ciências duras mantém, lá no fundo, uma auto-percepção de exclusividade de suas áreas de atuação. 

Eu gostaria que alguém argumentasse com algum rigor qual o real problema 1. Científico, 2. Social e material, que teremos com uma IA que prova teoremas. 

O tom de gravidade do professor Tausk faria sentido se a discussão fosse entre médicos, por exemplo.

E aliás. Sejamos francos e reflexivos. Eu não me surpreendo com uma IA mais competente que um PhD em lógica ou matemática, eu não me surpreendo taaaanto assim com a IA fazendo descobertas científicas originais. Pessoalmente me surpreenderia uma IA que fosse capaz de eliminar a desigualdade social e a miséria de 150 milhões de crianças menores de cinco anos que sofrem de atraso no crescimento devido a desnutrição crônica (dados oficiais da OMS e UNICEF). 

Então menos, caro professor Tausk, não é um “tsunami”, é só a história seguindo seu rumo. 

Forte abraço. 

Márcio Palmares

unread,
Aug 4, 2026, 7:53:40 AM (9 days ago) Aug 4
to Samuel Fernando Faria da Silva, Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
Boa, Samuel Fernando! Xeque-mate.

Li uma crônica muito boa agora...

Algumas passagens brutais:

"Matemáticos após a era dos heróis

Antes de mais nada, gostaria de dizer que não acredito que a IA vá substituir os matemáticos. Às vezes digo que sim, mas é brincadeira. Mesmo que a IA seja capaz de fazer 100% do que os matemáticos fazem hoje, acredito que os matemáticos continuarão a ser empregados, como matemáticos , se assim o desejarem.

A razão é que os matemáticos, como classe profissional, são incrivelmente baratos. A soma total dos salários de todos os matemáticos acadêmicos nos EUA chega a, no máximo, US$ 4 a 5 bilhões. Isso é um erro de arredondamento no nosso PIB — é mais ou menos o que gastamos em pistas de boliche ou doces de Halloween."

Doces de Halloween...

Mais adiante, o autor conclui:

"Assim, os matemáticos ainda poderão ser pagos para fazer matemática. Ainda poderão aprender coisas novas, se divertir e obter respeito da sociedade. A única coisa que realmente lhes faltará é o heroísmo — a consciência de que suas habilidades naturais especiais e raras aliviam um gargalo fundamental para o florescimento humano.

Mas, na verdade, isso não é tão ruim assim. A maioria das pessoas nunca tem a chance de ser herói. Caminhoneiros não têm. Consultores financeiros não têm. Assistentes executivos não têm. Eles precisam encontrar significado simplesmente sendo pessoas comuns — cuidando dos filhos, tendo amigos, cultivando hobbies, participando de organizações cívicas, se envolvendo na política e assim por diante. Não é um destino tão terrível."

Original aqui:


Abraços,

M.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscribe@dimap.ufrn.br.


--
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 <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.

--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+unsubscribe@dimap.ufrn.br.

Eduardo Ochs

unread,
Aug 4, 2026, 9:11:00 AM (9 days ago) Aug 4
to Márcio Palmares, Samuel Fernando Faria da Silva, Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
No <https://www.noahpinion.blog/p/the-end-of-the-age-of-heroes> eu
gostei muito do comentário que tem este trecho:

My Dad, for example, was an anonymous worker for an ultimately
failing corporation, Yet, consider this: When he was long retired
and mostly housebound with serious ailments, my brother and I talked
him into one last short visit to a nearby nature preserve. Where
several people whispered among themselves before coming over and
asking reverentially, "Sorry to intrude, but aren't you
______________"

You see, he was known as the authority on identifying birds. LOCAL
authority. (And of course, only known among the modest percentage of
people in the area who were into nature.)

But his remarkable knowledge of bird song and plumage provided him
with status. And, like so many other particular abilities that
provide status, technology has since rendered that ability
irrelevant. Screens keep people inside, and, for those that still
experience nature, there are apps to identify the birds. And plants.
And most everything else.

People need status in the same way that they need love and belonging
and security and stimulation. And they obtain it by getting a
reputation for being good at something.

[[]],
Eduardo...
>>>>>>>> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+u...@dimap.ufrn.br.
>>>>>>>> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com.
>>>>>>>
>>>>>>>
>>>>>>>
>>>>>>> --
>>>>>>> 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 <logi...@dimap.ufrn.br>
>>>>>>> ---
>>>>>>> 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 logica-l+u...@dimap.ufrn.br.
>>>>>>> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYU%3D_xdxdv5tSY3uUn4b9muir3x%2BDbGTMgDVgE23oAXDEQ%40mail.gmail.com.
>>>>>>
>>>>>>
>>>>>>
>>>>>> --
>>>>>> LOGICA-L
>>>>>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
>>>>>> ---
>>>>>> 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 logica-l+u...@dimap.ufrn.br.
>>>>>> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfdJSOSCwZ%2BpBsnVSFW46yrkFyF3C94EJ7129nHu7hUBA%40mail.gmail.com.
>>>
>>> --
>>> LOGICA-L
>>> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
>>> ---
>>> 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 logica-l+u...@dimap.ufrn.br.
>>> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxXR1i60kQd3He5wU_-BJh%3Dv0ib4p6BcxujFzBrchOqKQQ%40mail.gmail.com.
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
> ---
> 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 logica-l+u...@dimap.ufrn.br.
> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAA_hCxX7cEUWP2AwrXyVKZCpH4T%3D%2BS0foyt1VwE4TL-%3DyFuZig%40mail.gmail.com.

Gabriel Barruci da Silva

unread,
Aug 4, 2026, 12:24:08 PM (8 days ago) Aug 4
to Eduardo Ochs, Márcio Palmares, Samuel Fernando Faria da Silva, Walter Carnielli, Adolfo Neto, Lista dos Logicos Brasileiros
Olá a todos e todas, boa tarde!

Me chamo Gabriel, sou professor de matemática na UERJ e entrei
nessa lista quando decidi fazer meu doutoramento em filosofia. 
Acabei não passando no processo seletivo e hoje estou na matemática.
É a primeira vez que comento nesta lista.

Assim como vocês, tenho acompanhado toda essa novela de IA e matemática
e gostaria de fazer alguns aforismos sobre o tema principalmente com respeito
ao email do professor Samuel e as implicações da IA na matemática.

Para tanto, vou fundamentar minha resposta num futuro específico:
A IA toma o lugar de todos os matemáticos e matemáticas.

1) Sobre o presente, passado e futuro.

Preciso dizer que me parece estranho, todo esse movimento.
A sociedade, em sua materialidade, se desenvolveu ao longo
da história num processo cognitivo de seus constituintes.
Matemáticos e matemáticas constroem, também, essa sociedade não só fazendo
teoremas, mas modificando sua vizinhança próxima a partir de seu processo
de pensar diferente de outras pessoas que se proporam a construir o mundo
se aperfeiçoando em outros ramos de estudo.
Me parece estranho que, a sociedade, chegando ao ponto de desenvolvimento
de obter uma máquina extraordinária, simplesmente passe a delegar
esse desenvolvimento e o processo cognitivo somente à máquina que foi construída.

2) Sobre educação

Claramente o ponto 1) leva ao ponto de "acharem" que não é mais
necessário desenvolver a sociedade a partir do tipo de pensamento
de matemáticos e matemáticas.
Jacob Tsimerman revela, em sua plenária no ICM 2026, que irá para
a OpenAi. Antes, em 2025, ele já dizia não ver sentido em orientar
mestrado e doutorado, pois, já naquela época, achava não ver caminho novo
a seguir senão pela IA.
Tendo a achar que isso é um passo para que, através de uma nova educação,
a sociedade pare seu desenvolvimento e que, aliás, deu origem a máquina.
Num sentido Freiriano mesmo.
Paulo Freire diz, em seus escritos, algo como 'uma máquina não
pode ensinar, pois ela não tem uma noção de futuro'.
Ensinar, é levar a sociedade para algum ponto futuro. Menos desigual,
mais ampla etc.

3) Problemas indecidíveis

Ora, é muito simples pedir para a IA construir novas conjecturas
na qual ela mesma não consegue provar. Tudo baseado em
indecidibilidade. Sempre haverá problemas em que a computação
encontra seu limite, vide o Teorema de Richardson.

4) Resoluções e Soluções

Penso que há uma grande confusão sobre o que significa resolver
um problema e encontrar sua solução. A solução é um subproduto particular
de se resolver um problema. Resolver um problema envolve conversa entre
pares, ensinar, aprender e se apropriar do tema.
Me parece que poucos ou ninguém mais vai querer pensar sobre a conjectura
do Jacobiano. E isso é, de certa forma, ruim, pois o que se relaciona
com resolver o problema nos ajudou a chegar até o esse desenvolvimento
presente de uma forma ou de outra.


5) Redes sociais

Em relação a 4), há um nítido movimento de
aglutinar resolução a solução de problemas.
Isso se apresenta muito no X (Antigo Twitter) e principalmente
por pessoas que me parecem "ressentidas" com a matemática.
O Twitter tem sido um lugar muito interessante para se
encontrar as novas notícias sobre isso. Por outro lado, aquele
lugar não reflete a realidade vide as mais de 3400
assinaturas da Leiden Declaration.


Enfim, aqui foram apenas algumas elucubrações sobre esse
tema que me interessa bastante, por sinal.

Registro aqui, também, que não sou contra o desenvolvimento
de IA. Porém, acredito ser extremamente necessário
externalizar reflexões sobre isso.

Fiquem à vontade para fazerem as críticas que acharem necessário.


Abraços,

Gabriel


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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CADs%2B%2B6iwyAf38hA38H%3Df5jGYmB%3DiQf43ChbL_kON21hjFqrpBQ%40mail.gmail.com.

Joao Marcos

unread,
Aug 4, 2026, 4:26:26 PM (8 days ago) Aug 4
to Walter Carnielli, Lista dos Logicos Brasileiros
Mais sobre como as conjecturas de Erdős estão rapidamente "caindo":
https://www.quantamagazine.org/why-the-legendary-erdos-problems-are-falling-to-ai-20260803/

Também há oportunidades de emprego (?) por aí, obviamente. Por
exemplo, vencedor da medalha Fields deste ano
https://www.quantamagazine.org/jacob-tsimerman-wins-2026-fields-medal-for-andre-oort-conjecture-proof-20260723/
anunciou logo após ganhar o prêmio que estaria deixando a University
of Toronto para se juntar à OpenIA:
https://www.theatlantic.com/technology/2026/07/jacob-tsimerman-math-fields-medal-openai/688120/

JM

On Sat, Aug 1, 2026 at 3:31 PM Walter Carnielli
<walter.c...@gmail.com> wrote:
>
> --
> LOGICA-L
> Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
> ---
> 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 logica-l+u...@dimap.ufrn.br.
> Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com.



--
https://sites.google.com/site/sequiturquodlibet/

Marcelo Finger

unread,
Aug 4, 2026, 7:12:01 PM (8 days ago) Aug 4
to Walter Carnielli, Lista dos Logicos Brasileiros
Caros.

Deixa eu explicar uma coisa sobre o uso das LLMs em matemática e em geral: o segredo está naquilo que NÃO foi contado.

Conseguiram resolver 10 problemas?  Mas quantos foram tentados?  E para os que foram "resolvidos", quantas tentativas houve?  

A verdade é que raramente uma prova destas é feita do zero.  Em geral, tem a supervisão de um matemático que conhece os problemas a fundo, conhece soluções de outros problemas, e conhece formas de provar aquele teorema em especial, algumas promissoras e outras que reconhecidamente  levam a um beco sem saída.  Aí todos os artigos relevantes são alimentados na IA, todos o conhecimento  acumulado e as tentativas de prova são expostos e aí vem um prompt: você conseguiria alterar esta linha de raciocínio para não cair naquela cilada conhecida?

E aí a máquina, usando sua capacidade e velocidade, explora o espaço de busca  com muita rapidez, e apresenta uma alternativa solicitada.  Que na maioria das vezes está errada, furada ou  contém lacunas intransponíveis.  

Só que, de vez em quando, acerta. E, nesse caso, de quem é o mérito?  Do programa, ou de quem o alimentou com as informações corretas e avaliou a resposta?

[]s


On Sat, Aug 1, 2026 at 3:31 PM Walter Carnielli <walter.c...@gmail.com> wrote:
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2Bob58PZsZFrOz6ZcZJAFzBoOUbHFJ1%3Dw0yeKBwVgicPr5S1pw%40mail.gmail.com.


--
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

Adolfo Neto

unread,
Aug 4, 2026, 7:46:10 PM (8 days ago) Aug 4
to Walter Carnielli, Lista dos Logicos Brasileiros
Eu não acho que tudo é propaganda. Não entendo o suficiente para saber o significado do que está no PDF.

Eu acho que são empresas que não dão lucro (OpenAI e Anthropic) e que, mesmo que isso aí dê certo, não vão conseguir dar lucro *com isso*.

Ou seja, sendo propaganda ou não, não parece ser uma estratégia muito esperta.

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

Adolfo Neto

unread,
Aug 4, 2026, 7:48:40 PM (8 days ago) Aug 4
to Walter Carnielli, Lista dos Logicos Brasileiros
"Não haveria a dimensão ética. A propriedade seria coletiva. Ninguém estaria roubando nada de ninguém, nem explorando ninguém. "

Sei que você estava simplificando, mas quis deixar claro que a dimensão ética não envolve apenas propriedade dos dados. Tem também o consentimento, os trabalhadores de dados, o consumo de recursos pelos data centers de IA, etc.

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

Adolfo Neto

unread,
Aug 4, 2026, 7:51:54 PM (8 days ago) Aug 4
to Walter Carnielli, Lista dos Logicos Brasileiros
Eu sei que o Tausk tem uma imaginação fértil (lembrei de coisas da época do pico da COVID que nem queria lembrar), mas de onde ele tirou que a matemática está sendo atingids *primeiro*?

"Um tsunami está atingindo o mundo da atividade intelectual humana e a matemática está na frente de tudo, sendo atingida primeiro."

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

Adolfo Neto

unread,
Aug 4, 2026, 7:59:58 PM (8 days ago) Aug 4
to Marcelo Finger, Walter Carnielli, Lista dos Logicos Brasileiros
Mais dois pontos na ótima explicação do Marcelo:

- por que a OpenAI não publica os prompts utilizados?
- qual foi o custo da tentativa que deu certo e de todas as tentativas que não deram.m certo?

// Vi agora que mandei várias respostas só para o remetente 

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

Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAGG7Aw0UQvFh900ZOeYLvofqvSWdEgor-RfZh9FpyJ0GBSvB8A%40mail.gmail.com.

Márcio Palmares

unread,
Aug 4, 2026, 8:34:08 PM (8 days ago) Aug 4
to Adolfo Neto, Marcelo Finger, Walter Carnielli, Lista dos Logicos Brasileiros
Essa análise econômica conforta a gente um pouco, a ideia de que essa bolha vai explodir (desconsiderando a catástrofe que isso possa causar) e que, depois disso, virá um novo inverno de IA e tudo voltará ao normal...

Também é confortante pensarmos que é tudo uma forma sofisticada de tentativa e erro orientada por um humano (de fato, essas empresas contrataram especialistas para, por meio deles, venderem o produto).

O duro é que nós humanos também fazemos tentativa e erro, experimentação, rascunhos, damos chutes, testamos dúzias de caminhos infrutíferos, até acharmos uma formulação boa. Aí submetemos um artigo limpinho; e daí o revisor aponta mais erros, voltamos ao laboratório, fazemos nova submissão, e ao final parece que os nossos conceitos foram o produto de uma inteligência de tipo superior, arquitetônica, conceitual, com pendor estético... Isso é o que o Reuben Hersh chama, se bem me lembro, de "front stage" (a forma final nos artigos) versus "back stage", o que realmente acontece na cabeça do matemático. Parece que o Hamilton ficou fazendo testes por cerca de dez anos até conseguir acertar a multiplicação dos quatérnions (li isso em algum lugar, não lembro mais, não sei se procede).

O problema econômico é de fato velho: suponhamos que na época inicial da mineração, antes das primeiras máquinas que bombeavam a água do interior das minas, antes da industrialização, alguém criasse uma máquina que permitisse extrair 1000 vezes mais carvão do que antes, permitindo até mesmo demitir quase todos os mineiros. A produtividade do trabalho seria multiplicada por mil, digamos. Uns empresários mostrariam um protótipo da máquina numa feira de ciências, e começariam a captar recursos para fabricá-la de fato. Recolheriam assim muito dinheiro, muito capital, com a promessa de que a produtividade seria elevada por mil e os mineiros poderiam ser todos dispensados. Pois bem. Tem um problema nisso. E o problema é a razão pela qual não somos mais apenas uma sociedade de mercadores, comerciantes ou uma sociedade de piratas. O problema é que não é possível explorar uma máquina! Para enriquecer, o proprietário da mina necessariamente tem que explorar seres humanos. Então, ele investirá milhões na máquina milagrosa, mas depois de um tempo esse capital não trará o retorno esperado pois, a despeito do desprezo que ele sentia pelos mineiros, eram os mineiros a fonte do seu enriquecimento!

Neste sentido, o problema é de fato velho. A expectativa de enriquecer com a novidade oferecida na feira de ciências vem com a possibilidade de que você possa usar a máquina milagrosa antes da concorrência, por um curto período, pois quando todo mundo estiver com a máquina, o preço do carvão cairá brutalmente e o capital investido não será remunerado...

Mas essas comparações são um pouco frágeis, eu acho...

Enfim, o bom é que estamos com uma comunidade viva... Não seremos atropelados sem oferecer resistência...

Abraços,

M.

  

  



Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYVdnFG1iFFFcsR0KV-fwSAa0mmzciuCmwOxZO915Dd8Bw%40mail.gmail.com.

Sphgf

unread,
Aug 5, 2026, 6:16:49 AM (8 days ago) Aug 5
to LOGICA-L, Walter Carnielli
Da forma como estão fazendo vão encarcerar o conhecimento, estão destruindo livros raros também.

Sds,
Sphgf
ORCID 0009-0001-5687-3922

Adolfo Neto

unread,
Aug 5, 2026, 7:17:34 AM (8 days ago) Aug 5
to Márcio Palmares, Marcelo Finger, Walter Carnielli, Lista dos Logicos Brasileiros
Eu sugiro que você tente não antropomorfizar estes sistemas, Márcio.


Um bom blog post sobre isso 


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


Adolfo Neto

unread,
Aug 5, 2026, 7:22:04 AM (8 days ago) Aug 5
to Sphgf, LOGICA-L, Walter Carnielli
Desculpa, mas não sei de nenhuma notícia de que estão destruindo livros raros. Sei que destruíram livros, mas não eram raros. O que não é defesa da prática das empresas, longe disso.


O problema maior é que os autores destas obras não consentiram que seu texto fosse incluído na base de treinamento destes LLMs. E, pra mim, não importa se o texto foi roubado de forma digital ou através do escaneamento de livros físicos.

Destaco: não é apenas sobre compensação financeira, é também sobre consentimento. 

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 <logi...@dimap.ufrn.br>
---
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 logica-l+u...@dimap.ufrn.br.
Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/db20cd05-d04b-4d5f-a954-1f19e3c21d7fn%40dimap.ufrn.br.

Eduardo Ochs

unread,
Aug 5, 2026, 8:57:56 AM (8 days ago) Aug 5
to Adolfo Neto, Sphgf, LOGICA-L, Walter Carnielli
Olha:
Are AI companies scanning and destroying millions of books, including rare titles? | Snopes.com https://share.google/xRaKySTqv1lxx7w8j


Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYUG3k%2BeutqRw84Dhqeu6WmZxZJ6mb8fyq35R-qJu--%3DAg%40mail.gmail.com.

Julio Stern

unread,
Aug 5, 2026, 9:22:40 AM (8 days ago) Aug 5
to Adolfo Neto, Sphgf, LOGICA-L, Walter Carnielli

>>> O problema maior é
 ...  SE O ... 
>>> texto fosse incluído na base de treinamento destes LLMs. 
>>> ... não é apenas sobre compensação financeira, é também sobre consentimento. 

OK.  Mas alem dos aspectos financeiros e de consentimento, ha tambem o aspecto de
>>> Reconhecimento  que, afinal, e "a moeda academica". 

Como Reconhecer o merito de um author, seu trabalho nao eh acessivel no aprendizado?! 

Confuso neste mundo novo,  ---Julio Stern  
  
From: logi...@dimap.ufrn.br <logi...@dimap.ufrn.br> on behalf of Adolfo Neto <adolf...@gmail.com>
Sent: Wednesday, August 5, 2026 11:21 AM
To: Sphgf <baba...@gmail.com>
Cc: LOGICA-L <logi...@dimap.ufrn.br>; Walter Carnielli <walter.c...@gmail.com>
Subject: Re: [Logica-l] Re: Pessoal , as Big Techs estao realmente tentando se apropriar da Matemática, e logo em seguida obviamente das outras ciências:
 

Bismarck Bório de Medeiros

unread,
9:21 AM (15 hours ago) 9:21 AM
to LOGICA-L, Walter Carnielli
Bom dia a todos,

Trazendo aqui uma interessante entrevista que saiu ontem do Jacob Tsimerman, atual Fields, sobre o tema. 
Tem umas perguntas sensacionalistas, mas em geral é bem boa: o Tsimerman tem umas posições fortes com relação ao desenvolvimento de LLM's na Matemática, e elas não são tão agradáveis.



Em sábado, 1 de agosto de 2026 às 15:31:09 UTC-3, Walter Carnielli escreveu:
Reply all
Reply to author
Forward
0 new messages