نسخة Markdown

AI-translated from English; not yet reviewed by a fluent editor.

# OpenAI تسحب ثلاث مخطوطات رياضية بسبب خطأ في الإشارة

> سحبت OpenAI ثلاث مخطوطات رياضية بسبب خطأ في الإشارة. تحدد الإشعارات خطوة البرهان التي أخفقت، وتحفظ ملفات PDF السابقة، ولا تثبت الادعاءات.

By BIG CHANGE Editorial

Published: 2026-10-08T16:17:52.496Z
Updated: 2026-10-08T22:15:14.321Z
Canonical: https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error

![A plain wall-mounted blackboard bears a single minus sign over a faint, partly erased plus-shaped chalk mark; a small eraser rests on its attached ledge.](https://bigchange.ai/api/media/file/openai-math-sign-correction-hero-v1.png)
AI-generated conceptual illustration by BIG CHANGE. The board and marks are symbolic; no real proof, source document, repository, review or theorem validation is depicted.

سحبت OpenAI ثلاث مخطوطات مترابطة من مجموعتها الرياضية العامة بعد اكتشاف خطأ في الإشارة في برهان الورقة الأولى. ويسجل سجل المستودع لدى الشركة [repository history](https://github.com/openai/math/blob/main/history.md)في مدخل 7 أكتوبر مراجعات 14 مخطوطة أخرى وتحديث المراجع في 13 إضافية. وتحمل إشعارات السحب الثلاثة تاريخ 6 أكتوبر. وهي تشير إلى نقص في البراهين، لا إلى دحض العبارات الرياضية.

## التغيير الأهم

- **ما الذي تغير:** استبدلت OpenAI المخطوطات الثلاثة بإشعارات سحب. وتقول الشركة إن خطأ في الإشارة أفسد خطوة إلغاء مستخدمة في الورقة الأولى، وكذلك إنشاءً اعتمدت عليه الورقتان الأخريان.
- **لماذا يهم ذلك:** أصبح لدى من يستشهد بهذه الادعاءات المحددة أو يبني عليها إشعار دقيق ونسخة مؤرشفة لفحصها. ولا يكفي نشر البراهين سابقاً لاعتبار النتائج الأصلية ثابتة.
- **ما ينبغي متابعته:** يتعهد المستودع بحفظ النسخ السابقة وتسجيل المراجعات. ويجب أن يفحص تقييم مستقل كل عبارة وبرهان مصححين؛ فسجل التغييرات وحده لا يثبت سلامة بقية المجموعة.

## موضع توقف البرهان

الورقة الأولى التي سُحبت، «  *Algebraicity of Weil classes on split abelian eightfolds*»، ادعت إثبات نتيجة في الجبرية ضمن سياق محدد للمتنوعات الأبيلية. ويوضح [withdrawal notice](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) المشكلة وفق اصطلاح الورقة نفسه للنقاط المزدوجة الموقعة. بدأ البرهان بعدّ `-m`، حيث `m` موجب. وأسند لكل `m` أثر تثبيت عكسي الإشارة `+1`، فبدا أن العدد يُلغى إلى الصفر. وتقول OpenAI الآن إن إشارة كل أثر هي `-1` بسبب تعاكس اتجاهي المصدر لفرعي الحدبة القياسية. ووفق هذا التفسير يصبح العدد `-2m`، لا صفراً.

تتطلب مبرهنة الإلغاء المستخدمة في تلك الخطوة أن يكون عدد النقاط المزدوجة الموقعة صفراً. وتقول OpenAI إن البرهان لذلك لا يدعم جراحة التوجيه اللاحقة وإنشاء البرانات المضمنة، ولا يثبت المبرهنة التي تدعيها الورقة. ولا يقول الإشعار **إن عبارة المبرهنة** خاطئة.

وتعزو الإشارتان الأخريان النقص إلى تكييف ذلك الإنشاء. وتقول OpenAI إن مبرهنة الجبرية المدعاة في [*Algebraicity of Kuga–Satake Correspondences for K3 Surfaces*](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) لا تزال غير مثبتة. ويقول إشعار [*The rational Hodge conjecture for products of K3 surfaces*](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) الأمر نفسه عن مبرهنة الورقة بشأن حواصل ضرب سطوح K3 الإسقاطية. وهذه هي المخطوطات الثلاث المذكورة في ملف السجل؛ ولا تحدد الإشعارات نتائج أخرى غير مرتبطة في المجموعة على أنها مسحوبة.

يربط كل إشعار بملف PDF سابق للسحب عند مراجعة المستودع `adc7f1241b42e322a6451854ab7e4b4c146bf78a`. تحققت BIG CHANGE من روابط الإشعارات الثلاثة ووجهات ملفات PDF المؤرشفة. كان ذلك فحصاً لوثائق عامة، لا تحكيماً رياضياً للحجج ولا تحققاً من برهان Lean.

## مراجعة أوسع واستنتاجات أضيق

في مدخل السجل نفسه بتاريخ [October 7 history entry](https://github.com/openai/math/blob/main/history.md)7 أكتوبر، تقول OpenAI إنها راجعت 14 مخطوطة أخرى. وتصف إصلاحات للبراهين وتغييرات في العبارات والفرضيات والتبعيات عبر عدة تخصصات، إضافة إلى تصحيح استشهاد قديم. ويذكر المدخل أن 13 مخطوطة إضافية تلقت مراجع محدثة إلى طبعات منقحة لأعمال مرتبطة. كما أفادت OpenAI بستة تحويلات شكلية إضافية، ليبلغ عدد النتائج الرئيسية المصاغة شكلياً 300 من أصل 719، أي نحو 42%.

تصف هذه الأرقام رواية OpenAI لتحديث المستودع. وهي لا تقيس متانة الحجج المنقحة ولا تثبت فحص كل ادعاء في مخطوطة صيغت شكلياً. ويقول [README](https://github.com/openai/math) المستودع نفسه إن المجموعة تضم أعمالاً في مراحل مختلفة من التحقق، ويحذر من احتمال وجود مشكلات في بعض النتائج غير المصاغة شكلياً. ولم نعثر خلال إعداد هذا التقرير على تقييم رياضي مستقل وفي الوقت المناسب لخطأ الإشارة المحدد والبراهين التابعة له.

أدى إصدار 6 أكتوبر إلى إتاحة مجموعة كبيرة من المخطوطات التي أنتجها الذكاء الاصطناعي. ويشرح [repository inspection](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs) السابق لنا كيفية تثبيت نسخة والتمييز بين المخطوطة وآثار برهانها الشكلي؛ ويناقش [opinion on research-review capacity](https://bigchange.ai/blog/ai-research-discovery-review-capacity) رأينا العمل اللازم لتقييم إصدار بهذا الحجم. ويوفر سجل السحب الجديد سبباً ملموساً للحفاظ على هذا التمييز. وفي هذه الأوراق الثلاث، حددت OpenAI خطوة البرهان التي أخفقت وأبقت ملفات PDF السابقة متاحة. ويبقى السؤال عما إذا كان برهان مستقبلي سيثبت أياً من عباراتها مسألة رياضية مفتوحة.

## المصادر ومواد إضافية

يسجل [repository history](https://github.com/openai/math/blob/main/history.md) OpenAI عمليات السحب الثلاث ومراجعات 14 مخطوطة وتحديث المراجع المصاحبة في 13 عملاً وعدد الصياغات الشكلية في مدخل 7 أكتوبر 2026. وتشرح الإشعارات الفردية الخاصة بـ [Weil-class](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Weil-classes-on-split-abelian-eightfolds-September-18-2026/README.md) و [ و](https://github.com/openai/math/blob/main/preprints/Algebraicity-of-Kuga-Satake-Correspondences-for-K3-Surfaces-October-3-2026/README.md) and [ الثغرات المدعاة، وتؤرخ السحب في 6 أكتوبر، وتربط بملفات PDF مؤرشفة عند مراجعة ثابتة. هذه سجلات OpenAI: دليل مباشر على ما أفصحت عنه الشركة، لا مراجعة مستقلة للبراهين.](https://github.com/openai/math/blob/main/preprints/The-rational-Hodge-conjecture-for-products-of-K3-surfaces-October-4-2026/README.md) 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](https://openai.com/index/sharing-ai-progress-in-mathematics/) OpenAI الإصدار الأولي للمجموعة والإضافات المخطط لها. وفحصت BIG CHANGE ملف السجل الحالي والإشعارات الثلاثة وروابط أرشيفها في 8 أكتوبر. ولم نشغل Lean، أو نفحص كل مخطوطة منقحة، أو نتحقق من الرياضيات بصورة مستقلة.

## Sources

- [سجل مستودع OpenAI الرياضي](https://github.com/openai/math/blob/main/history.md) — وصف OpenAI لخطأ الإشارة وعمليات السحب الثلاث والمراجعات الأربع عشرة وتحديث المراجع المصاحبة والصياغات الشكلية الإضافية.
- [مستودع OpenAI الرياضي](https://github.com/openai/math) — افحص إشعارات المخطوطات المعنية والنسخ المؤرشفة وبيانات المراجعة؛ فهي تثبت حالة الوثائق، لا صحتها الرياضية.
- [مشاركة تقدم الذكاء الاصطناعي في الرياضيات](https://openai.com/index/sharing-ai-progress-in-mathematics/) — للسياق حول المجموعة الأولية فقط؛ لا تكرر ادعاءاتها الواسعة باعتبارها تحققاً.