Anedota sobre aprendizagem de matemática por meio de LLMs: Estou tentando entender as transformadas de Fourier, e por nada essa prova não faz sentido. Ele "funciona", mas para mim parece totalmente pouco intuitivo. Mas, enquanto tomava banho, tive uma ideia para uma nova estratégia de prova mais intuitiva...
Em vez de realmente fazer isso, simplesmente disse a Gemini 3 Fast o esboço vago da minha estratégia de demonstração desejada. E funciona!! Antes da IA, acho que eu teria desistido; Lutar para uma nova estratégia de prova com coisas que entendo mal é muito difícil!
O melhor que eu teria feito no passado era vasculhar vários outros livros didáticos para ver se encontrava uma estratégia diferente de demonstração. Mas agora, consigo transformar uma intuição vaga em uma estratégia formal de prova alternativa em menos de um minuto!
Eu "entendo" o resultado muito melhor agora: para mim, essa prova é claramente a prova que Deus pretendia para a propriedade de convolução, e solidifica minha intuição sobre esse conceito muito mais fortemente do que a prova do livro didático
150