LLMを使った数学学習に関する逸話: フーリエ変換を解明しようとしているのですが、どうしてもこの証明が意味をなさそうにありません。「動く」ようには見えますが、私には全く直感的に感じません。でも、シャワーを浴びているときに、もっと直感的な新しい証明戦略のアイデアが浮かびました...

実際に行う代わりに、私は単にジェミニ3ファストに私の望む証明戦略の大まかな概要を伝えました。そして、それはうまくいく!! AIがなかったら、もう諦めていたと思います。理解が不十分なことで新しい証明戦略を進めるのは本当に大変です!

過去にできる最善は、他の教科書をくまなく調べて、別の証明戦略がないか探すことでした。しかし今では、漠然とした直感を1分以内に形式化された代替証明戦略に変換できるようになりました!

今では結果がずっと「理解」できるようになりました。私にとってこの証明は明らかに畳み込みの性質に対して神が意図した証明であり、教科書の証明よりもこの概念に対する直感をはるかに強固にしています