سعيد بمشاركة التقدم الجديد في الذكاء الاصطناعي لمادة @GoogleDeepMind الرياضيات. في التوافقيات القصوى، ساعد AlphaEvolve في وضع حدود دنيا جديدة لخمسة أرقام رامزي الكلاسيكية - وهي مشكلة صعبة لدرجة أن إردوس علق على صعوبتها. تاريخيا، كان اشتقاق هذه الحدود حسابيا يتطلب خوارزميات بحث مصممة خصيصا من قبل الإنسان. بالنسبة للعديد من هذه الحدود، أفضل النتائج السابقة عمرها على الأقل عقد من الزمن. يغير AlphaEvolve هذا من خلال العمل كخوارزمية ميتا واحدة تكتشف تلقائيا إجراءات البحث اللازمة لإيجاد هذه الحدود الجديدة. 📷