🚀 مؤدي أليف انتقل للتو إلى وضع الوحش 4 مسائل رياضية لم تحل لمدة 20+ سنة. البراهين الرسمية في Lean 4. أقل من 48 ساعة. أقل من 5 آلاف دولار إجمالا. ✅ حدسية حدود الذيل الثنائية (تيلغارسكي، 2009) ✅ تقريب شبكة البوابة الكمومية (غرين & داملين، 2015)* ✅ إردوس 124 ✅ إردوس 481 ✅ #1 في قائمة المتصدرين في PutnamBench لقد حل عصر الرياضيات الذكاء الاصطناعي. شكر خاص ل @BorisHanin @ylecun لمساعدتهم في إحياء هذا الفيلم 🙏 وتحية كبيرة لفريق @LeanFRO — لا شيء من هذا ممكن بدون الأساس الرائع الذي بنيته. أليف سيكون متاحا قريبا للجمهور، تابعونا! *مشروطة بنتائج سرداري (2015)، قيد الصياغة