نعلن عن ثلاث اكتشافات جديدة في الرياضيات وعلوم الكمبيوتر والفيزياء، تتعلق بتحليل التوافق، نظرية التعقيد، ونظرية المجالات الكمية.
لا يزال عملية الإصدار تتطور استجابةً للتعليقات من المجتمعات الأكاديمية المرتبطة بنا. من وجهة نظرنا، يمكن فهم هذه المخطوطات على أنها شكل من أشكال بيانات البحث الخام. لكي تُحوَّل هذه البيانات البحثية الخام إلى فهم علمي، نجرب في هذا الإصدار نهجًا جديدًا. لقد اتصلنا بخبراء خارجيين وطلبنا منهم أن يلعبوا دور الراعي، وتنظيم مجموعات لفهم النتائج الجديدة. وقد نصحوا بثلاث استراتيجيات مختلفة للإصدار.
بالنسبة لنتائج الحساب، يجب إطلاق نتائج الذكاء الاصطناعي، حتى يتسنى للباحثين تنظيم جهودهم الخاصة لتفسير النتائج.
بالنسبة لنتائج علوم الكمبيوتر، يجب تشكيل مجموعة خارجية من المتعاونين لتفسير النتائج، بينما يتم توفير نتائج الذكاء الاصطناعي علنًا لكي يستطيع أي شخص فحصها وبناء عليها.
بالنسبة لنتائج الفيزياء، شكل فريقًا خارجيًا من المتعاونين وانتظر منهم إصدار المواد.
لم نعرف بعد أي من هذه الأساليب الثلاثة سيكون أكثر فائدة، ونرحب بالتعليقات حول ما يعمل وما يمكننا تحسينه.
ستتبع التعاونات الخارجية أربعة مبادئ:
الشفافية. نحن شفافة بشأن وجود تعاوناتنا. لن يُطلب من المشاركين توقيع اتفاقيات عدم الكشف، وسيكون لديهم حرية مناقشة العمل، مشاركة المنتجات الوسيطة، ونشر استنتاجاتهم.
لا يوجد اعتماد أكاديمي. لا نسعى للحصول على اعتماد أكاديمي لاكتشافات التي تم إنتاجها بواسطة النماذج الداخلية لنا. كما أن دعوة باحث لمساعدتنا في إدارة التعاون لا يعني أنهم أو مجموعتهم العملية قد قاموا بالاكتشاف الأصلي.
التقدير. يجب تقدير هذه المجموعة على الفهم الذي تطوره، والملاحظات التي تكتبها، والمواد الأخرى التي تخلقها. كما ستساعد المجموعة في ضمان أن العمل يُنسب بشكل مناسب إلى الباحثين والتقنيات والأفكار التي استندت عليها.
الاستقلالية. المشاركة طوعية وغير مدفوعة. يشارك أعضاء المجموعات العملية بشكل مستقل، وتكون استنتاجاتهم خاصة بهم. لا يتحدثون نيابة عن OpenAI، ولا تتحدث OpenAI نيابة عنهم.
سنسلم المواد والأدوات المتعلقة بهذه النتائج إلى الشراكات المشاركة في العمل. بالنسبة للشراكة في علوم الكمبيوتر، قرر الفريق نشر الدليل اللغوي الطبيعي وتحويل النصوص إلى شكل رسمي باستخدام Lean على الفور، وسنقوم بنشرها مباشرة في مستودع GitHub الخاص بنا. أما بالنسبة للشراكة في مجال الفيزياء، فقد قرر الفريق تأجيل نشر المواد التي تم إنتاجها بواسطة الذكاء الاصطناعي، والبدء في كتابتها بأنفسهم.
جميع هذه الأساليب تتضمن تفاوتات. من ناحية، تمكن التعاون الخبراء من تحليل النتائج وتفسيرها في المجتمع الأكاديمي الأوسع. ومن ناحية أخرى، يؤثر اختيار الرواد الأولين على من يشارك أولاً، ويخلق عدم توازن في المعلومات. نرحب بالتعليقات حول كيفية توسيع المشاركة وجعل هذه العملية أكثر فائدة.
تنعيم المحلي والفرضية كاكيا
النتيجة في الرياضيات تتعلق بتحليل التوافق. في عام 1991، اقترح سوجي الفرضية المتعلقة بالتنعيم المحلي، والتي تتعلق بسلوك الموجات عندما تصبح مركزة. على وجه الخصوص، تقول الفرضية إن الحد الأقصى من التركيز يجب أن يكون قصير المدى. كمية التركيز في الوقت العشوائي النموذجي دائمًا أقل بكثير مما يمكن أن يحدث في حالة الأسوأ. هذا نمط مألوف في الرياضيات: ما يمكن أن يحدث في الحالة الأكثر سوءًا يكون أكثر دراماتيكية من ما يُلاحظ بعد التعميم. وبسبب أهمية هذه الظاهرة المتنبأ بها، فإن لها تأثيرات واسعة في التحليل الرياضي. على سبيل المثال، تفرض هذه الظاهرة افتراض كاكيا وافتراض قيود ستاين.
في عام 2019، أثبت جوث، وانغ، وزانغ(يُفتح في نافذة جديدة) الفرضية المتعلقة بالتلطيق المحلي في بُعدين مكانيين. وفي عام 2025، أثبت وانغ وزاهل(يُفتح في نافذة جديدة) الفرضية كاكيا في ثلاثة أبعاد. أنتجت نماذجنا برهانًا على الفرضية المتعلقة بالتلطيق المحلي في كل بُعد، وبالتالي تحل أيضًا الفرضية كاكيا واستثناء ستاين في جميع الأبعاد. يعتمد البرهان الجديد على معادلة تفاضلية جزئية مساعدة جديدة.
حصلنا على نتائج الذكاء الاصطناعي في 18 أكتوبر 2026، وتم توضيحها رسميًا باستخدام لين في اليوم التالي، ثم اتصلنا بمتخصص لمناقشة تشكيل تعاون حول هذا النتيجة. بناءً على توصيتهم، قررنا نشر نتائج الذكاء الاصطناعي علنًا، وفقًا للاستراتيجية نفسها التي تم استخدامها في إصدار الذي تم في 6 أكتوبر 2026. لقد نشرنا كلًا من تقرير النصوص الطبيعية للذكاء الاصطناعي (يفتح في نافذة جديدة) الذي أنتجته نماذجنا، وإثبات لين (يفتح في نافذة جديدة) في مستودع GitHub العام الخاص بنا.
فرضية الزمن التضخمي خاطئة
ستفهم التعاون في علوم الكمبيوتر وشرح نتيجة تتعلق بفرضية الزمن التكعيبي (ETH)، وهي فرضية قديمة تتعلق من الصعوبة الحسابية لتحقيق صحة الصيغ البولاندية، وهي مشكلة مرتبطة بشكل عميق بمشكلة P مقابل NP. يُعتقد على نطاق واسع أن الـ ETH صحيح، وقد استُخدم في مئات الأوراق البحثية لاستخلاص نتائج صعوبة حسابية شرطية في مجموعة متنوعة من المجالات، بما في ذلك نظرية الرسوم البيانية، علم الأحياء الحاسوبية، قواعد البيانات، الهندسة الحاسوبية، وغيرها. ومن المدهش، أن نظامنا أثبت مؤخرًا أن الـ ETH خاطئ، وهذا النتيجة تم التحقق منه لاحقًا في Lean. الرد على ETH يعيد طرح أسئلة حول مدى سرعة تحسن هذه المهام، وقد يساعد في توجيه البحث عن خوارزميات أفضل. إيجاد مثل هذه الخوارزميات وتحويل التطورات النظرية إلى تحسينات عملية سيحتاج إلى مزيد من الأبحاث الجادة.
سيتم التحقق من هذا العمل وتوجيهه من قبل فريق يقوده راسل إمباجلياتزو (جامعة كاليفورنيا سان ديغو)، وراماموهان باتوري (جامعة كاليفورنيا سان ديغو)، وريان ويليامز (معهد ماساتشوستس للتكنولوجيا). جميع الثلاثة هم خبراء في تصميم الخوارزميات ونظرية التعقيد.
إمباجيازو وباتوري، مع فرانسيس زين، هم المقترحون الأصليين لنظرية الزمن التكعيبي، وقد ألفوا كتابًا. (يفتح في نافذة جديدة)رقم(يفتح في نافذة جديدة) من (يفتح في نافذة جديدة)ذات تأثير(يفتح في نافذة جديدة) (يفتح في نافذة جديدة)الأوراق(يفتح في نافذة جديدة) على الموضوع(يفتح في نافذة جديدة) على مدى الـ 30 عامًا الماضية.
وقد رد ويليامز (يفتح في نافذة جديدة)strong(يفتح في نافذة جديدة) (يفتح في نافذة جديدة)الإصدارات(يفتح في نافذة جديدة) من ETH، استخدم ETH (يفتح في نافذة جديدة)صلابة(يفتح في نافذة جديدة) (يفتح في نافذة جديدة)النتائج(يفتح في نافذة جديدة)، ومتصل (يفتح في نافذة جديدة)الخوارزميات(يفتح في نافذة جديدة) و (يفتح في نافذة جديدة)حدود أدنى(يفتح في نافذة جديدة).
وافقنا على طلبات المجموعة بأن تُنشر جميع البيانات الخام للنتائج للعامة، لتسهيل التحقق المستقل من قبل المجتمع، وأكدت شركة OpenAI على تقديم تمويل لإقامة مؤتمر لفهم الآثار المترتبة على هذا العمل في المجال بأكمله. وتدعو المجموعة المجتمع إلى مساعدتها في تنظيم دراسة علنية لمطالبة ETH، ومناقشة القضايا الأوسع التي تطرحها الاختراقات المصنعة بالذكاء الاصطناعي بشأن التحقق، والوصول، والائتمان، ومستقبل البحث.
وجد الذكاء الاصطناعي لدينا دليلًا باللغة الطبيعية ضد فرضية ETH في 16 أكتوبر 2026، ثم قمنا بتصحيح النتيجة بشكل رسمي باستخدام Lean في 17 أكتوبر 2026، مما أدى إلى تطوير التعاون المذكور هنا. لتحقيق ذلك، أصدرنا كلاً من تقرير الإخراج اللغوي الطبيعي للذكاء الاصطناعي (يفتح في نافذة جديدة) الذي أنتجته نماذجنا، وبرهان Lean (يفتح في نافذة جديدة) في مستودع GitHub العام لنا.
للتعقيد الحسابي العديد من الأسئلة المفتوحة والافتراضات، ولم تتمكن أفضل الجهود البحثية حتى الآن من إثباتها أو دحضها. نأمل أن يقدم البشر مع الذكاء الاصطناعي فهمًا جديدًا في هذا المجال، وأن يسلطون الضوء على القدرات والحدود الجوهرية للحسابات الفعالة.
وجود ديناميكا كمية للساخرة وتكملات النموذج القياسي
ستفهم التعاون الفيزيائي النتيجة التي تقدم إثباتًا رياضيًا صارمًا لوجود نظريات مجالات كمومية تفاعلية تحتوي على حقول الميكرو، والفيرمينيون في أربعة أبعاد، بما في ذلك ديناميكا الكروماتود الكمي (QCD) وإكمال موحد لنموذج القاعدة لفيزياء الجسيمات. يعتمد عملنا على... نهج بالابان(يفتح في نافذة جديدة) في نظرية المجال الكمي البناءة. كمشكلة فرعية، يشمل هذا العمل أيضًا إثبات وجود نظرية يانغ-ميلز النقية، والتي تكون جزءًا من... مشكلة جائزة ألفية معهد كلاي للرياضيات نظرية يانغ-ميلز الكمية(يفتح في نافذة جديدة).
يصف النموذج القياسي تفاعل الجسيمات الفرعية الأساسية الثلاثة من القوى الأساسية الأربعة، باستثناء الجاذبية. تتعلق إثبات الوجود بالنظرية الموحدة الكبرى الأبسط التي تشمل حقول المغناطيسية والفيرمينيون في النموذج القياسي (لأن النموذج القياسي نفسه لا يمكن تطبيقه على المسافات القصيرة بشكل تعسفي). يصف QCD تفاعل الجسيمات مثل الكواركات والجلوبونات من خلال القوة القوية. نظرية يانغ-ميلز النقية تصف فقط التفاعلات الذاتية للجلونات، حاملي القوة، وليس المادة مثل الكواركات.
سيقود ديفيد جروس مجموعة تشمل مايكل دوغلاس، آرثر جافي، إيغور كليبانوف، ونيكيتا نيكاروسوف، وستقوم هذه المجموعة بتوجيه هذا العمل.
مساهمة جروس في عام 1973 حول الحرية التقريبية في نظريات يانغ-ميلز ساعدت في تأسيس نظرية QCD كنظرية للتفاعلات القوية، وقد مكّنته من الحصول على جائزة جائزة نوبل في الفيزياء لعام 2004 (تُفتح في نافذة جديدة). الحرية التقريبية هي أيضًا الآلية الأساسية التي تكمن وراء وجود هذه النظريات كعناصر رياضية صارمة.
صاغ جافي مشكلة جائزة ألفية نظرية يانغ-ميلز الكمية (تفتح في نافذة جديدة) مع ويتن، كما تخيّل فكرة مشاكل جائزة الألفية، وأسس معهد كلاي للرياضيات أيضًا.
لقد كان دوغلاس حارسًا لهذه المشكلة على مدار الـ 20 عامًا الماضية، بالتحقيق في حالتها في عام 2004(يُفتح في نافذة جديدة)، ثم قدم تحديث شامل عن التقدم المحرز(يُفتح في نافذة جديدة) في بداية هذا العام.
ساعد كليبانوف في ريادة تطبيق ثنائية القضيب-الخط على الحجز، وهو خاصية مهمة في QCD، والآن يدير التعاون مع سيمونز حول الحجز وخطوط QCD (يُفتح في نافذة جديدة).
قام نيكاروف بعمل رائد في الطرق الدقيقة لتعميم نظرية يانغ-ميلز، وحصل على جائزة داني هاينمان للفيزياء الرياضية في عام 2023.
يطلب الفريق أن تُرسل جميع الاتصالات المتعلقة بأعضاء الفريق بخصوص هذا المشروع إلى حساب البريد الإلكتروني التالي: YANGMILLS4D@gmail.com.
أنتجت نماذجنا دليلًا بلغة طبيعية بخصوص وجود يانغ-ميلز في 9 سبتمبر 2026، ثم أنتجت بعد ذلك دليلًا بخصوص QCD في 18 سبتمبر 2026. نظرًا لطول ومعقدة العمل، تم تأجيل الإصدار حتى اكتمال الشكلية الرسمية للنظرية. أكملنا الشكلية الرسمية لوجود يانغ-ميلز في 16 أكتوبر 2026، مما أدى إلى تطوير التعاون المذكور هنا.
نأمل أن تكون هذه النتائج بداية انتقال حيث يتحول نظرية المجال الكمي، وهو الإطار الأهم في الفيزياء النظرية الحديثة، إلى مجال رياضي صارم. نحن متحمسون لتقديم الموارد اللازمة للتقدم الأكاديمي نحو هذا الهدف.
دعم العلماء
نحن ملتزمون بدعم العمل الأوسع لتفهم وتطوير النتائج التي تم التوصل إليها. تكمل هذه التعاونات مساهمتنا التي أعلنا عنها مؤخرًا في مؤسسة سيمونز، والتي تبلغ 5 ملايين دولار (تفتح في نافذة جديدة). يتم إدارة وتوزيع هذا التمويل من قبل مؤسسة سيمونز، وسيُدعم هذا التمويل ورش عمل ومؤتمرات وبرامج خاصة لمساعدة الباحثين على فهم وتطوير النتائج التي تم إنتاجها بواسطة الذكاء الاصطناعي. نحن ملتزمون بضمان توفير التمويل للباحثين لكي يتمكنوا من فحص النتائج المذكورة وتفسيرها وبناء أفكارهم الخاصة عليها.
نواصل دعوة المستخدمين لتقديم ملاحظات حول أفضل طريقة للكشف عن النتائج والتواصل مع العلماء لتسريع الاكتشافات.