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