حلّ AlphaProof Nexus التابع إلى Google DeepMind عشرات المسائل الرياضية المفتوحة

تسع مسائل لإردوس و44 فرضية

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

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

كيف يعمل النظام

يُبنى AlphaProof Nexus على Gemini 3,1 Pro، الذي يُنشئ ويصحّح البراهين باللغة الرسمية Lean. تتحقق Lean من كل مسودة بعد كل تغيير، وتوجّه رسائل الأخطاء المحاولة التالية.

ولحل مسائل فرعية أكثر تعقيداً، يمكن للنظام اللجوء إلى AlphaProof، وهي أداة إثبات متخصصة. وتقول Google DeepMind إن النظام قد حلّ تسع مسائل لإردوس حتى من دون استخدام AlphaProof.

المراجعة في خضم نقاشات ذكاء الرياضيات

صدرت هذه الدراسة وسط نقاشات محتدمة حول رياضيات الذكاء الاصطناعي. قبل ذلك بفترة وجيزة، نشر OpenAI على GitHub مئات البراهين المولّدة بالذكاء الاصطناعي على الإنترنت، بدلاً من تقديمها إلى المجلات. ودعت جمعية الرياضيات البشرية التي يقودها تيرنس تاو إلى مقاطعة هذا الأسلوب.

في المقابل، خضع عمل DeepMind لمراجعة الأقران، ونُشرت نتائجه في Science.

المصادر: The Decoder