أكمل نموذج OpenAI نصف إثبات مشكلة يانغ-ميلز

رسالة من ChainCatcher، وفقًا لمنشور MTS، أثبت نموذج الذكاء الاصطناعي من OpenAI نصف مشكلة جائزة الألفية المليونية في مجال الفيزياء، وحصل على دعم من لجنة تحكيم يقودها حائز على جائزة نوبل. ووفقًا لـ MTS، فإن المشكلة المقصودة هي مشكلة يانغ-ميلز. أعلنت OpenAI لأول مرة عن هذا الإثبات في 26 أكتوبر، وأفادت أن نموذجها أكمل هذا العمل في سبتمبر. وتترأس لجنة التحكيم حائز جائزة نوبل ديفيد غروس، وتشمل أعضاءً مثل آرثر جاف، الذي شارك في كتابة التصريح الرسمي لمشكلة الألفية هذه. تم تشكيل الإثبات باستخدام لغة حاسوبية قابلة للتحقق السطرية، وهي Lean. مشكلة يانغ-ميلز هي واحدة من سبع مشكلات من مشكلات الألفية التي أُنشئت عام 2000، وكل منها تبلغ جائزتها مليون دولار؛ وهي المشكلة الوحيدة التي تم حلها حتى الآن من قبل غريغوري بيرلمان، الذي رفض تلقي الجائزة. وتشير MTS إلى أنه لا يزال يتعين إثبات فجوة الكتلة، بالإضافة إلى الوفاء بقواعد معهد كلاي للرياضيات بشأن النشر وفترة الاعتراف التي تستمر سنتين للفوز بالجائزة. وصرح مستخدم X، ثيو جافee، أن الفيزيائيين قادرون بالفعل على التعامل مع نظرية الحقول الكمومية ونظرية يانغ-ميلز الكمومية على المستوى التجريبي، لكنهم ظلوا يفتقرون إلى التشكيل الرياضي الذي يفسر لماذا تعمل هذه النظرية.