GPT-6 Astra يخفض فجوة الأعداد الأولية إلى رقم قياسي جديد
حقق نموذج GPT-6 Astra من OpenAI تقدمًا لافتًا في أحد المسائل المفتوحة القديمة في نظرية الأعداد، بعدما ساعد في خفض الحد المعروف للفجوات المحدودة بين الأعداد الأولية من 212 إلى 186، في إنجاز جاء في اليوم نفسه الذي أعلنت فيه Axiom Math عن رقم قياسي بلغ 212.
تفاصيل الخبر
تدور المسألة حول إثبات وجود عدد لا نهائي من أزواج الأعداد الأولية التي تقع ضمن مسافة محددة من بعضها. ويُعد هذا المجال مرتبطًا بشكل وثيق بـحدسية التوأم الأولي، التي تفترض وجود عدد لا نهائي من أزواج الأعداد الأولية التي يفصل بينها العدد 2.
- أعلنت Axiom Math في 3 سبتمبر 2026 إثبات أن هناك عددًا لا نهائيًا من أزواج الأعداد الأولية تفصل بينها مسافة لا تتجاوز 212.
- جاء هذا الإنجاز بعد رقم سابق بلغ 246، وهو الحد الذي ارتبط بتطورات مهمة بدأت مع أعمال Yitang Zhang وJames Maynard وTerry Tao وتعاون Polymath.
- في اليوم نفسه، أعلن فريق OpenAI أن GPT-6 Astra تمكن من دفع الحد إلى 186.
- يعتمد التحسين على اكتشاف النموذج شروط تحليل إلى عوامل متكاملة ساعدت في جعل بعض الوحدات الرياضية أكثر كثافة من ناحية القابلية للقسمة.
- استخدم GPT-6 Astra نطاقًا أوسع من أوزان غربال Maynard-Tao للوصول إلى النتيجة الجديدة.
- جرى إعداد صياغة رسمية باستخدام Lean للنتيجة التي أعلن عنها فريق OpenAI.
- نشرت OpenAI ورقة بحثية تشرح النتيجة والمنهج المستخدم للوصول إلى هذا التحسين.
- أشار Weijie Su إلى أن التقدم لم يكن نتيجة خطوة واحدة، بل جاء من عملية تكرارية عمل خلالها النموذج على تحسين الحل والوصول تدريجيًا إلى الفجوة الجديدة.
- يمثل الانتقال من 246 إلى 186 انخفاضًا كبيرًا في الحد المعروف، لكنه لا يثبت حدسية التوأم الأولي التي تتطلب إثبات وجود عدد لا نهائي من الأزواج التي تفصل بينها مسافة 2.
ويُظهر هذا الإنجاز اتجاهًا جديدًا في استخدام نماذج الذكاء الاصطناعي في الرياضيات، حيث لا يقتصر دورها على شرح النظريات أو حل المسائل المعروفة، بل يمكنها المساعدة في اكتشاف أفكار جديدة يمكن تحويلها إلى براهين رياضية قابلة للتحقق رسميًا.
الأهداف المستقبلية
- مواصلة خفض الحد المعروف للفجوات بين الأعداد الأولية.
- استخدام الذكاء الاصطناعي لاستكشاف مسائل رياضية مفتوحة يصعب حلها بالطرق التقليدية.
- تطوير قدرة النماذج على اقتراح أفكار جديدة بدلًا من الاعتماد على المعرفة الرياضية الموجودة فقط.
- توسيع استخدام Lean للتحقق الرسمي من البراهين التي تنتجها نماذج الذكاء الاصطناعي.
- دمج الاستدلال الرياضي مع أدوات البحث والحساب الحاسوبي.
- مساعدة علماء الرياضيات في اختبار عدد أكبر من الفرضيات خلال وقت أقصر.
- تطوير نماذج قادرة على تنفيذ عمليات بحث رياضية طويلة ومتكررة بشكل أكثر استقلالية.
- استكشاف مسائل أخرى في نظرية الأعداد والرياضيات المتقدمة.
- تعزيز التعاون بين الباحثين والذكاء الاصطناعي في اكتشاف البراهين الجديدة.
- الاقتراب مستقبلًا من فهم أعمق لمسائل مثل حدسية التوأم الأولي.
يُعد خفض فجوة الأعداد الأولية من 212 إلى 186 تطورًا مهمًا في مجال نظرية الأعداد، خصوصًا مع اعتماد النتيجة على أفكار استدلالية وصياغة رسمية باستخدام Lean. ورغم أن هذا الإنجاز لا يحل حدسية التوأم الأولي، فإنه يقدم مثالًا قويًا على إمكانية استخدام الذكاء الاصطناعي للمساهمة في أبحاث رياضية حقيقية وفتح مسارات جديدة أمام الباحثين.
