Ensimmäistä kertaa koskaan tekoäly on onnistunut johtamaan yleisen "foldr"-funktion N-tuplille λ-laskennassa. Se oli Gemini Pro 2.5, jossa oli Deep Think. Kaikki muut mallit eivät tee niin, mukaan lukien o3 ja Grok 4. Hienoa edistystä @GoogleDeepMind

@GoogleDeepMind (Mitä tulee Bendiin, päätimme, että alamme kirjoittaa siitä lokakuussa, joka on todennäköisesti julkaisukuukausi.)