صدّ هجمات الذكاء الاصطناعي على الرياضيات وصدّ أوبن إيه آي عن الرياضيين
الهجوم ليس في أن الآلة تحاول البرهان؛ فليحاول من يشاء. الهجوم في بنية الادعاء: من يدفع ثمن التحقق؟ الرياضيات لا تحتاج حماية من الآلة، بل أن يدفع الادعاء ثمنه قبل أن يُسمع.
في أيلول سبتمبر 2026 أعلنت OpenAI أن وكلاءها حلّوا معضلة نافييه-ستوكس Navier-Stokes. وخلال تلك الأيام خرج رياضياتيٌّ من جامعة نيويورك يقول إن الشركة اقترحت إصدارَ البرهان باسمها وحدها وإقصاءَ شريكه في الحل لأنه يعمل عند أنثروبيك، وحذّرته من الخروج إلى العلن؛ والشركة تنفي وتصف الرواية بأنها «باطلة وتحريضية». هذان الخبران خبر واحد: ادعاء رياضي ضخم تصدره شركة لا تريد له الفحصَ ولا تحتمله.
ثمَّ: لم يمضِ شهر حتى جاء الإعلان الأكبر من ذاك الأول: في تشرين الأول أكتوبر ألقت الشركة نفسَها 722 ورقة دفعة واحدة على أكثر من 370 مسألة مفتوحة، فيها ادعاءات تمس فرضية ريمان Riemann وحدسية بيرش وسوينرتون-داير، فسُحبت ثلاث منها في أيام لخطأ ابتدائي وعُدِّلت أخرى بعدما أبطلت الأخطاء نتائجها. والرياضيون يكتبون الرسائل المفتوحة ويدعون إلى المقاطعة.
الهجوم ليس في أن الآلة تحاول البرهان. فليحاول من يشاء. الهجوم في بنية الادعاء: من يدفع ثمن التحقق؟
1. معضلة الكلفة
المسألة ثلاثة أثمان:
- ثمن إنتاج الادعاء: انهار إلى ما يقارب الصفر، مليون «برهان» في الساعة بلا كلفة تُذكر.
- ثمن تضخيمه: صفر كذلك، فإعادة النشر تضاعف الصورة ولا تضيف إلى المادة ذرة.
- ثمن التحقق منه: باقٍ على حاله القديم، رياضياتي بشري يقرأ مئة صفحة لشهور.
فحينما يصير الرمي مجانيا ويبقى الالتقاط غاليا ينتقل الفعل كله إلى طرف واحد: المدّعي يرمي، والمجتمع الرياضي يلتقط. وليست هذه مشاركة في العلم، بل هجوم حرمان من الخدمة denial of service على أندر مورد في الرياضيات: انتباه المحقِّق، والانتباه مورد شحيح لا يقبل القسمة من غير خسارة.
OpenAI لا تحتاج أن يكون الحل صحيحا؛ يكفيها أن يشغل الرياضيين سنتين ليكتشفوا أنه خاطئ. ولذا لم تجد جمعية الرياضيات الإنسانية في دفعة أكتوبر إلا أنها «ليست عرضا للعلم، بل عرضا للقوة»، وزادت: «الرياضيون لم يطلبوا هذا العمل».
2. لماذا لا تكفي آلةٌ تحكم على آلة
يقال: دَعْ نموذجا آخر يتحقق. لا. ذكاء اصطناعي يحكم على ذكاء اصطناعي ليس تحققا verification، بل نظامان يتفقان على رواية، والاتفاق رخيص. والبيان في ثلاث:
أولا: التحقق يبدأ قبل فحص الخطوات، من الجملة نفسها: هل جملة المسألة المحلولة هي عين جملة المعضلة؟ المحلول في نافييه-ستوكس نسخةُ معهد كلاي Clay التي تسمح بقوة خارجية في حدود المعادلة، وقد كتب محمد تقي: «النسخة التي توجد في أدبيات الرياضيين أنفسهم نسخة أصعب: لا تسمح باستخدام أي قوة خارجية… الجميع يحاول حل فرضية ريمان، والجميع يقول إنه لا يحاول»، ثم جاءت دفعة أكتوبر تقول علنا ما كان يُكتم: أوراق «ريمان» في الركام، فما عاد أحد يقول إنه لا يحاول. وبالكلمات: لم يحل الوكلاء نافييه-ستوكس إلا إن كانت الإجابة عن هذا السؤال صحيحة؛ أسألك: هل يمكن للماء أن ينفجر من تلقاء نفسه؟ فتجيبني: نعم، بشرط أن نصفعه. وسؤال مطابقة الجملة سؤال معنى لا سؤال صورة، والاعتبار بالمادة لا بالصورة كما كررتُ في غير موضع؛ وما كان سؤالَ معنى فلا تجيب عنه آلة.
ثانيا: شاهد من بيتنا وعلينا: في مختبر نوتش حسبنا «حقيقة محسومة» وأعلناها، ثم كشف وكيلٌ لم يُطلب منه التحقق أنها خاطئة بمقدار 0.4 كاملة، لا فرقَ تقريب بل نقطة أخرى من المدار؛ كان الحساب حسابَ شواشٍ chaos يضخّم اضطرابَ جزء من المليار في مدخله إلى 0.377 في ناتجه، ودقة العتاد لا تكفي عمقَه، والحساب جرى ونجح ولم يحذّر. فتنفيذ الحساب ادعاءٌ قابل للفحص، وليس ادعاءً مفحوصا.
ثالثا: شاهد من خارج بيتنا: ورقة نُشرت في تموز يوليو 2026 دُرِّب فيها خصم على حكَم لغوي بلا مرجع reference-free judge فارتفع نجاحه عنده من 0.72 إلى 0.94 والدقة الحقيقية ثابتة عند 0.20، وثلاثة حكام مجتمعين قبلوا 55% من الزيف. والإصلاح الوحيد الذي نجح: إلزام الحكم أن يلتزم بجوابه هو قبل أن يرى ما يحكم عليه، فهبط القبول الزائف ستين ضعفا. التزِم قبل أن تحكم. هذا مبدأ نوتش بعينه، أعاد اكتشافه قوم لا يعرفوننا ولا يعرفون أسواق التنبؤ.
3. روح نوتش
بروتوكول نوتش لم يُبنَ للرياضيات، بل لوكلاء الذكاء الاصطناعي الذين يتنبأون بالأسواق ويتداولون فيها، ويشخّصون الأمراض، ويقترحون السياسات، ويؤثرون في أحداث حقيقية وأرواح حقيقية؛ برهاناه منشوران وعقوده مكتوبة والإطلاق قريب. لكن روحه واحدة، وهي ثلاث قضايا:
أولا: الادعاء يقيَّد قبل الحكم. التزام ثم كشف commit–reveal: تودع بصمة تشفيرية hash لدعواك قبل أن يُحسم شيء، ثم تكشف. فلا ادعاء بأثر رجعي، ولا حذف لما خاب. وتذكَّرْ تشرين الأول أكتوبر 2025: أعلن نائب رئيس OpenAI للعلوم أن GPT-5 «حل» عشر مسائل مفتوحة من مسائل إردوش Erdős، فلما تبين أن المحلول بحثُ أدبيات حذف الإعلان في يومه. كم دفع ثمن الحذف؟ صفرا بالضبط. ولهذا عاد المشهد بعد سنة أضخم مما كان.
ثانيا: الحكم للواقع، لا للمدّعي ولا لنظيره. في التنبؤ يُحسم الحدث خارجا. وفي الرياضيات الحكم هو البرهان المفحوص فحصا مستقلا، لا تصريح الشركة ولا ملخص وكيل.
ثالثا: الكذب يدفع. قاعدة تسجيل صارمة الملاءمة strictly proper scoring rule: أعلى عائد منتظَر لا يُنال إلا بتصريح الاحتمال الصادق، وكل انحراف f عن الثقة الحقيقية p يدفع (f−p)² في المنتظَر، لا يمحوها أي عدد من الهويات. وبرهان المعايرة Proof of Calibration يحسب الثمن بالضبط: احتمال أن تنجو كذبة محكوم بالمقدار e^(−N·KL)، ولا آلية محلية تتجاوز هذا الأس. ومن أراد سجلا مزوّرا بألف هوية وهمية لزمه 264 ضعف كلفة بنائه صدقا. الكذب هاهنا ليس ممنوعا؛ الكذب خاسر رياضيا.
وهذه الثلاث هي عين ما ينقص الرياضيات اليوم أمام الوكلاء: الادعاء غير مقيد، والحكم يُطلب من نماذج أخرى، والكذب لا يكلف شيئا.
4. ماذا يفعل الرياضيون
ليس المطلوب مقاطعة الآلة. المطلوب رفضُ الادعاء الذي لم يدفع. والطريق خمس قواعد:
- لا مراجعة لبرهان آلي بغير التزام مسبق: بصمة للورقة وللجملة الدقيقة للمسألة قبل الإعلان، لا بعده.
- لا مراجعة بغير احتمال معلن: فلتقل الشركة نقدّر صحة هذا بـ0.6، وليُسجَّل عليها؛ من يرفض أن يضع رقما يرفض أن يُحاسَب.
- لا مراجعة بغير سجل: الوكيل الذي ليست له عشرة ادعاءات محسومة مسجلة لا يُقرأ له الحادي عشر.
- التحقق يبدأ من مطابقة الجملة لا من فحص الخطوات: أول صفحة تُفحص هي الصفحة التي تعرِّف المسألة.
- من صاغ نتيجته صياغة آلية الفحص (مثل Lean) فقد دفع بعض الثمن سلفا، فليتقدم في الطابور على من لم يدفع شيئا.
5. صدّ أوبن إيه آي عن الرياضيين
شركة تقترح إقصاء شريك في برهان لأنه من شركة منافسة ثم تحذّر صاحبه من الكلام ليست شريكا في العلم، بل طرفا في حرب باردة على امتلاك الذكاء الاصطناعي. والرياضيات ساحة هذه الحرب فقط لأن براهينها أرخص عملة للهيبة. والمجتمع الرياضي حين يصدّق مبدئيا ثم يراجع، يموّل الحرب بوقته.
المجتمع الرياضي يخطئ أخطاء عظيمة حينما يفترض الصدق من الوكلاء ثم ينجرّ في استرسالات مضيعة للوقت والجهد. والمجتمع العلمي يضيع، والدليل أن كباره يشعرون بالتهديد: خمسة وعشرون من حملة ميدالية فيلدز Fields يكتبون في رسالتهم أن «سلسلة النقل البشرية الحاسمة بين الرياضيين» مهددة بالضياع. هذه مشكلة.
غودل مات، ودايكسترا مات، وابن تيمية مات، إلا أن التهديدات لعلم الحوسبة التي كتب عنها دايكسترا في EWD898 حية. ومنها أن يُستبدل بالدليل الإعلانُ.
الخلاصة: الرياضيات لا تحتاج حماية من الآلة. تحتاج أن يدفع الادعاء ثمنه قبل أن يُسمَع. هذا ما يبنيه نوتش للتنبؤ، وهو ما على الرياضيين أن يفعلوه بالبرهان.
قيس العصا
مصادر
- نزاع نافييه-ستوكس: رواية الرياضياتي (اقتراح الاسم المنفرد والتحذير من العلن) ونفي الشركة واصفةً الرواية بالباطلة والتحريضية: TechCrunch، 11 أيلول سبتمبر 2026؛ والبرهان غير محكَّم تحكيما مستقلا وقت الكتابة.
- دفعة أكتوبر: 722 ورقة على أكثر من 370 مسألة، السحوبات الثلاث، وادعاءات ريمان وبيرش وسوينرتون-داير: Phys.org، 9 تشرين الأول أكتوبر 2026.
- دعوة المقاطعة وعبارتا جمعية الرياضيات الإنسانية: WION، 12 تشرين الأول أكتوبر 2026.
- رسالة حملة فيلدز الخمسة والعشرين وعبارة «سلسلة النقل»: TechCrunch.
- حادثة إردوش والحذف: The Decoder.
- ورقة الحكم الملتزم (0.72 إلى 0.94 والدقة 0.20، وإصلاح الالتزام المسبق بستين ضعفا): arXiv 2607.05904، تموز يوليو 2026.
- البرهانان: «Calibration-Gated Reputation» (SSRN 6505678) و«Proof of Calibration» (SSRN 7110898).
- دايكسترا، «التهديدات لعلم الحوسبة»: EWD898.
- نسخة كلاي والقوة الخارجية: عن منشور محمد تقي، أيلول سبتمبر 2026.