Seminário - Pesquisa Matemática com IA - Guilherme de Azevedo Silveira

Palestrante: Guilherme de Azevedo Silveira Título: Pesquisa Matemática com IA (De uma busca no computador a um teorema em Lean: Qual conhecimento você ainda precisa ter?) Data: 07/04/2026 Playlist dos seminários:    • Seminários Científicos (2025–2026)   Resumo: O vídeo apresenta o seminário “Pesquisa Matemática com IA”, ministrado por Guilherme de Azevedo Silveira no IMPA Tech. Nele, o palestrante discute como a inteligência artificial pode apoiar a pesquisa matemática, explorando o caminho que vai desde buscas computacionais até a formalização de teoremas em sistemas como o Lean. A exposição aborda quais conhecimentos humanos ainda são indispensáveis nesse processo, refletindo sobre a interação entre ferramentas de IA e a prática matemática contemporânea, com foco em desafios, possibilidades e limites dessa integração. IMPA Tech © https://impatech.impa.br Os direitos sobre todo o material deste canal pertencem ao Instituto de Matemática Pura e Aplicada, sendo vedada a utilização total ou parcial do conteúdo sem autorização prévia e por escrito do referido titular, salvo nas hipóteses previstas na legislação vigente. The rights over all the material in this channel belong to the Instituto de Matemática Pura e Aplicada, and it is forbidden to use all or part of it without prior written authorization from the above mentioned holder, except in the cases prescribed in the current legislation.