فيزيائيون بقيادة ديفيد غروس يصادقون على برهان OpenAI المولّد بالذكاء الاصطناعي لوجود نظرية يانغ-ميلز الكمومية
نشرت اللجنة الخماسية شيفرة Lean وتقييماً يفيد بأنها تثبت وجود نظرية يانغ-ميلز البحتة وفق الصياغات المعيارية؛ وتبقى فجوة الكتلة دون حل.
لماذا يهم
تُعد مسألة يانغ-ميلز واحدة من خمس مسائل جائزة الألفية لمعهد كلاي التي لم تُحل بعد، وجائزة كل منها مليون دولار، ولها شقان: إثبات وجود النظرية وإثبات فجوة الكتلة. أعلنت OpenAI حل شق الوجود أواخر أكتوبر، لكنها أودعت البرهان لدى لجنة مشرفين بدلاً من نشره فوراً. وتقول اللجنة إنها استخدمت نموذج Astra من OpenAI لفهم شيفرة Lean وإنها لا تفهم البرهان بالكامل بعد. وانتقد رياضيون مثل سكوت أرمسترونغ من جامعة نيويورك هذا التحكم. يُترقب التحقق المستقل من شيفرة Lean وأي تقدم بشأن فجوة الكتلة.
حقائق رئيسية
- اللجنة: ديفيد غروس وأربعة زملاء
- نُشرت شيفرة Lean والتقييم ليلة 10 نوفمبر
- يثبت وجود يانغ-ميلز البحتة وفق الصياغات المعيارية
- فجوة الكتلة لا تزال دون حل
- اللجنة: «لا ندّعي أننا نفهم البرهان بالكامل بعد»
- يانغ-ميلز إحدى خمس مسائل ألفية غير محلولة (مليون دولار لكل منها)