Вперше в історії штучний інтелект зміг вивести загальну функцію «фолдера» для N-кортежів у λ-численні. Це була Gemini Pro 2.5 з Deep Think. Всі інші моделі цього не роблять, включаючи o3 і Grok 4. Гарний прогрес @GoogleDeepMind

@GoogleDeepMind (Що стосується Bend, ми вирішили, що почнемо публікувати про нього в жовтні, який, швидше за все, є місяцем запуску.)