Por primera vez, una IA ha logrado derivar una función genérica "foldr" para N-tuplas en el λ-Cálculo. Fue Gemini Pro 2.5, con Deep Think. Todos los demás modelos no logran hacerlo, incluyendo o3 y Grok 4. Buen progreso @GoogleDeepMind

@GoogleDeepMind (Con respecto a Bend, decidimos que comenzaremos a publicar sobre ello en octubre, que es muy probablemente el mes de lanzamiento.)