الفصل 967: الفصل 352: شباك من البؤس
"لا يُصدق ، أمر لا يُصدق إطلاقاً! "
كان تاو شوانزهي يسير بجانب زميله ميلنور ، القادم من جامعة كاليفورنيا ، في قاعة المحاضرات المئوية بجامعة يانبي ، بينما كانت تلك الجملة تتسلل إلى مسامعه بصفة متكررة. و لقد كادت كلمات مثل "غير معقول " و "استثنائي " أن تُصيب أذنيه بالملل من فرط تكرارها. وبالطبع ، رغم أن رد فعله لم يكن بذلك القدر من الحماس إلا أن قلبه كان يعتصر اضطراباً.
فمنذ أن علم أن تلك الضباب لم يبتكرها تشياو يو ، بل صممها ذكاء اصطناعي يُدعى "يوليو " (جيولي) ، وهو لا ينفك يتأمل عبقريتها في عقله. ولا بد من القول إن كان ثمة أثرٌ للذكاء الاصطناعي في تلك الضباب ، فهو يتجلى بوضوح ؛ إذ إن النقاط المعرفية التي تختبرها شاملة ، كما أن نقطة البدء في حلها كانت مبتكرة للغاية.
وكما أوجز "يوليو " في عرضه التقديمي ، فإنه قد لا يمتلك القدرة على الابتكار بعد ، لكنه يستطيع استخدام الأدوات المعروفة بدقة وشمولية لا تضاهى لمساعدة علماء الرياضيات في أعمال الإثبات والاستدلال. أما عن تنهدات زميله التي لا طائل منها ، فقد كانت تمر عليه مرور الكرام دون أن تجد لها صدى في ذهنه.
بينما كانت الأفكار تتلاطم في رأسه حول كيف يمكن لذكاء اصطناعي مثل "يوليو " أن يُحدث ثورة في الرياضيات البحتة في المستقبل ، وقعت عيناه فجأة على بيتر شولتز الذي كان يقف على مقربة منه ويتبادل أطراف الحديث بهدوء مع أستاذ رياضيات آخر من جامعة بون.
تجاهل تاو شوانزهي تعجبات ميلنور المستمرة ، ونادى مباشرة "بروفيسور شولتز ، هل لديك لحظة من وقتك ؟ "
التفت بيتر شولتز برأسه ليرمق تاو شوانزهي ، ورفع يده مشيراً بعلامة "موافق " ثم تبادل بضع كلمات إضافية مع زميله قبل أن يقف منتظراً اقتراب تاو شوانزهي.
سأله تاو مباشرة بعد أن وصل إليه "بيتر ، ما هو رأيك ؟ "
أجاب بيتر شولتز بجدية "في الواقع ، كنت قد سمعت سابقاً أن البروفيسور تشياو كان يجري أبحاثاً حول الذكاء الاصطناعي ، لكنني لم أتوقع أن يكون الذكاء الاصطناعي العام -أو لنقل قدرات يوليو- بهذا المستوى من القوة. و لقد صُدمت حقاً بمفهوم الرياضيات الأولية ".
"هل وصلتك بعض الأخبار ؟ "
"نعم ، فأنت تعلم أنني تعاونت مع معهد أبحاث مايكروسوفت من قبل في مشروع "ليان ". ورغم تعليق هذا البحث لأسباب معينة إلا أنني استمررت في استخدام "ليان " للتحقق من البُنى الرياضية المعقدة بشكل خاص ، ضماناً لدقة عملية الإثبات. و لقد حافظت على اتصالي بالبروفيسور ويليامز ، ومؤخراً سمعت أن شركة "شي يو " للتكنولوجيا قد حصلت على أرشيفات أبحاث "ليان ". وبالإضافة إلى ذلك فقد استخدموا خوادم مايكروسوفت لاختبار مشروع ذكاء اصطناعي ، ويبدو الآن أن المشروع الذي اختبروه هو "يوليو " الذي عُرض اليوم ".
أخذ تاو شوانزهي نفساً عميقاً. حسناً ، لقد استخدم بالفعل "ليان4 ". كان ذلك خلال الإثبات المشترك لـ "حدسية بولينوميال فريمان-روز " (بولينوميال فرييمان-ريوزسا كونجيستيوري) مع تيم جروس ، وبن جرين ، والعديد من علماء الرياضيات الآخرين. و لقد استخدموا أداة "المخطط " (بليويبرينت) الخاصة بـ ليان4 لتفكيك عملية الإثبات إلى خطوات قابلة للصياغة الرسمية ، مُكملين تدريجياً العمل الكامل لإضفاء الطابع الرسمي على الإثبات.
حتى إن تاو شوانزهي تذكر أنه شارك هذه العملية في مدونة في ذلك الوقت ، وعلق على مشروع "ليان4 ". ورغم أن "ليان4 " لعب دوراً مهماً بالفعل في التحقق من الإثباتات الموجودة إلا أن قدراته في اكتشاف إثباتات جديدة كانت محدودة للغاية. أو بمعنى أدق كانت هذه الأداة لا تقدم سوى دعم مساعد عندما يتوصل علماء الرياضيات إلى فكرة رائدة.
ومع ذلك كان مسار التطوير هذا ما زال جديراً بالثناء ؛ فقد أثبت أن أدوات الذكاء الاصطناعي وأنظمة الإثبات الرسمية يمكنها بالفعل دفع عجلة التقدم الرياضي ، خاصة في مساعدة علماء الرياضيات على حل المشكلات الرياضية المعقدة.
في ذلك الوقت كان يأمل حقاً أن يواصل معهد أبحاث مايكروسوفت تطوير أبحاث "ليان ". ولكن لسوء الحظ كان الجميع يعلم ما حدث بعد ذلك. و لقد وجه الظهور المفاجئ لسلسلة حواسيب المحاكاة الكمية "تاي تشي " ضربة قاصمة لشركات مثل معلومات عسكريه ، وإنفيديا ، وغيرها ، بما في ذلك مايكروسوفت. ومع تحول مايكروسوفت بشكل أساسي نحو الألعاب والخدمات السحابية ، قامت بتقليص تمويل الأبحاث العلمية الأساسية بشكل كبير ، وهو ما أثر بشكل خاص على ميزانية معهد أبحاث مايكروسوفت ، بما في ذلك مشروع "ليان ".
في ذلك الوقت ، شعر بأسف شديد ، لكن لم يكن هناك خيار آخر. ففي نهاية المطاف كان الوضع صعباً على شركات التكنولوجيا مثل مايكروسوفت وجوجل في تلك الأوقات ، حيث تم تقليص ميزانيات معاهد أبحاثهم بشكل حاد. وكانت النتيجة الفورية هي تعليق العديد من المشاريع وإغلاق الأرشيفات ، مع وعود بإعادة فتحها إذا تحسنت أحوال الشركة في المستقبل.
لكن تاو شوانزهي كان يعلم أن هذه الادعاءات لم تكن سوى أعذار واهية. فبشكل عام ، إذا أُغلق مشروع لأكثر من خمس سنوات ، فإن إعادة إحيائه تكاد تكون مستحيلة. ففقدان الفريق والكوادر ، وتغير الظروف الخارجية ، واستراتيجية تطوير الشركة.. كلها عوامل تؤثر على هذه المشاريع المركونة.
تماما كما حدث قبل خمسين عاماً ، حين نفذت جامعة الغرب سبع عمليات هبوط مأهولة على القمر بنجاح ، ومع ذلك وبعد خمسين عاماً من التقدم التكنولوجي السريع ، أصبح من المستحيل على جامعة الغرب القيام بهبوط آخر على القمر. أما عن إعادة البدء في غضون خمس سنوات… لا تخدع نفسك! فبالنظر إلى الوضع في ذلك الوقت لم تكن خمس سنوات يكفى لهؤلاء الشركات لتجاوز الأزمة ، بل كان الأمر يزداد صعوبة ، لا سيما وأن هواشيا قد وضعت المعايير.
وقد أثبت الزمن صحة شكوك تاو شوانزهي ؛ فلم يُستأنف أي من المشاريع المغلقة ، وكانت هذه الشركات عالية التقنية تقوم بتسريح الموظفين سنوياً بطرق إبداعية شتى. فلم يكن هناك بد ؛ فتلك هي دورة انكماش الأعمال ، ولم يكن بوسع تاو شوانزهي أن ينتقد شيئاً. ففي نهاية المطاف ، تظل المهمة الأساسية لشركات مثل مايكروسوفت وجوجل هي تحقيق الأرباح ، أما الاستثمار السابق في البحث العلمي الأساسي فقد كان مجرد تمهيد لجني الأرباح المستقبلي.
