علماء رياضيات مستشارون: سيل براهين OpenAI خالف قواعد المجال

تنقل TechCrunch أن موجة البراهين الرياضية التي أصدرتها OpenAI لم تلتزم بالقواعد التي وضعتها مجموعة من الباحثين في الرياضيات. وقد استشار المختبر نفسه هذه المجموعة. ولا تتضمن الرسالة أي أرقام: لا عدد البراهين ولا عدد الأعمال التي أُبديت عليها ملاحظات. غير أن الصورة واضحة. فالشركة التي تسوّق نماذجها بوصفها أداة للعلم تلقّت ملاحظة علنية من مجتمع هي بحاجة إلى اعترافه.

ما المعروف حتى اليوم

يقدّم المصدر إفادة واحدة: «سيل» براهين OpenAI خرج عن المبادئ التوجيهية التي وضعها مستشارون من الوسط الرياضي. وكل ما عدا ذلك لا يمكن استنتاجه إلا من السياق. ولن أستكمل تفاصيل غير واردة في المادة.

• التاريخ والمصدر: TechCrunch، 8 أكتوبر 2026.
• موضوع الاعتراض: الإصدار الجماعي للبراهين التي أعدّتها OpenAI.
• جوهر الاعتراض: عدم التوافق مع القواعد التي اتفق عليها علماء الرياضيات المستشارون.
• لم يُكشف: عدد الأعمال، والبنود المحددة من القواعد، وقائمة البراهين محل الخلاف.
• لم يُكشف: ردّ OpenAI الرسمي.

لماذا يتشدد علماء الرياضيات إلى هذا الحد

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

ولذلك فإن عبارة «خرج عن المبادئ التوجيهية» أشدّ وقعاً مما تبدو عليه. فالخلاف ليس بالضرورة حول صحة نظرية بعينها، بل حول إمكان الوثوق بالقناة نفسها التي تصل عبرها النتائج إلى الناس.

ليست الحلقة الأولى

سبق أن دخلت OpenAI في خلافات علنية مع علماء الرياضيات. ففي أكتوبر 2025 أعلن موظفون في الشركة أن GPT-5 «وجد حلولاً» لعدد من مسائل بال إردوس. واعترض عالم الرياضيات توماس بلوم، الذي يشرف على فهرس هذه المسائل، قائلاً إن النموذج عثر على منشورات موجودة، ولم يتوصل إلى حلول جديدة. وحُذف المنشور، وناقش القطاع كيف تسبق صياغة الإعلانات عملية التحقق. وفي صيف 2025 دار جدل أيضاً حول الميدالية الذهبية في الأولمبياد الدولي للرياضيات، ومنه توقيت الإعلان عن النتيجة.

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

كيف نقرأ مثل هذه التصريحات

ثمة عدة خلاصات عملية للقارئ أو المستثمر أو المطوّر الذي يبني منتجاً على القدرات الرياضية للنماذج.

• انظروا إلى من تحقق. المراجعة المستقلة من الخبراء أو التحقق الصوري، مثلاً في Lean، أثقل وزناً من البيان الصحفي.
• ابحثوا عن الإجراءات. هل يوجد بروتوكول علني: أي المسائل، وأي القيود، وكيف يُوثَّق إسهام النموذج وإسهام البشر.
• ميّزوا بين أنواع النتائج: برهان جديد، أو إعادة صياغة لبرهان معروف، أو بحث في الأدبيات. هذه إنجازات مختلفة.
• انتظروا ردّ OpenAI وقائمة الأعمال محل الخلاف. فحتى الآن لا يُعرف هل يتعلق الأمر بهفوات فردية في الصياغة والعرض أم بمشكلة منهجية.

إذا أرادت الشركة أن تُعدّ نماذجها أداة علمية، فعليها الالتزام بقواعد العلم، بما فيها القواعد التي كتبها مستشاروها أنفسهم. وإلا فسيُستقبل كل إعلان لاحق لا بسؤال «ما الجديد؟» بل بسؤال «ما الخطأ هذه المرة أيضاً؟».