Este artigo descreve uma abordagem para desenvolver a habilidade de resolução de problemas de Matemática usando um agente conversacional. A base de conhecimentos do agente utiliza a linguagem de marcação AIML, construída a partir da elicitação do conhecimento formal e heurístico de estudantes talentosos, premiados na Olimpíada Brasileira de Matemática das Escolas Públicas. O artigo relata o método de captura dos processos cognitivos dos alunos talentosos na resolução de problemas de matemática e a estruturação deste conhecimento para o agente conversacional, O trabalho também comenta os resultados alcançados com o uso do agente conversacional pelos estudantes.