عندما لا تعود البراهين بحاجة إلى أن "تُفهَم": ثورة نمطية في صخر أساس الرياضيات

**بقلم PeterZou**

بالمعنى الكوهني، فإن التحسين داخل النموذج النمطي (paradigm) يُحسّن المعاملات داخل التعريف القديم؛ أما الثورة النمطية فتستبدل معيار "ما الذي يُعدّ سؤالًا وما الذي يُعدّ جوابًا جيدًا".【موثّق·أدبيات كلاسيكية】

وبتطبيق ذلك على البرهان، يعتمد هذا المقال على معيارين محدّدين فقط: **هل تغيّر مبرِّر البرهان؟ وهل تغيّر موضع الاستدلال وهويته؟**

| السؤال | الافتراض الافتراضي في النموذج القديم | التعميق | الثورة |

لفهم هذه الثورة، يجب أولًا أن نرى ما الذي يسنُد "النظرة البشرية المحورية إلى البرهان" القديمة:

**A1 أطروحة الإقناع الاجتماعي.** جوهر البرهان حجة "تُقنع قارئًا بشريًا مؤهلًا"، وتُضمن صحتها عبر مداولات المجتمع واستشهاداته وإعادة إنتاجه وقبوله. وفي *On Proof and Progress in Mathematics* (1994)، رأى Thurston أن ما ينقله الرياضياتيون فعليًا هو "الفهم"، وأن البرهان الصوري ليس سوى وسيلة تواصل واحدة؛ وذهب Lakatos في *Proofs and Refutations* (1976) إلى أبعد من ذلك، فوصفه بأنه عملية اجتماعية-تاريخية قابلة للخطأ والمراجعة.【موثّق·أدبيات كلاسيكية】

**A2 أطروحة ملكية الذات.** الاستدلال عملية ذهنية ومعيارية تُجرى في الوعي بواسطة مُستدِلّ بوصفه ذاتًا عاقلة؛ ومن ينفّذه ومن يضمنه هما الشخص المسؤول نفسه.【استنتاج】

**A3 تقسيم العمل بين الاكتشاف والتبرير.** في *Experience and Prediction* (1938)، أرسى Reichenbach ثنائية: الحدس والإلهام ينتميان إلى "سياق الاكتشاف"، بينما الصرامة والتحقق ينتميان إلى "سياق التبرير"؛ والآلات تتفوق في الثاني، أما الأول فإقليم بشري.【موثّق·أدبيات كلاسيكية】

**A4 أطروحة الصياغة الشكلية بوصفها ملحقًا.** البراهين العادية "شبه صورية"، وحجج مختصرة، وصياغتها في Coq/Lean مجرد "نسخة منقولة" من البرهان، لا الشيء نفسه. ومبرهنة الألوان الأربعة (Appel–Haken 1976؛ صاغها Gonthier شكليًا في Coq عام 2005) وحدسية Kepler (Hales 1998؛ أمضى 12 محكّمًا أربع سنوات ولم يقولوا سوى إنهم "متأكدون بنسبة 99%"؛ ثم صاغها مشروع Flyspeck المكوّن من 20 شخصًا شكليًا لاحقًا) عُوملتا كلتاهما باعتبارهما "حالتين خاصتين".【موثّق·أدبيات كلاسيكية】

**A5 أطروحة ثنائية القيمة ونهائية اليقين.** القضية إما أن لها برهانًا أو ليس لها، وبمجرد قبول البرهان يُحسم الأمر؛ وقد عُوملت عدمية Gödel (1931) مجرد "قيد تقني".【موثّق·أدبيات كلاسيكية】

ومعًا، تسند هذه الدعامات الخمس جهاز مراجعة الأقران والمجلات وشبكات الاستشهاد والتثبيت الوظيفي (tenure) والسمعة بأكمله. وعندما يتحرك الأساس، يهتز كل ما فوقه.

**M1 | المبرِّر ينتقل من "الإجماع" إلى "نواة المدقّق".** تجربة الموتر السائل (Liquid Tensor Experiment): طرح Scholze التحدي في ديسمبر 2020، وأكمل مجتمع Lean التحقق الشكلي من المبرهنة الرئيسية حول الفضاءات المتجهية السائلة في 14 يوليو 2022.【موثّق】 ومشروع النظريات المعادلية (Equational Theories Project)، الذي أطلقه Tao وآخرون في سبتمبر 2024، أثبت في 14 أبريل 2025 علاقات الاستلزام البالغ عددها 22,028,942 بين 4,694 قانونًا معادليًا، وصاغها كلها شكليًا في Lean.【موثّق】 والدلالة واضحة: للمرة الأولى، يمكن أن يُفصل في "كون الشيء صحيحًا" بواسطة خوارزمية على أساس تدقيق موثوق، ويُعاد كتابة "التبرير" في المعرفة على نمط JTB ليصبح "مبرِّرًا قابلًا للتحقق آليًا".

**D1 | البرهان كائن من طبقتين.** لم يعد الشيء نفسه "نصًا" بل [كائن صوري قابل للتحقق بشكل مستقل] + [شرح سردي موجَّه إلى الفهم]. ويمكن إنتاج الطبقتين كلٌّ على حدة وتدقيقهما كلٌّ على حدة.【استنتاج】

1. **اعتبر "قابلية التحقق" مواطنًا من الدرجة الأولى في تصميم المنتج.** بدل الجدال حول صحة استنتاجات الذكاء الاصطناعي، صمّم سلسلة تحقق قابلة لإعادة التشغيل والتدقيق. فالقدرة على منح المبرِّر هي الأصل الثمين للثقة في الجيل القادم.

أكثر ما يثير مفاجأة في هذه الثورة أنها لا تشترط أن نؤمن بالذكاء الاصطناعي أولًا. بل على العكس، تستبدل سؤال "مَن نصدّق" بسؤال "هل يمكن التحقق منه بشكل مستقل". ومع انتقال المبرِّر من الإجماع البشري إلى مدقّق قابل لإعادة التشغيل، تُظهر الرياضيات — أقدم حصون اليقين وأصلبها لدى البشرية — أولًا كيف تبدو بنية الثقة في الجيل القادم.