الإجاباتمنشور25 المصادر
OpenAI تقول إن نموذجها حل أكثر من 100 مسألة مفتوحة — لكن التحقق المستقل لم يكتمل
في 21 سبتمبر 2026، قالت OpenAI إن نموذجاً داخلياً بدأ تدريبه في 28 أغسطس حل أكثر من 100 مسألة رياضية مفتوحة وطويلة الأمد. نشرت الشركة برهاناً تحليلياً وصياغة رسمية بلغة Lean لادعائها بشأن نافييه–ستوكس، لكن النتيجة لم تمر بعد بنشر مؤهل أو قبول عام ومستقل من مجتمع الرياضيات.
نشر بواسطةتم التحرير باستخدام GPT-5.6 Terraتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- في 21 سبتمبر 2026، قالت OpenAI إن نموذجاً داخلياً بدأ تدريبه في 28 أغسطس حل أكثر من 100 مسألة رياضية مفتوحة وطويلة الأمد.
- نشرت الشركة برهاناً تحليلياً وصياغة رسمية بلغة Lean لادعائها بشأن نافييه–ستوكس، لكن النتيجة لم تمر بعد بنشر مؤهل أو قبول عام ومستقل من مجتمع الرياضيات.
- لا يوجد في السجل العلني دليل يبرر اعتبار حدس هودج محلولاً؛ إذ أقرت OpenAI بتقدم كبير في مسألة ألفية ثانية لم تسمّها ولم تنشر برهانها.[14]
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, cha
إعلان OpenAI في 21 سبتمبر كان ادعاءً بحثياً استثنائياً، لا نتيجة رياضية محسومة. قالت الشركة إن نموذجاً داخلياً لم تسمّه، بدأ تدريبه في 28 أغسطس، حل أكثر من 100 مسألة مفتوحة طويلة الأمد في معظم مجالات الرياضيات. وجاء ذلك بالتزامن مع إعلانها تأسيس مجموعة استشارية مستقلة للرياضيات والذكاء الاصطناعي تستضيفها «معهد الدراسات المتقدمة» (IAS) في برينستون. 5
15
والفارق الحاسم هنا هو بين أن تقول شركة إنها توصلت إلى حل، وبين أن يكون هذا الحل قد خضع لمراجعة مستقلة وقبله مجتمع الرياضيين. المعلومات المتاحة علناً تؤيد الأمر الأول، لكنها لا تثبت الثاني بالنسبة إلى المجموعة الكاملة من المسائل المزعوم حلها.
ماذا ادعت OpenAI تحديداً؟
سبق إعلان 21 سبتمبر ادعاء الشركة في 8 سبتمبر بأن نحو 10,000 وكيل ذكاء اصطناعي، يعملون بنموذج داخلي غير مُتاح للجمهور، توصلوا خلال 88 ساعة إلى حالة تفرد في زمن منتهٍ لمعادلات نافييه–ستوكس ثلاثية الأبعاد تحت تأثير قوة خارجية. وقدمت OpenAI ذلك بوصفه حلاً لمسألة الوجود والنعومة في نافييه–ستوكس، وقالت إنها أنتجت برهاناً تحليلياً وصياغة رسمية بلغة Lean. 1
13
ثم وسّعت الشركة نطاق ادعائها في 21 سبتمبر: فإلى جانب نافييه–ستوكس، قالت إن النموذج حل أكثر من 100 مسألة مفتوحة طويلة الأمد. 5
15
لكن كلمة «حل» هنا هي توصيف OpenAI نفسها؛ وهي لا تعني تلقائياً أن كل نتيجة نُشرت، أو فحصها خبراء مستقلون، أو نالت قبولاً رياضياً عاماً.
ما الذي أُتيح للعلن، وما الذي لم يُتح؟
في حالة نافييه–ستوكس، وصفت OpenAI برهاناً تحليلياً وصياغة بلغة Lean، وهي لغة مساعدة لإثبات النظريات. ويُعد التحقق عبر Lean دليلاً ذا وزن: فهو يثبت أن نظرية محددة بدقة تنتج من التعريفات والمسلمات والمكتبات الرسمية التي جرى ترميزها. 13
أما ادعاء «أكثر من 100» مسألة، فالسجل العلني المتاح أقل تفصيلاً بكثير. لم يتضمن إعلان 21 سبتمبر فهرساً علنياً بأسماء المسائل، وصياغاتها الرياضية الدقيقة، وبراهينها، وحالة توثيقها في Lean، ومصادر الأفكار أو الأولوية العلمية، ووضع المراجعة المستقلة لكل منها. لذلك لا يستطيع الباحثون من خارج الشركة تدقيق الرقم مسألةً بمسألة. 7
11
كما أن التقارير المتاحة لا تثبت اكتمال مراجعة بشرية مستقلة، ولا قبولاً عاماً لبرهان نافييه–ستوكس في المجتمع الرياضي. وهذه معايير مختلفة عن إتاحة ملف برهان أو نجاح الشفرة في الترجمة والفحص. 1
46
هل حُلّ حدس هودج؟
لا. لا يدعم السجل المقدم علناً اعتبار حدس هودج محلولاً.
وحدس هودج واحد من مسائل جائزة الألفية التي وضعها معهد كلاي للرياضيات. 37 وتشير التقارير إلى أن OpenAI أقرت بإحراز «تقدم كبير» في مسألة ألفية ثانية لم تكشف اسمها، لكنها لم تعلن أن تلك المسألة هي حدس هودج ولم تنشر برهاناً لها.
14
التقارير أو الشائعات أو إعلان التقدم ليست بديلاً عن برهان منشور يمكن للباحثين فحصه. وإلى أن تُنشر صياغة دقيقة للعمل والأدلة الداعمة له، ثم تُقيَّم بصورة مستقلة، فلا يصح القول إن حلاً من OpenAI لحدس هودج قد ثبت.
لماذا قد يكون برهان Lean صحيحاً، لكنه صعب التقييم بشرياً؟
التحقق الرسمي والفهم الرياضي البشري يعالجان مشكلتين متصلتين، لكنهما ليستا الشيء نفسه.
يمكن لصياغة Lean أن تمنح ضماناً قوياً بعدم وجود فجوة منطقية في النظرية كما رُمزت ضمن إطارها الرسمي. لكن نصوص الإثبات الرسمية تضطر غالباً إلى تفصيل الاستدلالات الاعتيادية إلى تعريفات كثيرة، ولمّات، واعتماديات من المكتبات، وإعادات كتابة، وخطوات تقنية. وهذا قد يجعل البرهان عسير القراءة حتى على المتخصصين إذا أرادوا فهم فكرته الجوهرية.
ولا يعني ذلك أن عبارة «البرهان اجتاز الفحص» بلا قيمة. بل يعني أن نجاح الفحص وحده لا يجيب عن أسئلة مهمة، مثل:
- هل تطابق الصياغة الرسمية بدقة المسألة المقصودة في جائزة الألفية؟
- ما الفكرة الأساسية وراء البناء أو آلية نشوء التفرد؟
- أي التقديرات أو الحجج تحمل العبء الفكري الحقيقي في البرهان؟
- هل النتيجة متينة وجديدة ومعروضة بطريقة يستطيع باحثون آخرون البناء عليها؟
- كيف تُنسب الأولوية العلمية إلى الأعمال والأفكار السابقة ذات الصلة؟
قد يكون الفحص الرسمي جزءاً كبيراً من التحقق، لكنه لا يوفّر تلقائياً عرضاً موجزاً يفهمه البشر، ولا يحسم أولوية الأفكار، ولا يصنع إجماعاً علمياً.
انتقادات بشأن الائتمان العلمي وأولوية النشر
أثار الإعلان انتقادات تتجاوز الجوانب التقنية للبرهان. فقد وقّع 25 حائزاً على ميدالية فيلدز رسالة مفتوحة بعنوان A Severe Misalignment of AI in Mathematics، اعترضوا فيها على سباق مختبرات الذكاء الاصطناعي لاستخدام المسائل الرياضية الشهيرة استعراضاً لقدرات النماذج. ووفق التقارير، حذر الموقعون من أن هذه الحوافز قد تضر بالرياضيات، بما في ذلك ثقافة البحث وتدريب الباحثين. 19
21
وشمل خلاف آخر حول الأولوية الرياضيين تريستان بكماستر وليفنت ألبوغه. ففي بيان معاصر للأحداث، قال بكماستر إنه أُبلغ بأن نظاماً داخلياً في OpenAI يملك برهاناً لتفرد في زمن منتهٍ لمعادلات نافييه–ستوكس القسرية. وأضاف أنه وألبوغه شعرا بضغط لنشر أعمال مرتبطة قبل اكتمال التحقق والعرض التفسيري؛ ويذكر بيانه أن نتيجة منفصلة تخص نسخة منخفضة التبدد من نافييه–ستوكس لم تُنشر لأن التحقق عبر Lean لم يكتمل. 17
يمثل حساب بكماستر دليلاً مهماً على نزاع يتعلق بالتوقيت والفضل العلمي وضغوط النشر، لكنه لا يشكل بمفرده إثباتاً بأن OpenAI نسخت عمل أحد. وقالت OpenAI إنها بدأت عملها بعد سماعها شائعة عن اختراق حققه الرياضيان، وإنها عرضت إصداراً متزامناً يعترف بأولويتهما. 32
لذلك لا تقتصر المسألة على ما إذا كان نظام ذكاء اصطناعي يستطيع إنتاج برهان، بل تشمل أيضاً كيفية نشر اكتشافات مدعومة بالذكاء الاصطناعي بما يسمح بالإسناد الدقيق، والمراجعة المستقلة، والتبادل العلمي المعتاد.
ماذا تستطيع المجموعة الاستشارية في IAS، وما الذي لا تستطيع فعله؟
أعلنت OpenAI عن مجموعة استشارية مستقلة غير مدفوعة الأجر، تضم تسعة أعضاء، في الرياضيات والذكاء الاصطناعي، ويستضيفها معهد الدراسات المتقدمة في برينستون. وتشير التقارير إلى أن من أعضائها تيموثي غاورز ومارتن هارر. 4
5
وهدفها المعلن هو منح الرياضيين دوراً في تقييم الأعمال الرياضية التي يولدها الذكاء الاصطناعي والتواصل بشأنها، بما يشمل تقديم المشورة حول المراجعة وممارسات النشر. 5
15
لكنها هيئة استشارية لا تنظيمية. ووفق المعلومات المتاحة، لا يمكنها إلزام OpenAI بنشر البراهين الأصلية، أو فرض جدولها البحثي، أو منع الإعلانات، أو الفصل نهائياً في نسب التأليف والأولوية. 7
وهذا قيد أساسي: يمكن لمشورة الخبراء أن تحسن الشفافية وطريقة التواصل، لكنها لا تحوّل بمفردها ادعاءً داخلياً لشركة إلى نظرية مقبولة في المجتمع الرياضي.
لماذا لا توجد جائزة ألفية متاحة الآن؟
قواعد معهد كلاي واضحة: قبل أن ينظر المعهد في حل مقترح لمسألة من مسائل جائزة الألفية، يجب أن يُنشر في منفذ نشر مؤهل، وأن تمر سنتان على الأقل بعد النشر، وأن يحظى العمل بقبول عام في مجتمع الرياضيات العالمي. 46
ولا يحقق منشور في مدونة شركة، أو مسودة أولية، أو مستودع شفرات، أو تقييم مجموعة استشارية، هذه الشروط تلقائياً. كما أكد معهد كلاي بعد إعلان نافييه–ستوكس أن قواعده تنظّم عملية تقييم ما تحقق وإسناد الفضل العلمي أيضاً. 42
لذلك، حتى لو تبيّن في النهاية أن نتيجة نافييه–ستوكس أو أي نتيجة لاحقة من OpenAI صحيحة، فإن إعلانات سبتمبر لا تجعلها مؤهلة فوراً للجائزة. ولا بد أن تمر عبر النشر العلمي والتدقيق والقبول المتعارف عليه.
الخلاصة
تدعي OpenAI أن نموذجاً داخلياً حل أكثر من 100 مسألة رياضية مفتوحة، بعد ادعائها السابق امتلاك حل موثق بلغة Lean لمسألة نافييه–ستوكس. توجد مواد علنية تخص نافييه–ستوكس، أما الحزمة الأوسع من النتائج فلا تملك بعد سجلاً علنياً مفصلاً يمكن تدقيقه لكل مسألة على حدة. 13
11
والحكم المسؤول حالياً ليس الرفض التلقائي ولا القبول النهائي: إنها ادعاءات قد تكون بالغة الأثر، لكنها تحتاج إلى براهين شفافة، وفحص خبراء مستقلين، ونسب دقيق للفضل العلمي، ووقت. وينطبق ذلك بصورة خاصة على أي تلميح إلى حل مسألة ألفية أخرى، مثل حدس هودج.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "OpenAI تقول إن نموذجها حل أكثر من 100 مسألة مفتوحة — لكن التحقق المستقل لم يكتمل"؟
في 21 سبتمبر 2026، قالت OpenAI إن نموذجاً داخلياً بدأ تدريبه في 28 أغسطس حل أكثر من 100 مسألة رياضية مفتوحة وطويلة الأمد.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
في 21 سبتمبر 2026، قالت OpenAI إن نموذجاً داخلياً بدأ تدريبه في 28 أغسطس حل أكثر من 100 مسألة رياضية مفتوحة وطويلة الأمد. نشرت الشركة برهاناً تحليلياً وصياغة رسمية بلغة Lean لادعائها بشأن نافييه–ستوكس، لكن النتيجة لم تمر بعد بنشر مؤهل أو قبول عام ومستقل من مجتمع الرياضيات.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
لا يوجد في السجل العلني دليل يبرر اعتبار حدس هودج محلولاً؛ إذ أقرت OpenAI بتقدم كبير في مسألة ألفية ثانية لم تسمّها ولم تنشر برهانها.[14]