الذكاء الاصطناعي١٢ أكتوبر ٢٠٢٦
جوجل ديب مايند تطلق نموذج AlphaProof Nexus لحل المسائل الرياضية
قدّمت جوجل ديب مايند في دراسة منشورة بمجلة Science نموذج AlphaProof Nexus، الذي حلّ مسائل رياضية مفتوحة واجتاز مراجعة الأقران. من بين إنجازاته حلّ ٩ مسائل من أصل ٣٥٣ مسألة مفتوحة لإردوش، اثنتان منها استعصتا ٥٦ عامًا، وإثبات ٤٤ حدسية من قاعدة بيانات المتتاليات الصحيحة OEIS. يعتمد النموذج على Gemini 3.1 Pro لصياغة البراهين ومراجعتها بلغة Lean، ويستعين بأداة AlphaProof في المسائل الأصعب.
الحقائق الأساسية
حلّ النموذج ٩ مسائل من ٣٥٣ مسألة مفتوحة لإردوش؛ وظلت اثنتان منها بلا حل ٥٦ عامًا.
«AlphaProof Nexus cracked nine of 353 open Erdős problems, two unsolved for 56 years.»
عرض المصدر ←أثبت النموذج ٤٤ حدسية من قاعدة بيانات OEIS للمتتاليات الصحيحة.
«Beyond that, AlphaProof Nexus proved 44 conjectures from the OEIS integer sequence database,»
عرض المصدر ←بُني النموذج حول Gemini 3.1 Pro، ويكتب البراهين بلغة Lean ويراجعها.
«It's built around Gemini 3.1 Pro, which drafts and revises proofs in the formal language Lean.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر