Per la prima volta, un'IA è riuscita a derivare una funzione generica "foldr" per N-tuple nel λ-Calculus. È stato Gemini Pro 2.5, con Deep Think. Tutti gli altri modelli non riescono a farlo, inclusi o3 e Grok 4. Ottimo progresso @GoogleDeepMind

@GoogleDeepMind (Per quanto riguarda Bend, abbiamo deciso che inizieremo a pubblicare al riguardo a ottobre, che è molto probabilmente il mese di lancio.)