Erstmals ist es einer KI gelungen, eine generische "foldr"-Funktion für N-Tupel im λ-Kalkül abzuleiten. Es war Gemini Pro 2.5, mit Deep Think. Alle anderen Modelle scheitern daran, einschließlich o3 und Grok 4. Schöner Fortschritt @GoogleDeepMind

@GoogleDeepMind (Bezüglich Bend haben wir entschieden, dass wir im Oktober darüber posten werden, was höchstwahrscheinlich der Launch-Monat ist.)