For første gang noensinne har en AI klart å utlede en generisk "foldr"-funksjon for N-tupler i λ-kalkulusen. Det var Gemini Pro 2.5, med Deep Think. Alle andre modeller klarer ikke å gjøre det, inkludert o3 og Grok 4. Fin fremgang @GoogleDeepMind

@GoogleDeepMind (Når det gjelder Bend, bestemte vi oss for at vi skal begynne å legge ut om det i oktober, som mest sannsynlig er lanseringsmåneden.)