يرتبط بداية الذكاء الاصطناعي في الصين ارتباطًا وثيقًا بهذا عالم الرياضيات

المصدر: مجتمع تورينج

المؤلف: لين جون سين فنغ

وو ون جون في العمل (12 مايو 1919-7 مايو 2017). المصدر: أكاديمية الرياضيات وعلوم النظم ، الأكاديمية الصينية للعلوم

كان عام 1979 عامًا مهمًا في الصين. وقعت العديد من الأحداث الكبرى في هذا العام ، وتعتبر أيضًا نقطة تحول مهمة في السياسة والاقتصاد والعلوم والتكنولوجيا والثقافة في الصين وغيرها من المجالات وأحد أهم نقاط التوقف في تاريخ الصين الحديث. مقارنة بالعصر الجديد الرائع الذي تم افتتاحه في عام 1979 ، فإن بداية أبحاث الذكاء الاصطناعي (AI) في الصين في عام 1979 لا يمكن اعتبارها سوى موجة غير واضحة في المد التاريخي ، ولكن في تاريخ الذكاء الاصطناعي في الصين ، يعد هذا أمرًا رائدًا حدث.

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

مقدم "طريقة وو" ليس سوى عالم الرياضيات وو ون جون. جنبا إلى جنب مع Wang Xianghao و Zeng Xianchang ، أطلق عليه لقب "ثلاثة سادة من آلة إثبات". في أواخر سبعينيات القرن الماضي ، بدأ Wu Wenjun ، الذي كان يبلغ من العمر ستين عامًا تقريبًا ، من دراسة الرياضيات الصينية القديمة وخلق مجالًا جديدًا للميكنة الرياضية ، واقترح "طريقة Wu" لإثبات النظريات الهندسية باستخدام أجهزة الكمبيوتر ، والتي تعتبر عمل ريادي في مجال التفكير الآلي.

** 1. فتح Wu Wenjun الباب أمام الذكاء الاصطناعي الصيني للذهاب إلى العالم **

في كانون الثاني (يناير) 1979 ، بدعوة من معهد الدراسات المتقدمة في برينستون ، استقل عالم الرياضيات وو ونجون رحلة تبادل إلى الولايات المتحدة ومعه 25000 دولار في جيبه.

كان برفقته عالم الرياضيات تشين جينغرون. الاثنان هما الدفعة الأولى من العلماء الذين تمت دعوتهم للدراسة وزيارة الولايات المتحدة بعد إقامة العلاقات الدبلوماسية بين الصين والولايات المتحدة ، وسوف يدرسون ويتبادلون في معهد الدراسات المتقدمة في برينستون لفترة من الوقت. موضوع تبادل Chen Jingrun هو بطبيعة الحال "1 + 2" ، والمحتوى الرئيسي لتبادل وو ون جون في هذه الرحلة ، بالإضافة إلى ممارسته القديمة للطوبولوجيا ، هو المزيد حول تاريخ الرياضيات الصينية القديمة والميكنة الرياضية. لاستخدام 25000 يوان أحضرها دولار لشراء جهاز كمبيوتر لدراسة الميكنة الرياضية.

عندما فاز Wu Wenjun بالجائزة الأولى في العلوم الطبيعية من الأكاديمية الصينية للعلوم (المشار إليها فيما يلي باسم "الأكاديمية الصينية للعلوم") في عام 1979 ، أصبحت الميكنة الرياضية اتجاه بحثه الرئيسي. جذب اتجاه البحث هذا أيضًا انتباه العالم. يُطلق على طريقة البحث الخاصة بـ Wu Wenjun اسم "طريقة Wu" في مجال إثبات نظرية الماكينة. تستخدم أعلى جائزة للعلوم والتكنولوجيا الذكية في الصين "جائزة Wu Wenjun للذكاء الاصطناعي للعلوم والتكنولوجيا" اسم Wu Wenjun لإحياء ذكرى Wu Wenjun باعتباره من إنجازات الباحثين الصينيين في المجالات المتعلقة بالذكاء الاصطناعي.

