Anekdot tentang pembelajaran matematika melalui LLM: Saya mencoba mencari tahu transformasi Fourier, dan untuk hidup saya bukti ini tidak masuk akal. Ini "berhasil" tetapi terasa sama sekali tidak intuitif bagi saya. Tapi, saat mandi, saya mendapat ide untuk strategi bukti baru yang lebih intuitif...
Alih-alih benar-benar melakukannya, saya hanya memberi tahu Gemini 3 Fast garis besar yang tidak jelas dari strategi pembuktian yang saya inginkan. Dan itu berhasil!! Sebelum AI, saya pikir saya akan menyerah begitu saja; berjuang melalui strategi pembuktian baru dengan hal-hal yang saya pahami dengan buruk sangat sulit!
Yang terbaik yang akan saya lakukan di masa lalu adalah menjelajahi banyak buku teks lain untuk melihat apakah saya dapat menemukan strategi pembuktian yang berbeda. Tapi sekarang, saya dapat mengubah intuisi yang tidak jelas menjadi strategi pembuktian alternatif formal dalam waktu kurang dari satu menit!
Saya "mendapatkan" hasilnya jauh lebih baik sekarang: bagi saya, bukti ini jelas merupakan bukti yang dimaksudkan Tuhan untuk properti konvolusi, dan memperkuat intuisi saya di sekitar konsep ini jauh lebih kuat daripada bukti buku teks
141