För första gången någonsin har en AI lyckats härleda en generisk "foldr"-funktion för N-tuplar i λ-kalkylen. Det var Gemini Pro 2.5, med Deep Think. Alla andra modeller misslyckas med att göra det, inklusive o3 och Grok 4. Trevliga framsteg @GoogleDeepMind

@GoogleDeepMind (När det gäller Bend bestämde vi oss för att vi ska börja skriva om det i oktober, vilket troligen är lanseringsmånaden.)