Pour la première fois, une IA a réussi à dériver une fonction "foldr" générique pour les N-tuples dans le λ-calcul. C'était Gemini Pro 2.5, avec Deep Think. Tous les autres modèles échouent à le faire, y compris o3 et Grok 4. Bon progrès @GoogleDeepMind

@GoogleDeepMind (Concernant Bend, nous avons décidé de commencer à en parler en octobre, qui est très probablement le mois de lancement.)