عن غير قصد ، فتح Wu Wenjun الباب أمام أبحاث الذكاء الاصطناعي في الصين لتصبح عالمية. بدأ بحث Wu Wenjun حول تاريخ الرياضيات الصينية القديمة حوالي عام 1974. في ذلك الوقت ، طلب Guan Zhaozhi ، نائب مدير معهد الرياضيات التابع للأكاديمية الصينية للعلوم (المشار إليه فيما يلي باسم "معهد الرياضيات التابع للأكاديمية الصينية للعلوم") ، من Wu Wenjun دراسة الرياضيات الصينية القديمة. اكتشف وو ون جون بسرعة الاختلاف المهم بين التقليد الرياضي الصيني القديم والتقاليد الرياضية الغربية الحديثة الموروثة من اليونان القديمة ، حيث أجرى تحليلاً شاملاً للحسابات الصينية القديمة وطوّر رؤى فريدة في العديد من الجوانب.

في السبعينيات ، بدأت التبادلات الأكاديمية الأجنبية في التعافي تدريجياً. في عام 1975 ، ذهب Wu Wenjun إلى فرنسا للتبادل وقدم تقريرًا عن الفكر الرياضي الصيني القديم في المعهد الفرنسي للعلوم المتقدمة. في ذلك الوقت ، استعاد وو ون جون الدليل القديم لصيغة ريجاو ، ولاحظ الخصائص "الهيكلية" و "الآلية" للرياضيات الصينية القديمة. في مهرجان الربيع لعام 1977 ، تحقق Wu Wenjun من جدوى طريقة إثبات آلة النظرية الهندسية عن طريق الحساب اليدوي ، واستمرت العملية لمدة شهرين.

تأتي الفكرة الأصلية لإثبات نظرية الآلة من منطق جوتفريد فيلهلم ليبنيز في حساب التفاضل والتكامل ، وتطورت لاحقًا من المنطق الرمزي. في وقت لاحق ، أطلق ديفيد هيلبرت (ديفيد هيلبرت) "مشروع هيلبرت" في عام 1920 على هذا الأساس ، على أمل إضفاء البديهية الصارمة على النظام الرياضي بأكمله. ببساطة ، إذا تم تنفيذ هذه الخطة ، فهذا يعني أنه بالنسبة لأي تخمين رياضي ، بغض النظر عن مدى صعوبة ذلك ، يمكننا دائمًا معرفة ما إذا كان التخمين صحيحًا ، وإثباته أو إنكاره. هذا ما قصده هيلبرت عندما قال "Wir müssen wissen، wer werden wissen" (يجب أن نعرف ، يجب أن نعرف).

ومع ذلك ، بعد ذلك بوقت قصير ، في عام 1931 ، اقترح كورت جودل نظرية عدم الاكتمال لجودل ، والتي حطمت مُثُل هيلبرت للشكليات. لكن على أي حال ، عندما أغلق جودل الباب ، ترك النافذة. وضعت أطروحة الدكتوراه لعالم الرياضيات الفرنسي العبقري جاك هيربراند الأساس لنظرية الإثبات ونظرية العودية للمنطق الرياضي. بعد اقتراح نظرية عدم الاكتمال لجوديل ، قام هيربراند بفحص أطروحته وتركت في كلمة واحدة - جوديل ونتائجي ليست متناقضة ، وأنا كتب رسالة إلى Gödel للحصول على المشورة. رد جوديل على Erblan ، لكن Erblan فشل في انتظار الرسالة ، وتوفي في حادث تسلق الجبال بعد يومين من رد Gödel عن عمر يناهز 23 عامًا. لاحقًا ، تم تسمية أعلى جائزة في مجال إثبات النظرية أيضًا باسم El Brown ، وفاز Wu Wenjun بجائزة El Brown الرابعة للإنجاز المتميز في الاستدلال التلقائي في عام 1997.

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

