نظام AlphaProof Nexus من Google DeepMind حل تسع مسائل إيردوس وأثبت 44 تخمينًا للمتتاليات، وهو إنجاز في التحقق الرسمي بالذكاء الاصطناعي يمكن أن يجعل التحقق من الإثباتات التشفيرية أسرع وأرخص في النهاية. النتائج، التي أُعلنت هذا الأسبوع، تظهر نظام ذكاء اصطناعي يتعامل مع مسائل رياضية صعبة بشكل مشهور، مع آثار مباشرة على المجالات التي تعتمد على إثباتات محكمة - بما في ذلك التشفير وتدقيق العقود الذكية.
تسع مسائل إيردوس تم حلها
تعامل
