سحبت OpenAI ثلاث مخطوطات مترابطة من مجموعتها الرياضية العامة بعد اكتشاف خطأ في الإشارة في برهان الورقة الأولى. ويسجل سجل المستودع لدى الشركة repository historyفي مدخل 7 أكتوبر مراجعات 14 مخطوطة أخرى وتحديث المراجع في 13 إضافية. وتحمل إشعارات السحب الثلاثة تاريخ 6 أكتوبر. وهي تشير إلى نقص في البراهين، لا إلى دحض العبارات الرياضية.
التغيير الأهم
- ما الذي تغير: استبدلت OpenAI المخطوطات الثلاثة بإشعارات سحب. وتقول الشركة إن خطأ في الإشارة أفسد خطوة إلغاء مستخدمة في الورقة الأولى، وكذلك إنشاءً اعتمدت عليه الورقتان الأخريان.
- لماذا يهم ذلك: أصبح لدى من يستشهد بهذه الادعاءات المحددة أو يبني عليها إشعار دقيق ونسخة مؤرشفة لفحصها. ولا يكفي نشر البراهين سابقاً لاعتبار النتائج الأصلية ثابتة.
- ما ينبغي متابعته: يتعهد المستودع بحفظ النسخ السابقة وتسجيل المراجعات. ويجب أن يفحص تقييم مستقل كل عبارة وبرهان مصححين؛ فسجل التغييرات وحده لا يثبت سلامة بقية المجموعة.
موضع توقف البرهان
الورقة الأولى التي سُحبت، « Algebraicity of Weil classes on split abelian eightfolds»، ادعت إثبات نتيجة في الجبرية ضمن سياق محدد للمتنوعات الأبيلية. ويوضح withdrawal notice المشكلة وفق اصطلاح الورقة نفسه للنقاط المزدوجة الموقعة. بدأ البرهان بعدّ -m، حيث m موجب. وأسند لكل m أثر تثبيت عكسي الإشارة +1، فبدا أن العدد يُلغى إلى الصفر. وتقول OpenAI الآن إن إشارة كل أثر هي -1 بسبب تعاكس اتجاهي المصدر لفرعي الحدبة القياسية. ووفق هذا التفسير يصبح العدد -2m، لا صفراً.
تتطلب مبرهنة الإلغاء المستخدمة في تلك الخطوة أن يكون عدد النقاط المزدوجة الموقعة صفراً. وتقول OpenAI إن البرهان لذلك لا يدعم جراحة التوجيه اللاحقة وإنشاء البرانات المضمنة، ولا يثبت المبرهنة التي تدعيها الورقة. ولا يقول الإشعار إن عبارة المبرهنة خاطئة.
وتعزو الإشارتان الأخريان النقص إلى تكييف ذلك الإنشاء. وتقول OpenAI إن مبرهنة الجبرية المدعاة في Algebraicity of Kuga–Satake Correspondences for K3 Surfaces لا تزال غير مثبتة. ويقول إشعار The rational Hodge conjecture for products of K3 surfaces الأمر نفسه عن مبرهنة الورقة بشأن حواصل ضرب سطوح K3 الإسقاطية. وهذه هي المخطوطات الثلاث المذكورة في ملف السجل؛ ولا تحدد الإشعارات نتائج أخرى غير مرتبطة في المجموعة على أنها مسحوبة.
يربط كل إشعار بملف PDF سابق للسحب عند مراجعة المستودع adc7f1241b42e322a6451854ab7e4b4c146bf78a. تحققت BIG CHANGE من روابط الإشعارات الثلاثة ووجهات ملفات PDF المؤرشفة. كان ذلك فحصاً لوثائق عامة، لا تحكيماً رياضياً للحجج ولا تحققاً من برهان Lean.
مراجعة أوسع واستنتاجات أضيق
في مدخل السجل نفسه بتاريخ October 7 history entry7 أكتوبر، تقول OpenAI إنها راجعت 14 مخطوطة أخرى. وتصف إصلاحات للبراهين وتغييرات في العبارات والفرضيات والتبعيات عبر عدة تخصصات، إضافة إلى تصحيح استشهاد قديم. ويذكر المدخل أن 13 مخطوطة إضافية تلقت مراجع محدثة إلى طبعات منقحة لأعمال مرتبطة. كما أفادت OpenAI بستة تحويلات شكلية إضافية، ليبلغ عدد النتائج الرئيسية المصاغة شكلياً 300 من أصل 719، أي نحو 42%.
تصف هذه الأرقام رواية OpenAI لتحديث المستودع. وهي لا تقيس متانة الحجج المنقحة ولا تثبت فحص كل ادعاء في مخطوطة صيغت شكلياً. ويقول README المستودع نفسه إن المجموعة تضم أعمالاً في مراحل مختلفة من التحقق، ويحذر من احتمال وجود مشكلات في بعض النتائج غير المصاغة شكلياً. ولم نعثر خلال إعداد هذا التقرير على تقييم رياضي مستقل وفي الوقت المناسب لخطأ الإشارة المحدد والبراهين التابعة له.
أدى إصدار 6 أكتوبر إلى إتاحة مجموعة كبيرة من المخطوطات التي أنتجها الذكاء الاصطناعي. ويشرح repository inspection السابق لنا كيفية تثبيت نسخة والتمييز بين المخطوطة وآثار برهانها الشكلي؛ ويناقش opinion on research-review capacity رأينا العمل اللازم لتقييم إصدار بهذا الحجم. ويوفر سجل السحب الجديد سبباً ملموساً للحفاظ على هذا التمييز. وفي هذه الأوراق الثلاث، حددت OpenAI خطوة البرهان التي أخفقت وأبقت ملفات PDF السابقة متاحة. ويبقى السؤال عما إذا كان برهان مستقبلي سيثبت أياً من عباراتها مسألة رياضية مفتوحة.
المصادر ومواد إضافية
يسجل repository history OpenAI عمليات السحب الثلاث ومراجعات 14 مخطوطة وتحديث المراجع المصاحبة في 13 عملاً وعدد الصياغات الشكلية في مدخل 7 أكتوبر 2026. وتشرح الإشعارات الفردية الخاصة بـ Weil-class و و and الثغرات المدعاة، وتؤرخ السحب في 6 أكتوبر، وتربط بملفات PDF مؤرشفة عند مراجعة ثابتة. هذه سجلات OpenAI: دليل مباشر على ما أفصحت عنه الشركة، لا مراجعة مستقلة للبراهين. notices explain the claimed gaps, label the withdrawals October 6 and link archived PDFs at a fixed revision. These are OpenAI's records; they are direct evidence of what the company disclosed, not independent proof review.
ويشرح October 6 announcement OpenAI الإصدار الأولي للمجموعة والإضافات المخطط لها. وفحصت BIG CHANGE ملف السجل الحالي والإشعارات الثلاثة وروابط أرشيفها في 8 أكتوبر. ولم نشغل Lean، أو نفحص كل مخطوطة منقحة، أو نتحقق من الرياضيات بصورة مستقلة.