في عام 1936 ، تورينج في ورقته المهمة "حول الأرقام القابلة للحساب ، مع تطبيق على Entscheidungsproblem" (* على الأرقام المحسوبة ، مع تطبيق Entscheidungsproblem *) من قيود الإثبات والحساب التي وضعها غودل عام 1931 نتيجة لذلك ، أعيدت المناقشة ، تم استبدال لغة Gödel الرسمية القائمة على الحساب العام بشكل بسيط من الأجهزة المجردة التي تسمى الآن آلة Turing ، وقد ثبت أن جميع العمليات الحسابية يمكن محاكاتها بواسطة آلة Turing. هذا أيضًا أساس نظري مهم لعلوم الكمبيوتر والذكاء الاصطناعي. أقدم مدرسة للذكاء الاصطناعي - تم توسيع مدرسة الرموز أيضًا على أساس العمليات المنطقية الرسمية.

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

في ذلك الوقت ، قرأ Wu Wenjun العديد من المقالات الأجنبية وفهم تمامًا دليل الآلة. في ذلك الوقت ، جاء أحدث الأبحاث حول إثبات نظرية الآلة من عالم المنطق الرياضي وانغ هاو. وأثناء دراسته في قسم الرياضيات بجامعة ساوثويسترن أسوشيتد ، درس على يد الفيلسوف الشهير و "أول شخص في الفلسفة الصينية" جين Yuelin ، ثم ذهب إلى جامعة هارفارد في الولايات المتحدة ، درس الفيلسوف والمنطق الشهير ويلارد فون كوين (WV Quine) نظام البديهيات الرسمي الذي أسسه كواين وحصل على الدكتوراه. في وقت مبكر من عام 1953 ، بدأ وانغ هاو بالفعل التفكير في إمكانية إثبات النظريات الرياضية بالآلات.

في عام 1958 ، استخدم وانج هاو برنامج منطق افتراضي على كمبيوتر IBM 7041 لإثبات جميع نظريات المنطق من الدرجة الأولى في "مبادئ الرياضيات" ، وأكمل إثبات كل 200 نظرية منطقية افتراضية في العام التالي. تكمن أهمية عمل Wang Haozhi في الإعلان عن إمكانية استخدام أجهزة الكمبيوتر لإثبات النظريات. عندما عاد إلى الصين في عام 1977 ، شارك في العديد من الندوات التي أثرت على التطور طويل الأمد للعلم والتكنولوجيا في بلدي ، وألقى 6 محاضرات خاصة في الأكاديمية الصينية للعلوم ، والتي كان لها تأثير كبير على البحث المحلي عن إثبات الآلة.

بالقرب من المنزل ، لا تزال هناك فجوة بين البراهين السابقة لـ Wang Hao لنظريات المنطق الافتراضي في "مبادئ الرياضيات" والأدلة الآلية للنظريات الهندسية التي يريد Wu Wenjun تحقيقها. يحتوي الأول على عناصر منطقية أكثر رمزية ، بينما يحتوي الأخير على عناصر التفكير. في ذلك الوقت ، كانت هناك العديد من الدراسات في الخارج حول البراهين الآلية للنظريات الهندسية ، لكنها انتهت جميعها بالفشل.

** ثانيًا ، من ميكنة الفكر الرياضي الصيني القديم إلى "طريقة وو" **

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

يمكن تحويل جميع المسائل إلى مسائل رياضية ، ويمكن تحويل جميع المسائل الرياضية إلى مسائل جبرية ، ويمكن تحويل جميع المسائل الجبرية إلى مسائل حل المعادلات ، ويمكن تحويل جميع مشاكل حل المعادلات إلى حل متغيرات مفردة مشاكل المعادلات الجبرية.

