Mathematics in the age of AI

[Joao Marcos]

boas reflexões de Terence Tao
https://teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf

--- are we entering a period of crisis in the foundations of
mathematical values and practices?

--- how should the mathematical community respond to the advent of modern AI
technologies, and their real and/or claimed capabilities to perform mathematical
tasks?


JM

[samuel]

... Muito boas mesmo, e com uma visão desde a prática da pesquisa até a canonização dos resultados publicados em livros e "folklore" da área,

muito legal.

Deu pra ver que Tao parou para pensar no assunto (apesar do Trump ter cortado a bolsa dele !). 

É uma máquina que vamos ter que aprender a pilotar, a tal da IA ... Sabendo de seus riscos. 

O que mais me assusta é o uso  de exclusividades e coisas e tal pelas grandes companhias para direcionar a pesquisa, quer seja em matemática ou em outras áreas, porque ter ou não o acesso à IA pode fazer muita diferença nesse futuro que está sendo discutido. Isso pode causar desequilíbrios entre colegas, departamentos, institutos, países, regiões dentro de países... 

Como diz a senhora com o cartaz na foto, "quando tudo for privado seremos privados de tudo". 

Abraços

[]s  Samuel

[Márcio Palmares]

Finíssima a construção... Ele parece um chefe de Estado se colocando à frente de um grande momento da História e definindo o rumo a seguir em meio a um furacão...

(Obs.: Concordo em tudo com o Samuel.)

Na mesma direção, aqui tem uma compilação das ideias do Terence Tao sobre IA, que ele próprio solicitou (à IA que fizesse):

https://teorth.github.io/tao-web/ai-views.html?fbclid=IwT01FWATTYFBwZG9mBWV4dG4DYWVtAjEwAHNydGMGYXBwX2lkDDM1MDY4NTUzMTcyOAABHsS2pMH3WShQd5fX20IEbQjdS4PwbNghIUoc4552XUJ2wO2qgYp_rgvPF6Lg_aem_AHYz-AKk3K-tBZUoCgsgsg

Abraços,

M.

--
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/90a5db9e-c1ac-4714-8b9b-2acdb74b67f5n%40dimap.ufrn.br.