في المؤتمر الدولي لعلماء الرياضيات لعام 2026 في فيلادلفيا، أصبح جاكوب تسيمرمان أحد الفائزين الجدد بميدالية فيلدز. وفي المؤتمر الصحفي الذي أعقب حفل توزيع الجوائز، أعلن عالم الرياضيات الكندي البالغ من العمر 38 عامًا عن تعديل كبير في اتجاه حياته المهنية: حيث سينضم إلى OpenAI للمشاركة في أبحاث سلامة الذكاء الاصطناعي.
ويتناقض القرار مع الموقف العلني الذي اتخذه زيمرمان قبل عام. في يوليو 2025، شارك في كتابة "إطار تصنيف سيناريوهات الكوارث المدمرة المحتملة للذكاء الاصطناعي"، حيث قام بفرز المسارات المحتملة المتعددة للذكاء الاصطناعي عالي المستوى ليؤدي إلى انقراض الإنسان. في ذلك الوقت، كان يعتقد علناً أن احتمال حدوث مثل هذه المخاطر الشديدة لا ينبغي الاستهانة به، ودعا إلى وقف أبحاث وتطوير الذكاء الاصطناعي المتطور. وفي الوقت نفسه، اعترف بأن المنافسة الجيوسياسية والمنافسة التجارية بين الشركات من شأنها أن تجعل من الصعب على الأرجح تنفيذ اتفاقية وقف البحث والتطوير العالمية. على الرغم من أنه يصدر تحذيرات متكررة من المخاطر، فقد استخدم زيمرمان بالفعل نماذج لغوية كبيرة بشكل منتظم في عمله اليومي، معتمدًا على الذكاء الاصطناعي لتسريع مراجعة الأدبيات واستكمال التحقق الأولي من النظريات.
وقد أدى التكرار السريع لقدرات الذكاء الاصطناعي إلى تغيير أفكاره البحثية. في وقت سابق من هذا العام، صرح ليفونتي ألبرجر، طالب الدكتوراه السابق في زيمرمان وعالم الرياضيات الذي يعمل في أنثروبيك، أنه بمساعدة التعاون في مجال الذكاء الاصطناعي، وجد الفريق مثالًا مضادًا لحدسية جاكوبي التي تعود إلى قرن من الزمان. بعد فترة وجيزة، كشفت شركة OpenAI أن نموذج الاستدلال الداخلي الخاص بها أثبت بشكل مستقل وجود مثال مضاد، مما أدى إلى قلب تخمين وحدة المسافة الذي يبلغ عمره 80 عامًا. تمت دعوة Zimmerman من قبل OpenAI للعمل كخبير تحقق خارجي وقرر أن عملية الإثبات المستمدة من الذكاء الاصطناعي كانت صارمة منطقيًا وقابلة للنشر مباشرة في أفضل مجلات الرياضيات. التقدم المستمر جعله يدرك أن الذكاء الاصطناعي يتحول من أداة مساعدة في الحوسبة إلى مشارك نشط في الاكتشافات الرياضية الدقيقة.
أدرك زيمرمان أنه بغض النظر عن مدى جدل مجال الأمن، فإن الأبحاث والتطوير المتطور في مجال الذكاء الاصطناعي لن يتوقف، لذلك تحول تركيز البحث من "منع ولادة المخاطر" إلى "مواءمة المخاطر والسيطرة عليها". وأشار إلى أنه مع استمرار تعزيز قدرات أنظمة الذكاء الاصطناعي المستقلة، لا يمكن ضمان السلامة بشكل كامل من خلال التحقق من القياس الفعلي وحده؛ يمكن للدليل الرياضي بناء نظام قيود أكثر استقرارًا للتحكم في أنظمة الذكاء الاصطناعي متعددة الوكلاء. لقد شارك OpenAI بعمق في محاذاة النماذج والتفكير المنطقي والتحقق الرياضي لفترة طويلة، وهو ما يتوافق تمامًا مع تخصصه.
يعكس هذا الاختيار الوظيفي أيضًا التغيرات في المشهد الأكاديمي العام. أعلن زيمرمان أنه لن يقوم بعد الآن بتجنيد طلاب دكتوراه منتظمين في الرياضيات. والسبب هو أنه بمجرد أن تتفوق الآلات بشكل مطرد على البشر في التفكير المنطقي الصارم، فإن بقاء المسارات المهنية التقليدية لأبحاث الرياضيات أصبح موضع شك. ولم تعلن شركة OpenAI عن موقفه المحدد، ولم تذكر ما إذا كان سيحتفظ بمنصبه التدريسي في جامعة تورنتو؛ لكن تعيينه يؤكد أن الصناعة تحتاج بشكل متزايد إلى علماء رياضيات منخرطين بعمق في المنطق الرياضي لتطوير قدرات الذكاء الاصطناعي عالية المستوى وأنظمة السلامة التي يمكن التحقق منها. وتمثل هذه الخطوة أيضًا تحولًا عمليًا سائدًا في المجتمع الأكاديمي: لم يعد مجتمع البحث العلمي مهووسًا بوقف التطور التكنولوجي، وبدلاً من ذلك يعطي الأولوية لبناء نظام رياضي قادر على التحكم في الذكاء الاصطناعي.