الرياضيات الصينية القديمة والرياضيات الغربية الحديثة هما نظامان مختلفان. أعاد Wu Wenjun "Zhou Bi Suan Jing" وفقًا للمعرفة والتفكير المعتاد والتفكير للقدماء في ذلك الوقت دون استخدام "الأدوات الحديثة" مثل الدوال المثلثية وحساب التفاضل والتكامل وحلول المعادلات عالية الترتيب في الرياضيات الحديثة. طرق إثبات "ريجاو توشو" و "دايانكيويشو" و "زينجتشينجكايفانجشو" في "تسعة فصول من شوشو". إنه يعتقد أن الرياضيات الصينية القديمة لها ميزاتها الفريدة.تتميز طريقة Qin Jiushao بخصائص البناء والميكنة ، ويمكن الحصول على الحل العددي للمعادلات الجبرية عالية الترتيب باستخدام آلة حاسبة صغيرة. في ظل عدم وجود معدات حاسوبية عالية الأداء في ذلك الوقت ، كان Wu Wenjun قادرًا على الاستفادة الكاملة من الأفكار الرياضية الصينية القديمة لإجراء بحث حول تقليل الأبعاد ، وهو أمر يستحق الثناء أيضًا.

كانت النظرية الأولى التي أثبتها Wu Wenjun وفقًا لهذه الفكرة هي نظرية فيورباخ ، التي أثبتت أن "الدائرة ذات النقاط التسع للمثلث هي مماس لدائرتها المنقوشة وثلاث دوائر مقيدة". هذه واحدة من أجمل النظريات في هندسة الطائرة ، والتي يمكن رؤيتها في جماليات Wu Wenjun. لم يكن هناك كمبيوتر في ذلك الوقت ، لذلك حسب وو ون جون باليد. تتمثل إحدى خصائص "طريقة Wu" في أنه سيتم إنشاء عدد كبير من كثيرات الحدود. يحتوي أكبر كثير الحدود المتضمن في عملية الإثبات على مئات العناصر. هذا الحساب صعب للغاية ، وأي خطأ في خطوة واحدة سيؤدي إلى إجراء حسابات لاحقة يفشل. في مهرجان الربيع لعام 1977 ، نجح Wu Wenjun في التحقق من طريقة إثبات آلة نظرية هندسية لأول مرة عن طريق الحساب اليدوي. في وقت لاحق ، أثبت Wu Wenjun نظرية Simson في Great Wall 203 التي أنتجها مصنع راديو بكين رقم 1.

نشر Wu Wenjun مقالة البحث ذات الصلة "مشاكل تحديد الهندسة الأولية والإثبات الآلي" في "العلوم الصينية" في عام 1977 ، وأرسل المقال إلى وانغ هاو. أشاد وانغ هاو بعمل Wu Wenjun ، وكتب مرة أخرى ليقترح أن يستخدم Wu Wenjun حزمة الجبر الحالية ويفكر في تنفيذ طريقة Wu باستخدام جهاز كمبيوتر. لم يدرك وانغ هاو الفرق بين أجهزة الكمبيوتر المستخدمة من قبل كبار العلماء في الصين والولايات المتحدة في هذا الوقت: يمكن لـ Great Wall 203 استخدام لغة الآلة ، لكن أنظمة التعليمات لأجهزة الكمبيوتر المختلفة ليست عالمية ، وهي غير مجدية. لاستخدام حزمة الجبر الحالية. لذلك ، لاحقًا ، استعار Wu Wenjun ببساطة آلة حاسبة صغيرة من معهد الرياضيات التابع للأكاديمية الصينية للعلوم كهدية من أجنبي زار معهد الرياضيات التابع للأكاديمية الصينية للعلوم ، وقام بتحويل الاقتراح المعطى إلى شكل جبري ، ثم استخدم طريقة Qin Jiushao لحساب معادلة الترتيب الأعلى.

كان بحث Wu Wenjun حول إثبات الآلة للنظريات الهندسية مدعومًا بقوة من قبل Guan Zhaozhi. درس Guan Zhaozhi في فرنسا وكان أحد مؤسسي الفرع الفرنسي لجمعية العلماء الصينية ، وقد وحد مجموعة من المثقفين الوطنيين البارزين ، وكان Wu Wenjun واحدًا منهم. في ذلك الوقت ، كان لمعهد الرياضيات التابع للأكاديمية الصينية للعلوم حيث عمل وو ون جون علاقات معقدة. واعتقد أحد الفصائل أن عمل البراهين الآلية كان "متمردا" ، وأعرب عن أمله في أن يواصل الانخراط في أبحاث الطوبولوجيا ؛ Guan Zhaozhi ، الذي انتقل من الطوبولوجيا والتحليل الوظيفي إلى نظرية التحكم ، وكان داعمًا له وفهمه بشكل خاص ، دعنا نقول أن Wu Wenjun يمكنه فعل ما يريد. لاحقًا ، عندما أسس Guan Zhaozhi معهد علوم الأنظمة التابع للأكاديمية الصينية للعلوم في عام 1979 ، تبع Wu Wenjun Guan Zhao إلى معهد علوم الأنظمة التابع للأكاديمية الصينية للعلوم (الشكل 1-1).

