IA, Xadrez e Matemática

36 views
Skip to first unread message

Samuel Gomes da Silva

unread,
Jul 24, 2026, 7:19:13 PM (2 days ago) Jul 24
to Logica-l

Márcio Palmares

unread,
Jul 24, 2026, 8:16:32 PM (2 days ago) Jul 24
to Samuel Gomes da Silva, Logica-l
Valeu, Samuel!

Obrigado por compartilhar! (A outra postagem daquele blog sobre a conjectura do Jacobiano era também muito boa).

Mas eu li duas vezes essa análise e não captei a mensagem...

Eu também joguei xadrez (mal) por alguns anos... Participei do Clube aqui da minha cidade, alguns torneiros. No primeiro torneio em que fui, perdi para um menino de 8 ou 9 anos. Depois eu soube que ele era o campeão brasileiro sub-10 (aliviou um pouco, mas a percepção de que entre o nível amador e o profissional há um abismo, foi definitiva para mim).

As comparações entre matemática e xadrez são boas e ruins ao mesmo tempo.

Eu tenho um livro aqui comigo, do Yasser Seirawan: "Xadrez Vitorioso: Estratégias". Em algum ponto ele despreza o que chama de "mero cálculo", isto é, ficar calculando combinações. Ele diz algo como: "ficar calculando combinações seria mais o que um computador faria". Isso está no sentido pejorativo. O jogador forte de xadrez, contrariamente ao que o senso comum acredita, tem um forte aparato teórico, pensamento estratégico, não é força bruta.

Mas a analogia com matemática perde a força muito rapidamente sempre que nos aprofundamos nessa questão... Um jogo sempre tem questões emocionais envolvidas, erro, limites físicos, o tempo... Nem tudo numa partida real é puramente racional. Muito da beleza e do prazer desse esporte vem da grandeza e da pequenez dos seres humanos quando sua inteligência é colocada sob pressão brutal.

Por outro lado, qual a justificativa para os postulados do nosso autor?

Ele postula umas quatro coisas mas não explica o que o levou a tais postulados...

Essas hipóteses dele parecem bastante razoáveis, mas o mais interessante seria sabermos como ele chegou a elas.

Eu não sei o que acontece no cérebro humano. Parece que é um processo totalmente discreto, quantizado: quanto certo potencial é atingido, uma molécula é disparada de um lado para outro... Ions entram e saem de uma membrana e produzem uma corrente elétrica... Não tenho a menor ideia de como isso se transforma em música, literatura, matemática, sentimentos...

Mas sabemos que, de algum modo, essa mágica ocorre.

Teríamos alguma razão para supor que algo parecido não pudesse ocorrer ou ser simulado por nossos artefatos?

Pelo que acho que entendi do nosso autor, ele acredita que as máquinas terão um papel bastante limitado...

Mas não vi no argumento dele onde está a justificativa para essa conclusão.

Abraços,

M.







Em sexta-feira, 24 de julho de 2026, 'Samuel Gomes da Silva' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:
--
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/1875899101.48898166.1784935145635.JavaMail.zimbra%40ufba.br.

Walter Carnielli

unread,
Jul 24, 2026, 9:59:59 PM (2 days ago) Jul 24
to Samuel Gomes da Silva, Logica-l
Talvez estejamos  começando a entender que falta uma   "ciência  da inteligência".

Os dois, o jogo de xadrez pelo Stockfish e o jogo de gol pelo Alpha Zero, raciocinam de maneira completamente diferente.

Segundo vejo, eles realizam o paradigma
do "Thinking, Fast and Slow " de Daniel Kahneman de 2011: o primeiro é deliberado e aprende por regras,  o segundo é rápido e aprende de forma caótica, mas eficiente.

Matemática precisa dos dois, e ainda de uma dose de platonismo  :-)

W.


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

 AI2- Advanced Institute for Artificial Intelligence 
 

Em sex., 24 de jul. de 2026 20:19, 'Samuel Gomes da Silva' via LOGICA-L <logi...@dimap.ufrn.br> escreveu:

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

Samuel Gomes da Silva

unread,
Jul 25, 2026, 9:53:38 AM (yesterday) Jul 25
to Walter Carnielli, Logica-l
 
 
 
Abraços 
 
[]s Samuel 
 
De: Walter <walt...@unicamp.br>
Para: Samuel <sam...@ufba.br>
Cc: Logica-l <Logi...@dimap.ufrn.br>
Data: sexta-feira, 24 de julho de 2026 às 23:00 -03
Assunto: Re: [Logica-l] IA, Xadrez e Matemática

Márcio Palmares

unread,
Jul 25, 2026, 8:24:36 PM (22 hours ago) Jul 25
to Samuel Gomes da Silva, Walter Carnielli, Logica-l
Boa noite, pessoal...

Tive a honra de participar de um bate-papo sobre Inteligência Artificial e Matemática nesta semana com o Cloves e com o Walter:

https://youtu.be/lKtZAWkYFtU?is=BA9JNpVwWOuZ9PeC

Não havia roteiro, tudo foi improvisado, pois a ideia é deixar o espectador à vontade com o tom informal, amistoso, caseiro. O Cloves e o Walter são veteranos já nessa arte da divulgação científica por vídeo... Eu me atrapalhei inteiro, fiquei nervoso e quando queria dizer A, saía B. Mas foi uma honra para mim ter sido convidado (mostrei a gravação para a minha mãe, haha...).

Mas como alegria de pobre dura pouco, choveu muito em Colombo na última quinta-feira e tivemos uma queda de energia bem no meio da discussão, e depois caiu a Internet! Não poderia ter chovido nesse dia...

Bem. A minha posição vocês já estão cansados de saber. O interessante são as nuances nas posições do Cloves e do Walter.

Analisar os acontecimentos enquanto eles se desenrolam diante de nossos olhos é sempre difícil. Filosofia em tempo real.

Abraços,

M.

 
 
 
Abraços 
 
[]s Samuel 
 
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/172496271.49006850.1784987604849.JavaMail.zimbra%40ufba.br.

Samuel Gomes da Silva

unread,
12:36 PM (6 hours ago) 12:36 PM
to Walter Carnielli, Logica-l
Nossa,
 
Acabei de ver que uma resposta minha foi vazia,
 
O que eu tinha escrito é que "só o Platonismo nos salvará",
 
O que é uma referência à ideia de que mesmo com o aperfeiçoamento da IA,
 
Eu acho que sempre será necessário um matemático encaminhando bem nos prompts, digamos.
 
Ou seja, cabe a nós matemáticos aprendermos a usar essa ferramenta, mas não acho que ela vá nos substituir.
 
Abraços 
 
[]s Samuel 
 
De: Samuel <sam...@ufba.br>
Para: Walter <walt...@unicamp.br>
Cc: Logica-l <Logi...@dimap.ufrn.br>
Data: sábado, 25 de julho de 2026 às 10:53 -03
Reply all
Reply to author
Forward
0 new messages