لأول مرة على الإطلاق ، تمكن الذكاء الاصطناعي من اشتقاق وظيفة "طي" عامة ل N-tuples في λ-Calculus. كان Gemini Pro 2.5 ، مع Deep Think. تفشل جميع الموديلات الأخرى في القيام بذلك ، بما في ذلك o3 و Grok 4. تقدم جميل @GoogleDeepMind

@GoogleDeepMind (فيما يتعلق ب Bend ، قررنا أن نبدأ في النشر عنه في أكتوبر ، وهو على الأرجح شهر الإطلاق.)