# خطأ في إشارة رياضية يُسقط ثلاث أوراق من مستودع OpenAI للرياضيات

> **المغزى:** المغزى: العيب في نتيجة واحدة ينتقل إلى كل ما بُني عليها، تمامًا كما ينتقل عيب حزمة برمجية إلى كل مشروع يستوردها، وأغلب ما في المستودع لم تفحصه آلة بعد.

- المصدر: المغزى (https://almaghza.com/a/2026-10-09-openai-math-sign-error-withdrawals/)
- التاريخ: 28 ربيع الآخر - 9 أكتوبر 2026 (2026-10-09)
- القسم: ذكاء اصطناعي
- الوسوم: OpenAI، الرياضيات، Lean، الذكاء الاصطناعي

سحبت OpenAI ثلاث أوراق بحثية من مستودعها للرياضيات بعد اكتشاف خطأ في إشارة رياضية. والتفاصيل مكتوبة في سجل التغييرات في المستودع نفسه، بتاريخ 7 أكتوبر 2026، بعد أيام من [نشر الشركة 722 ورقة من نموذج داخلي](https://almaghza.com/a/2026-10-07-openai-math-repo-lean-proofs/).

الخطأ ظهر في ورقة بعنوان Algebraicity of Weil classes on split abelian eightfolds، وأبطل حجة cancellation أساسية فيها. لكن الورقة لم تسقط وحدها. فالبناء الذي سقط معها كانت تستخدمه ورقتان أخريان: Algebraicity of Kuga-Satake Correspondences for K3 Surfaces، وThe rational Hodge conjecture for products of K3 surfaces. فسُحبت الثلاث معًا.

وهذا النمط مألوف في البرمجيات باسم شجرة الاعتماديات. حزمة واحدة فيها عيب، فيحمل العيب كل ما يستوردها، حتى لو كان كل سطر فيه صحيحًا. وفي الرياضيات، النتيجة التي تُبنى على نتيجة أخرى ترث صحتها أو خطأها.

وسجّل المستودع تغييرات أخرى في الفترة نفسها: 14 ورقة عُدّلت بإصلاحات في البراهين، و13 ورقة حُدّثت لتشير إلى النسخ المعدلة، و6 صياغات formalization جديدة. والـ formalization هو كتابة البرهان بلغة يفحصها الحاسوب خطوة خطوة، وهنا بأداة Lean.

وتقول صفحة المستودع إن 300 نتيجة من 719 عليها برهان متحقق آليًا، أي نحو 42%، بعد أن كان العدد 162 من 722. والباقي، وهو الأغلب، مكتوب لكن لم تفحصه آلة.

وكان عالم الرياضيات Terence Tao قد كتب يوم 6 أكتوبر أن من يطلق الموديل على مسألة مفتوحة كثيرًا ما لا يفهم المُخرَج جيدًا بما يكفي ليجيب عن أسئلة حوله أو يحاضر عنه. فتُحل المسألة دون أن يتعلم المجال منها شيئًا.

وينطبق الأمر نفسه على فرق البرمجة التي تعتمد على موديلات تكتب الكود. فالموديل ينتج أسرع مما يستطيع البشر مراجعته، والفرق بين السرعتين يتحول إلى دين تقني يُستلم اليوم ويُدفع لاحقًا.

## المصادر

- [سجل التغييرات في المستودع وفيه نص السحب](https://raw.githubusercontent.com/openai/math/main/history.md)
- [صفحة المستودع وفيها نسبة التحقق](https://raw.githubusercontent.com/openai/math/main/README.md)
- [منشور Terence Tao على Mathstodon](https://mathstodon.xyz/@tao/117395269325940185)