حلت منصة AlphaProof Nexus التابعة لشركة Google Deepmind عشرات مشكلات الرياضيات المفتوحة، وقد خضعت للمراجعة من قبل زملاء الباحثين.
مانويل أوث
12 أكتوبر 2026حلت الذكاء الاصطناعي التابعة لشركة Google Deepmind عشرات مشاكل الرياضيات المفتوحة بمفردها، وفقًا لدراسة جديدة في مجلة Science. استطاع AlphaProof Nexus حل تسعة من مشاكل إردوس المفتوحة الـ 353، وهي مشاكل لم تُحل لمدة 56 عامًا. شارك الفريق هذه الحلول عبر الإنترنت قبل نشر الورقة البحثية.
بالإضافة إلى ذلك، أثبتت AlphaProof Nexus 44 فرضية من قاعدة بيانات تسلسل الأعداد في OEIS، وحلت مسألة مفتوحة في الهندسة الجبرية، وأدخلت تقريبًا معروفًا في تحسين التحسين الأقصى والأدنى، وهو تقنية تُستخدم لتدريب بعض النماذج الذكية. تم بناؤها حول Gemini 3.1 Pro، الذي يقوم بصياغة وتعديل البراهين باللغة الرسمية Lean. يقوم Lean بفحص كل مسودة بعد كل تعديل، وتعليمات الأخطاء توجه المحاولة التالية. بالنسبة للمشكلات الفرعية الأكثر صعوبة، يمكنها الاستعانة بـ AlphaProof، وهو أداة خاصة للبراهين. حتى بدون AlphaProof، حلت التسعة مشكلات من إردوس، حسب تقارير Google Deepmind.
تأتي الدراسة في خضم نقاش حاد حول الرياضيات التحليلية للذكاء الاصطناعي. لقد قامت شركة OpenAI مؤخرًا بـ تحميل مئات من براهين الذكاء الاصطناعي على GitHub بدلاً من تقديمها إلى المجلات العلمية. وقد طالبت جمعية الرياضيات البشرية، بقيادة تيرينس تاو، بمقاطعة شركة OpenAI. وقد خضعت أعمال شركة Deepmind لمراجعة من الأقران.
أخبار الذكاء الاصطناعي بدون الضجيج – من تجميع البشر
اشترك في THE DECODER للقراءة بدون إعلانات، برنامج نشر إخبارات أتمتة AI أسبوعيًا، تقرير "AI Radar" الحصري السنوي ست مرات، الوصول الكامل إلى الأرشيف، والوصول إلى قسم التعليقات.
المصدر: Science / Study