ياو شونيو يوظف لفريق تينسنت هونيوان للذكاء الاصطناعي للعلوم مع حل مشكلة رياضية عمرها 50 عامًا

بدأ ياو شونيو، الباحث البارز في مجال الذكاء الاصطناعي، شخصيًا حملة توظيف لفريق Hunyuan AI4S (الذكاء الاصطناعي من أجل العلوم) التابع لشركة Tencent. وبدلًا من نشر وصف وظيفي تفصيلي، نشر رسالة بسيطة مرفقة بنتيجة بحثية: فقد تمكن العميل الذكي الذي طوّرته الشركة، المسمى Hyra، من تحقيق أفضل نتيجة جديدة في مسألة رياضية مفتوحة منذ خمسين عامًا. وقد بُني Hyra على نموذج Hy3 (بإجمالي 295 مليار معامل، منها 21 مليار معامل نشط)، وتوصّل إلى بنية رياضية تُثبت أن الحد الأعلى في مسألة تتعلق بمجاميع وفروقات مجموعات الأعداد الصحيحة يمكن الاقتراب منه بأي درجة من الدقة. قام العميل الذكي أولًا بالبحث عن نتائج أفضل، ثم تحوّل إلى اللغة الطبيعية لصياغة بنية رياضية وبرهان مقترح، وذلك خلال عملية استمرت نحو 24 ساعة. وقد تحقق الفريق بشكل مستقل من صحة البرهان وصاغه رسميًا باستخدام أداة البرهان الرياضي Lean 4. وفي الاختبارات الأولية لفريق AI4S، حقق نموذج Hyra-1.0 نتائج مبهرة في مجالات الرياضيات والفلك والحوسبة الكمية وتصميم الأدوية، شملت حل 29 مسألة من أصل 55 مسألة مفتوحة، واكتشاف معادلة تنبؤية من بيانات البقع الشمسية (بمعامل تحديد R² يبلغ 0.77)، وتحسين خوارزمية توجيه كمية بنسبة 44.4%، وتوليد جزيء مرشح مستهدِف لبروتين PARP1. ويهدف الفريق إلى تحقيق أتمتة كاملة للبحث العلمي في مجال الذكاء الاصطناعي، حيث يقترح الذكاء الاصطناعي الفرضيات، ويُجري التجارب، ويكرر العملية تكرارًا. ولتحقيق هذا الهدف، يسعى الفريق لاستقطاب فئتين: باحثين متخصصين في الذكاء الاصطناعي (للعمل على بنية العملاء الذكيين، والتعلم المعزز Reinforcement Learning، والتعلم السياقي، والتقييم، وأنظمة التدريب، ونوى وحدات المعالجة الرسومية GPU)، وعلماء متعددي التخصصات قادرين على ترجمة الأهداف العلمية إلى مهام قابلة للتنفيذ، والحكم على مدى صحة النتائج التي يتوصل إليها الذكاء الاصطناعي. ويعكس هذا التوجه تحولًا أوسع يتجه فيه الذكاء الاصطناعي ليصبح باحثًا حقيقيًا بمعنى الكلمة، وهو ما يتجلى في تعليق شائع مفاده أن هذه قد تكون آخر ميدالية فيلدز تُمنح لعمل بشري خالص. ومن اللافت أن شركتي OpenAI و Anthropic قد وجّهتا نداءً مشتركًا لإنشاء آليات دولية لتنسيق سرعة تطور الذكاء الاصطناعي، وهو ما يسلّط الضوء على الواقع المزدوج المتمثل في قدرة الذكاء الاصطناعي على تحسين نفسه ذاتيًا من جهة، وضرورة ضبطه والسيطرة عليه من جهة أخرى.