Lần đầu tiên trong lịch sử, một AI đã thành công trong việc suy ra một hàm "foldr" tổng quát cho N-tuple trong λ-Calculus. Đó là Gemini Pro 2.5, với Deep Think. Tất cả các mô hình khác đều không làm được điều này, bao gồm o3 và Grok 4. Tiến bộ đáng kể @GoogleDeepMind

@GoogleDeepMind (Về Bend, chúng tôi đã quyết định sẽ bắt đầu đăng về nó vào tháng Mười, tháng mà rất có thể sẽ là tháng ra mắt.)