Anedota sobre o aprendizado de matemática através de LLMs: Estou tentando entender as transformadas de Fourier, e para o meu espanto, esta prova não faz sentido. "Funciona", mas simplesmente parece totalmente contra-intuitivo para mim. Mas, enquanto tomava banho, tive uma ideia para uma nova estratégia de prova, mais intuitiva...
Em vez de realmente fazer isso, simplesmente disse à Gemini 3 Fast o esboço vago da minha estratégia de prova desejada. E funciona!!! Antes da AI, acho que teria simplesmente desistido; lutar com uma nova estratégia de prova com coisas que entendo mal é muito difícil!
O melhor que eu teria feito no passado era vasculhar uma série de outros livros didáticos para ver se conseguia encontrar uma estratégia de prova diferente. Mas agora, consigo converter uma intuição vaga em uma estratégia de prova alternativa formalizada em menos de um minuto!
Eu "entendo" o resultado muito melhor agora: para mim, esta prova é claramente a prova que Deus pretendia para a propriedade de convolução, e solidifica minha intuição em torno deste conceito de forma muito mais forte do que a prova do livro didático.
144