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

@GoogleDeepMind (Em relação ao Bend, decidimos que começaremos a postar sobre isso em outubro, que provavelmente é o mês de lançamento.)