الشكل 1-1 المبنى المكتبي الأصلي لمعهد علوم الأنظمة ، الأكاديمية الصينية للعلوم (الآن مبنى Rongke) في أوائل الثمانينيات (من اليسار: Xu Guozhi ، Wu Wenjun ، الباحث الهندي ، Guan Zhaozhi)

لإثبات نظريات أكثر تعقيدًا ، نحتاج إلى آلات أفضل. قدم الأكاديمي وانغ ديزاو ، الذي كان وقتها مدير معهد الصوتيات التابع للأكاديمية الصينية للعلوم ، المشورة إلى وو ون جون. أخبر وو ون جون متى وأين سيظهر لي تشانغ ، سكرتير المجموعة الحزبية ونائب رئيس الأكاديمية الصينية للعلوم ، لكن وو ون جون أمسك به حقًا. كان لي تشانغ شديد الانفتاح ، فعندما شغل منصب رئيس معهد هاربين للتكنولوجيا (المشار إليه فيما يلي باسم "HIT") في الخمسينيات من القرن الماضي ، حول HIT إلى جامعة وطنية من الدرجة الأولى. من بين الجامعات الوطنية الست الرئيسية التي تم تحديدها في عام 1954 ، يعد معهد هاربين للتكنولوجيا هو الوحيد غير الموجود في بكين. كما قدم لى تشانغ دعما كبيرا لعمل وو ون جون ، حيث وافق لى تشانغ بشكل خاص على صرف النقد الاجنبى لو ون جون البالغ 25 الف دولار امريكى لشراء جهاز كمبيوتر فى الولايات المتحدة. مع هذا الكمبيوتر ، تم إثبات العديد من النظريات بسرعة.

كانت السبعينيات أيضًا العصر الذهبي لإثبات نظرية الآلة. في عام 1976 ، أثبت اثنان من علماء الرياضيات الأمريكيين نظرية الألوان الأربعة باستخدام كمبيوتر إلكتروني عالي السرعة مع 1200 ساعة من وقت الحساب ، وحلوا المشكلة الصعبة التي لم يحلها علماء الرياضيات لأكثر من 100 عام. السبب في إمكانية إثبات نظرية الألوان الأربعة هو أن المجموعات غير القابلة للاختزال والمجموعات التي لا يمكن تجنبها محدودة. يبدو أن مشكلة "تلوين الخريطة" لنظرية الألوان الأربعة تحتوي على عدد لا نهائي من الخرائط ، ولكن في الواقع يمكن أن تُعزى إلى أكثر من 2000 نوع من الأشكال الأساسية ، ثم استخدم القوة الحاسوبية للكمبيوتر لإثبات القوة الغاشمة وإثباتها واحدة تلو الأخرى. من الناحية المجازية ، فإن هذا النهج يشبه حل مكعب روبيك - تفكيك المكعب وإعادة تجميعه معًا - غير أنيق ولكنه فعال. نقول الآن أن GPT-3 "يصنع المعجزات بجهد كبير" ، ولكن في الواقع إثبات نظرية الألوان الأربعة هو سلف "المعجزات بجهود كبيرة".

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

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

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

