Впервые в истории ИИ удалось вывести универсальную функцию "foldr" для N-кортежей в λ-исчислении. Это была Gemini Pro 2.5 с Deep Think. Все другие модели не смогли этого сделать, включая o3 и Grok 4. Отличный прогресс @GoogleDeepMind

@GoogleDeepMind (Что касается Bend, мы решили, что начнем публиковать информацию об этом в октябре, который, скорее всего, станет месяцем запуска.)