Pela primeira vez, uma IA conseguiu derivar uma função genérica "foldr" para N-tuplas no λ-Cálculo. Foi o Gemini Pro 2.5, com Deep Think. Todos os outros modelos falham em fazê-lo, incluindo o o3 e o Grok 4. Bom progresso @GoogleDeepMind

@GoogleDeepMind (Relativamente ao Bend, decidimos que começaremos a publicar sobre isso em Outubro, que é provavelmente o mês de lançamento.)