الإجاباتمنشور21 المصادر
لماذا سحبت OpenAI ثلاث مخطوطات رياضية بعد نشرها؟
في 7 أكتوبر 2026، سحبت OpenAI ثلاث مخطوطات من أصل 722 نشرتها، بعدما أفسد خطأ بين +1 و−1 برهانًا في إحداها وأضعف مخطوطتين اعتمدتا عليه. يضم الفهرس المحدّث 719 مخطوطة موزعة على 372 مجموعة مترابطة، مع الإبلاغ عن تنقيح 14 مخطوطة وتحديث الإحالات المرجعية في 13 مخطوطة مرافقة.
نشر بواسطةتم التحرير باستخدام GPT-6 Lunaتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- في 7 أكتوبر 2026، سحبت OpenAI ثلاث مخطوطات من أصل 722 نشرتها، بعدما أفسد خطأ بين +1 و−1 برهانًا في إحداها وأضعف مخطوطتين اعتمدتا عليه.
- يضم الفهرس المحدّث 719 مخطوطة موزعة على 372 مجموعة مترابطة، مع الإبلاغ عن تنقيح 14 مخطوطة وتحديث الإحالات المرجعية في 13 مخطوطة مرافقة.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What led OpenAI to withdraw three of the 722 mathematics manuscripts it released on Oct. 6 in a public GitHub repository, how were these man. Article summary: OpenAI withdrew three manuscripts less than a day after releasing 722 AI-generated mathematics manuscripts on October 6, 2026. A sign error broke a proof about Weil classes, and two papers that relied on that proof could. Topic tags: general, general web. 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, charts with fake numbers, clic
سحبت OpenAI ثلاث مخطوطات رياضية في 7 أكتوبر، بعد أقل من يوم على نشر 722 مخطوطة أنشأها نموذج داخلي على GitHub. اكتُشف خطأ في إشارة ضمن برهان إحدى المخطوطات، فأبطل حجة أساسية فيها وأثر في مخطوطتين استندتا إلى ذلك العمل. وتوضح الواقعة أن نشر مخطوطة رياضية لا يعني أن نتائجها خضعت للتحقق المستقل. 24
35
ما الذي نشرته OpenAI؟
في 6 أكتوبر، أتاحت الشركة مخطوطات أنتجها نموذج داخلي لم تطرحه للاستخدام العام. وجُمعت الأعمال في 372 مجموعة مترابطة، تضم كل منها أوراقًا قد تشمل نتيجة رئيسية وحججًا مساندة أو نتائج مترتبة عليها أو براهين بديلة. وتغطي المجموعة مجالات منها الجبر والهندسة وعلوم الحاسوب. 1
35
38
لذلك لا يعني وجود 722 مخطوطة أن المجموعة تضم 722 نتيجة مستقلة؛ فبعض المخطوطات تعتمد على حجج أو إنشاءات واردة في مخطوطات أخرى ضمن المجموعة نفسها. وهذا الترابط كان أساسيًا في تفسير سبب سحب الأعمال الثلاثة. 1
24
كيف امتد أثر خطأ الإشارة إلى ثلاث مخطوطات؟
ظهر الخلل في مخطوطة بعنوان Algebraicity of Weil classes on split abelian eightfolds. ففي حجة محورية، أُسنِدت إلى عملية هندسية الإشارة +1، بينما كان ينبغي أن تكون −1 وفق الاصطلاحات المعتمدة في المخطوطة. وأفسد هذا الخطأ حجة الإلغاء التي استند إليها البناء الرياضي فيها. 21
24
27
واعتمدت مخطوطتان أخريان على هذا العمل: Algebraicity of Kuga–Satake Correspondences for K3 Surfaces وThe rational Hodge conjecture for products of K3 surfaces. وحين لم تعد الحجة الأساسية صالحة، لم يعد بالإمكان الاستناد إليها لدعم الادعاءات التابعة لها؛ لذلك سحبت OpenAI المخطوطات الثلاث. وهذا يعني أن براهين هذه الأعمال تعثرت، لا أن المسائل أو التخمينات الرياضية التي تناولتها قد دُحضت. 21
24
35
ماذا كشف تحديث المستودع؟
أظهر تحديث 7 أكتوبر سحب المخطوطات الثلاث، إلى جانب تنقيح 14 مخطوطة أخرى وتحديث الإحالات المرجعية في 13 مخطوطة مرافقة. وانخفض عدد المخطوطات في الفهرس من 722 إلى 719، مع بقاء تقسيمها إلى 372 مجموعة. 1
24
28
وتوضح صفحة المستودع ومواد OpenAI أن الأعمال المنشورة متفاوتة في مراحل التحقق، وتحذّر من احتمال وجود أخطاء في بعضها. وقالت الشركة إنها استعانت بمشورة المجموعة الاستشارية المعنية بالرياضيات والذكاء الاصطناعي في إعداد نهجها لمشاركة هذه الأعمال. لذا من الأنسب التعامل مع المخطوطات بوصفها مادة قابلة للفحص والنقاش، لا مجموعة نتائج محسومة. 1
33
39
ما الذي تثبته براهين Lean، وما الذي لا تثبته؟
تتضمن المجموعة صيغًا رسمية لبعض النتائج بلغة Lean، وهي أداة للتحقق الحاسوبي من البراهين الرياضية بعد صياغتها بطريقة رسمية. لكن التقارير المتاحة لا تستخدم مقياسًا موحدًا لمدى التغطية: فملخص يحصي نحو 300 من أصل 719 نتيجة رئيسية مصاغة رسميًا، بينما يحصي مصدر آخر 162 مخطوطة من أصل 722 لديها صياغة رسمية للنتيجة الأساسية. وهذه أرقام بوحدات مختلفة، ولا تعني أيٌّ منها أن كل ادعاء في المخطوطات المعنية خضع للتحقق المستقل. 25
33
36
وتوفر مشاورات OpenAI مع المجموعة الاستشارية ووجود براهين مصاغة بلغة Lean سياقًا مفيدًا لتقييم ما نُشر، لكنهما لا يغنيان عن فحص الحجج المكتوبة وحدود كل ادعاء. كما تبيّن عمليات السحب أن مراجعة الروابط بين المخطوطات مهمة: فقد يؤثر خطأ في حجة مشتركة على أكثر من عمل. 24
33
39
الخلاصة: النتائج المنشورة تحتاج إلى التحقق
يثبت سحب المخطوطات أن حجة محددة لم تصمد، وأن مخطوطتين اعتمدتا عليها لم تعودا قادرتين على الاستناد إليها. لكنه لا يثبت أن بقية المخطوطات خاطئة، ولا أن نتائجها صحيحة. فلا بد من تقييم كل نتيجة على حدة، مع فحص البرهان وافتراضاته وصلاته بالأعمال الأخرى. 1
21
35
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "لماذا سحبت OpenAI ثلاث مخطوطات رياضية بعد نشرها؟"؟
في 7 أكتوبر 2026، سحبت OpenAI ثلاث مخطوطات من أصل 722 نشرتها، بعدما أفسد خطأ بين +1 و−1 برهانًا في إحداها وأضعف مخطوطتين اعتمدتا عليه.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
في 7 أكتوبر 2026، سحبت OpenAI ثلاث مخطوطات من أصل 722 نشرتها، بعدما أفسد خطأ بين +1 و−1 برهانًا في إحداها وأضعف مخطوطتين اعتمدتا عليه. يضم الفهرس المحدّث 719 مخطوطة موزعة على 372 مجموعة مترابطة، مع الإبلاغ عن تنقيح 14 مخطوطة وتحديث الإحالات المرجعية في 13 مخطوطة مرافقة.