انتشرت "طريقة Wu" حقًا ، حيث حققت أول اختراق في نظرية الآلة في الثمانينيات ، وذلك بفضل Zhou Xianqing ، الطالب الأجنبي في الولايات المتحدة الذي استمع إلى دورة إثبات نظرية الآلة الخاصة بـ Wu Wenjun. أراد Zhou Xianqing في الأصل الحصول على درجة الدراسات العليا لـ Wu Wenjun في مجال إثبات الآلة ، لكنه اعتقد أن الهندسة التفاضلية كانت نقطة ضعفه ، لذلك كان يخشى ألا يتمكن من اجتياز الاختبار ، لذلك تم قبوله أخيرًا في الجامعة العلوم والتكنولوجيا في الصين (المشار إليها فيما يلي باسم "جامعة العلوم والتكنولوجيا في الصين") ، ثم انتقلت لاحقًا إلى معهد تكنولوجيا الحوسبة التابع لأكاديمية العلوم الصينية باسم Dai Pei ، وفي هذا الصدد ، قمت بمراجعة هندسة Wu Wenjun بالطبع إثبات.

في عام 1981 ، ذهب Zhou Xianqing إلى جامعة تكساس في أوستن للدراسة في الخارج.في ذلك الوقت ، كانت جامعة تكساس في أوستن تُعرف باسم ملك إثبات النظرية. ذكر Zhou Xianqing عمل Wu Wenjun لروبرت Boyer. اعتقد Boyer أنه جديد جدًا ، لذلك استمر في السؤال ، لكن Zhou Xianqing كان يعلم فقط أنه يحول الهندسة إلى جبر ، ولم يتمكن من شرح التفاصيل المحددة.

بعد ذلك ، طلب Woody Bledsoe من Zhou Xianqing وطالب آخر Wang Tiecheng جمع البيانات ، وكانت أطروحة الدكتوراه Zhou Xianqing بمثابة تحقيق لطريقة وو. أرسل Wu Wenjun مقالتين بسرعة ، وقع كلاهما على Bledsoe. في العامين التاليين ، تم نسخ هاتين المقالتين من قبل جامعة تكساس في أوستن ما يقرب من مائة مرة وإرسالهما إلى جميع أنحاء العالم ، وأصبحت طريقة وو معروفة على نطاق واسع.

في عام 1983 ، عقد المؤتمر الأكاديمي الوطني حول إثبات النظريات بواسطة الآلات في كولورادو بالولايات المتحدة الأمريكية ، وقدم Zhou Xianqing تقريرًا بعنوان "إثبات نظريات الهندسة باستخدام طريقة وو" في المؤتمر. يمكن للبرنامج العام الذي طوره Zhou Xianqing أن يثبت تلقائيًا أكثر من 130 نظرية هندسية ، بما في ذلك البراهين لنظريات أكثر صعوبة مثل نظرية مولر ، نظرية سيمسون ، نظرية دائرة فيورباخ ذات النقاط التسع ونظرية ديسارغ. بعد ذلك ، تم نشر مجموعة أوراق هذا المؤتمر رسميًا في عام 1984 باعتباره المجلد التاسع والعشرون من سلسلة "الرياضيات المعاصرة" في الولايات المتحدة ، كما تم تضمين ورقتين مرتبطتين أرسلهما Wu Wenjun.

في يونيو 1986 ، نظم جون هوبكروفت الحائز على جائزة تورينغ (جون هوبكروفت) وآخرون ندوة حول التفكير الهندسي التلقائي ، وتم تضمين جزء من تقرير الندوة في "اصطناعي في الإصدار الخاص من" الذكاء "، مقالة مقدمة لـ يقدم الإصدار الخاص بشكل خاص الطريقة الجديدة للهندسة الجبرية التي اقترحها Wu Wenjun. الرؤية ، النمذجة الصلبة) لها أيضًا قيمة تطبيقية مهمة (الشكل 1-2). منذ ذلك الحين ، عمل هوبكروفت عن كثب مع العديد من الجامعات في الصين. ولديه معاهد بحثية يقودها في جامعة شنغهاي جياو تونغ ، وجامعة بكين ، والجامعة الصينية في هونغ كونغ (شنتشن). ومن المحتمل أن يكون وو ون جون وو فافانغ بداية مجمعه الصيني.

الشكل 1-2 لمحة عامة عن طريقة وو في الفصل الافتتاحي من الطبعة الخاصة من "الذكاء الاصطناعي" عام 1988