Pesquisa matemática
Em 2026, levei ao IMPA Tech uma discussão sobre possibilidades de IA na pesquisa matemática: geração e execução de código, exploração de hipóteses, provas e a responsabilidade do pesquisador na validação.
educação · matemática · computação · mágica
IA + matemática
A máquina propõe. A pessoa valida.
GS / 03
Meu interesse está menos no espetáculo da resposta automática e mais em como agentes, modelos e código mudam o jeito de pesquisar, criar e aprender.
Ferramentas mais potentes tornam o julgamento humano mais importante, não menos.
Criatividade computacional
O Teste de Silveira surgiu como uma forma de investigar dimensões diferentes da criatividade em IAs generativas — não apenas se a saída parece criativa, mas que tipo de transformação o sistema consegue sustentar.
Pontos para
abrir e explorar.
010203
IA na pesquisa matemática
Seminário no IMPA Tech sobre agentes, código, prova e validação humana.
IA Sob Controle · episódio 35
O Teste de Silveira
Uma proposta para investigar diferentes aspectos da criatividade das IAs generativas.
Recomendação na educação
Uso de machine learning para ajudar pessoas a encontrar continuidade em percursos de aprendizagem.