تيرينس تاو يلقي في كالتك محاضرة «الرياضيات 2.0» عن البراهين الآلية

نشر تيرينس تاو تسجيل محاضرة «Math 2.0» («الرياضيات 2.0») التي ألقاها في معهد كاليفورنيا للتكنولوجيا (Caltech). بدأ العمل على المحاضرة قبل أكثر من عام، وكان يسميها حينها «Machine Assisted Proof»، أي «البرهان بمساعدة الآلة». كان من المقرر إلقاؤها في مايو، لكنها أُجلت إلى أكتوبر. وبحسب تاو، كان السبب عددًا من الأحداث الأخيرة. ولا يحدد الجزء المتاح من المادة ما هي تلك الأحداث. أما صحيفة Jiqizhixin الصينية فوضعت الفكرة الرئيسية في عنوانها: الزمن الذي كانت فيه البراهين شحيحة يقترب من نهايته.

ما المعروف عن المحاضرة

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

أبرز المعطيات من الجزء المتاح:

• الصيغة: محاضرة عامة في Caltech، نُشر تسجيلها في 11 أكتوبر 2026؛
• العنوان العملي أثناء التخطيط: «Machine Assisted Proof»؛
• العنوان النهائي: «Math 2.0»؛
• الموعد: مايو 2026 في الأصل، وأكتوبر في الواقع؛
• مدة التحضير: أكثر من عام.

من أين تنبع فكرة نهاية الندرة؟

لم تنشأ فكرة أن البراهين لم تعد سلعة نادرة من فراغ. فقد عمل تاو علنًا في السنوات الأخيرة عند تقاطع الرياضيات والآلات. ففي أواخر 2023 قاد عملية إضفاء الطابع الصوري على برهان حدسية PFR (حدسية فريمان – روزا متعددة الحدود) في نظام Lean. جمع المشروع فريقًا موزعًا واستغرق عدة أسابيع. وفي 2024 حل نموذج AlphaProof من Google DeepMind مسائل الأولمبياد الدولي للرياضيات بمستوى الميدالية الفضية. وفي 2025 شارك تاو في اختبارات AlphaEvolve على عشرات المسائل المفتوحة في التحليل والتوافقيات. هذا كله سياق سابق وليس من محتوى المحاضرة الجديدة، لكنه يبيّن المسار: يبدأ الأمر بانتقال التحقق من البراهين إلى الآلة، ثم ينتقل إليها جزء من البحث.

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

أين يقع الحد؟

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

كيف يمكن الاستفادة من ذلك عمليًا

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

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