Untuk pertama kalinya, AI telah berhasil menurunkan fungsi "lipat" generik untuk N-tuple dalam λ-Kalkulus. Itu adalah Gemini Pro 2.5, dengan Deep Think. Semua model lain gagal melakukannya, termasuk o3 dan Grok 4. Kemajuan yang bagus @GoogleDeepMind

@GoogleDeepMind (Mengenai Bend, kami memutuskan untuk mulai memposting tentang hal itu pada bulan Oktober, yang kemungkinan besar merupakan bulan peluncuran.)