تيرينس تاو يحذر: ضرورة تصحيح المبالغة في التوقعات بشأن ثورة الذكاء الاصطناعي في الرياضيات

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

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

سوء الفهم الناتج عن نجاح جزئي للذكاء الاصطناعي

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

لكن الواقع أكثر تعقيدًا. عند تحليل مشروع “مساهمات الذكاء الاصطناعي في مسائل إيردوش” الذي نشره تاو على GitHub، يتضح أن الصورة أكثر تفصيلًا.

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

كما يشير تاو إلى عوامل مهمة أخرى:

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

غياب سجل للفشل: غالبًا ما يُسجل النجاح فقط، ولا يُوثق المحاولات التي لم تتقدم أو فشلت، مما يعطي انطباعًا مبالغًا فيه عن نجاحات الذكاء الاصطناعي.

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

نتائج حقيقية في مسائل إيردوش

بحسب صفحة مشروع تاو، في 6 يناير 2026، تم حل مسألة #728 بشكل كامل، مع إتمام التحقق الرسمي باستخدام Lean. وفي 8 إلى 10 يناير، تم حل المسألة #729 أيضًا.

هذه الأمثلة تظهر أنه في بعض أنواع المسائل ومستويات الصعوبة، يمكن للذكاء الاصطناعي أن يولد “هياكل إثبات قابلة للتنفيذ” ويصل إلى عملية التحقق الشكلية.

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

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

الذكاء الاصطناعي ليس رياضيًا بل أداة دعم

ما يود تاو التأكيد عليه هو أن الذكاء الاصطناعي لا “يفهم” الرياضيات. في الواقع، يتفوق الذكاء الاصطناعي في الجوانب التي تتطلب “العمل البدني” في الرياضيات — مثل الأعمال الروتينية، ملء الثغرات، صياغة الإثباتات بشكل رسمي، كتابة ومراجعة الأوراق البحثية، واستكشاف الأدبيات.

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

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

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

مستقبل الرياضيات: تعاون بين الإنسان والذكاء الاصطناعي

السبب وراء منشور تاو في وقت متأخر من الليل هو رغبته في تصحيح الفهم حول تطور الرياضيات في عصر الذكاء الاصطناعي.

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

الأهم هو التمييز بين تقييم قدرات الذكاء الاصطناعي بشكل عادل، وعدم المبالغة في أسطورته. تحذير تاو هو دعوة للمجتمع الرياضي “لإعادة الهدوء والتركيز”.

الذكاء الاصطناعي بالفعل يغير طرق البحث الرياضي، لكنه لا يحقق الابتكار الحقيقي إلا عندما يفهم الإنسان والآلة أدوارهما، ويعملان بشكل تكاملي.