LLM'ler aracılığıyla matematik öğrenimi hakkında bir anekdot: Fourier dönüşümlerini çözmeye çalışıyorum ve bu kanıt hiçbir mantıklı gelmiyor. "İşliyor" ama bana tamamen sezgisel olmayan geliyor. Ama duş alırken, yeni, daha sezgisel bir kanıt stratejisi fikri geldi...

Aslında yapmak yerine, Gemini 3 Fast'a istediğim kanıt stratejisinin belirsiz taslağını söyledim. Ve işe yarıyor!! Yapay zekadan önce sanırım pes ederdim; Kötü anladığım şeylerle yeni bir kanıt stratejisi üzerinde zorlanmak çok zor!

Geçmişte yapacağım en iyi şey, farklı bir ispat stratejisi bulup bulamayacağımı görmek için başka birçok ders kitabını didik didik didik etmekti. Ama şimdi, belirsiz bir sezgiyi bir dakikadan kısa sürede biçimselleştirilmiş alternatif bir ispat stratejisine dönüştürebiliyorum!

Sonucu şimdi çok daha iyi "anlıyorum": bana göre bu ispat, Tanrı'nın konvolüsyon özelliği için istediği kanıt ve bu kavram etrafındaki sezgilerimi, ders kitabındaki ispattan çok daha güçlü bir şekilde pekiştiriyor