ساعدت AlphaEvolve للتو في إثبات نظريات جديدة في نظرية التعقيد حقق AlphaEvolve من Google DeepMind للتو اختراقات حقيقية في علوم الكمبيوتر النظرية. بدلا من توليد براهين كاملة ، اكتشفت هياكل اندماجية جديدة يتم توصيلها بأطر الإثبات الحالية ، مما يؤدي إلى نظريات تم التحقق منها وقابلة للنشر في نظرية التعقيد. قام الفريق بتحسين عدم القدرة على التقريب المرتبط ب MAX-4-CUT ووجد رسوم بيانية ضخمة من رامانوجان لم يسبق لها مثيل من قبل ، وكل ذلك بدقة يمكن إثباتها.