قالت OpenAI إنها تسحب ثلاث أوراق رياضية أولية بعد اكتشاف خطأ في الإشارة ضمن برهان أساسي. جعل هذا الخطأ خطوة إلغاء أثر التثبيت غير صحيحة، وأضعف أيضًا ورقتين لاحقتين استندتا إلى النتيجة. والأوراق المسحوبة هي: • جبرية أصناف ويل على المتنوعات الأبيلية المنقسمة ذات البعد 8 • جبرية مراسلات كوغا–ساتاكي لسطوح K3 • حدسية هودج النسبية لحواصل ضرب سطوح K3 وأضافت OpenAI إشعارات إلى الأوراق وروابط إلى نسخها المؤرشفة، كي يتمكن القراء من الاطلاع على موضع الخلل.
ما التحديثات الأخرى؟
إلى جانب سحب الأوراق، صححت OpenAI 14 مخطوطة أخرى. وتعالج التصحيحات ثغرات في البراهين، وتوضح الفرضيات، وتصحح الاستشهادات. وشملت الموضوعات ارتفاعات ليبشيتز، وبرامج النماذج الدنيا الكاهلرية، والتشوهات فائقة السمبلكتية. كما حُدثت 13 ورقة إضافية لتستشهد بالنسخ المنقحة من الأعمال ذات الصلة. وأضافت المؤسسة أيضًا ستة صِيَغ شكلية جديدة، لترتفع نسبة النتائج الرئيسية التي جرى التحقق منها شكليًا إلى نحو 42٪ (300 من أصل 719).
لماذا يهم
بالنسبة إلى علماء الرياضيات الذين يتابعون عمل OpenAI في التحقق الشكلي، يعني سحب الأوراق وجود ثغرة في الأدبيات قد تؤثر في أي بحث استشهد بهذه النتائج الثلاث. ويمكن للقراء الآن رؤية موضع الخطأ تحديدًا وتجنب البناء على البرهان المعيب. وفي المقابل، يستفيد المجتمع الأوسع من إصلاح الأوراق الـ14 وإضافة صِيَغ شكلية جديدة، ما يعزز موثوقية مكتبة OpenAI الرياضية.
