Po raz pierwszy w historii, AI udało się wyprowadzić ogólną funkcję "foldr" dla N-krotek w λ-Calculus. To był Gemini Pro 2.5, z Deep Think. Wszystkie inne modele nie potrafią tego zrobić, w tym o3 i Grok 4. Fajny postęp @GoogleDeepMind

@GoogleDeepMind (W odniesieniu do Bend, zdecydowaliśmy, że zaczniemy o tym pisać w październiku, co najprawdopodobniej będzie miesiącem premiery.)