# OpenAI تضيف إلى مستودعها الرياضي ورقة تدّعي أن فرضية Exponential Time Hypothesis خاطئة

> **المغزى:** المغزى: ما يحدد قيمة مخرجات النموذج هو أدوات التحقق المبنية حوله، فحين أثبت Lean حدًّا أضعف من دعوى الورقة، انتقل الحكم الأخير إلى مراجعين من البشر.

- المصدر: المغزى (https://almaghza.com/a/2026-10-27-openai-math-eth-false-paper/)
- التاريخ: 16 جمادى الأولى - 27 أكتوبر 2026 (2026-10-27)
- القسم: ذكاء اصطناعي
- الوسوم: OpenAI، الرياضيات، Lean، Formal Verification

أضافت OpenAI في 26 أكتوبر 2026 ورقتين إلى مستودع الرياضيات المفتوح الذي تنشره على GitHub، وإحداهما تحمل عنوانًا صريحًا: الـ Exponential Time Hypothesis خاطئة. والورقة مؤرخة في 25 أكتوبر، وتنتمي إلى العائلة رقم 378 في خريطة المستودع.

وتقول هذه الفرضية إن حل مسألة 3-SAT على n متغير يحتاج وقتًا أُسّيًّا في أسوأ الحالات، وكثير من نتائج صعوبة المسائل في علوم الحاسب مبني عليها. وتقدّم الورقة خوارزمية حتمية تعدّ كل حلول صيغة k-CNF في وقت أقل من الأسي، وبذاكرة polynomial.

غير أن الجانب الأوضح في القصة هو طريقة التحقق. فالمستودع يضم 721 ورقة في 373 عائلة، كلها من نموذج داخلي لم يُطرح بعد. و42% فقط من النتائج الأساسية متحقق منها بـ Lean، وهو نظام يقرأ البرهان آليًّا ويتأكد من كل خطوة فيه، أما الباقي فيحتاج إلى قراءة بشرية. وبحسب README المستودع، طُرحت على النموذج نحو 4,000 مسألة، واستغرقت كل نتيجة نحو 3 ساعات من الحوسبة.

وفي هذه الورقة تحديدًا، أثبت Lean حدًّا أضعف مما تدّعيه الورقة نفسها. ولذلك كتبت OpenAI أن مجموعة مستقلة من علماء الحاسب، بينهم Russell Impagliazzo وRamamohan Paturi وRyan Williams، ستفحص البرهان وتشرحه. ولا يتضمن المستودع حكمًا نهائيًّا على صحته.

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

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

## المصادر

- [مستودع OpenAI للرياضيات على GitHub](https://github.com/openai/math)
- [خريطة الأوراق وملخص ورقة الـ ETH (العائلة 378)](https://github.com/openai/math/blob/main/CONTENTS.md)
- [سجل تحديثات المستودع](https://github.com/openai/math/blob/main/history.md)
- [نطاق التحقق بـ Lean لهذه الورقة](https://github.com/openai/math/blob/main/lean/docs/378.md)