Anecdote sur l'apprentissage des mathématiques grâce aux LLMs : J'essaie de comprendre les transformations de Fourier, et pour moi, cette preuve n'a pas de sens. Ça "fonctionne", mais cela me semble totalement contre-intuitif. Cependant, pendant que je prenais ma douche, j'ai eu une idée pour une nouvelle stratégie de preuve, plus intuitive...
Au lieu de le faire réellement, j'ai simplement expliqué à Gemini 3 Fast le schéma vague de ma stratégie de preuve souhaitée. Et ça fonctionne !!! Avant l'IA, je pense que j'aurais simplement abandonné ; lutter avec une nouvelle stratégie de preuve sur des choses que je comprends mal est très difficile !
Le mieux que j'aurais pu faire dans le passé, c'est de fouiller dans un tas d'autres manuels pour voir si je pouvais trouver une stratégie de preuve différente. Mais maintenant, je peux convertir une intuition vague en une stratégie de preuve alternative formalisée en moins d'une minute !
Je "comprends" beaucoup mieux le résultat maintenant : pour moi, cette preuve est clairement celle que Dieu avait l'intention de donner pour la propriété de convolution, et elle renforce mon intuition autour de ce concept beaucoup plus fortement que la preuve du manuel.
112