العناوين الرئيسية تتوالى: نظام ذكاء اصطناعي كذا وكذا حل مسألة رياضية كذا وكذا. وأسمع المزيد والمزيد من الناس يقولون: ربما لم نعد بحاجة إلى أشخاص يقومون بأبحاث رياضية؛ ربما ينبغي أن نفوض كل ذلك إلى أنظمة ذكاء اصطناعي أكثر قوة. يجب أن أعترف أنني بدأت أشعر ببعض نفاد الصبر تجاه بعض ما يقال. لأنه يبدو لي أنه في كثير من الأحيان ينطوي على سوء فهم أساسي حول ماهية الرياضيات حقًا—وأيضًا، بصراحة، حول ماهية الذكاء الاصطناعي. ربما لدي تاريخ شخصي فريد يوضح هذا. بعد كل شيء، في عام 1988، عندما قدمنا لأول مرة Mathematica، كان هناك أيضًا بعض من نفس النوع من الحديث حول أن الرياضيات ستُستولى عليها وتصبح بلا جدوى. بالطبع لم تكن النتيجة هكذا على الإطلاق. بدلاً من ذلك، رفع Mathematica (الآن Wolfram Language) مستوى الرياضيات التي يمكن القيام بها—وعلى مر السنين أدى إلى جميع أنواع الرياضيات الجديدة المهمة. إذا كان حل التكاملات الرمزية هو ما يعتقد المرء أن الرياضيات تدور حوله حقًا، فنعم، لقد استبدله Mathematica بشكل أساسي. ولكن بينما هذا النوع من حل المشكلات هو ما هو مطلوب في العديد من تطبيقات الرياضيات، فإنه ليس جوهر ما تدور حوله الرياضيات نفسها، في شكلها النقي. مشروع الرياضيات البحتة هو مشروع قديم، متشابك بشكل حاسم مع تاريخ الحضارة. منذ زمن أفلاطون وإقليدس، كانت الرياضيات البحتة المثال المحدد لمكان حيث يمكن للفكر المجرد والعقلاني بناء هيكل متزايد باستمرار. وعلى مر القرون، أصبحت الرياضيات البحتة أكبر صرح فكري فردي بنته حضارتنا. لم تكن خالية من أمراضها وقيودها. وحتى بين بناة الصرح، يصادف المرء سوء فهم حول ما هو مهم، وكيف ينبغي القيام بالأشياء، إلخ. هل الرياضيات تدور بشكل أساسي حول إنتاج البراهين، بأي وسيلة ضرورية؟ هل الرياضيات دائمًا ما تكون مبررة في النهاية بتطبيقاتها؟ هل هناك "كتاب الإجابات الصحيحة" الحتمي الذي من هدف الرياضيات اكتشافه؟ مرة أخرى، أعتقد، لدي بعض التاريخ الشخصي في كل هذا. لأن جهودي في العلوم الأساسية قادتني إلى طرح أسئلة حول أسس أشياء كثيرة، بما في ذلك الرياضيات. لذا فقد درست أسئلة مثل ما هو فضاء جميع الرياضيات الممكنة، وما قد يكون الهيكل المحدد لشبكة جميع النظريات، وبشكل ملحوظ، ما هو دور البشر في تعريف الشيء الذي نسميه الرياضيات. الذكاء الاصطناعي الحديث مفيد بلا شك، أحيانًا مفيد جدًا. بالنسبة لي، كان أعظم استخدام له في المساعي الرياضية هو قدرته على التنقيب الموضوعي في قاعدة المعرفة للرياضيات البشرية. بدءًا من سبعينيات القرن العشرين، كانت القدرة على إجراء بحث بالكلمات المفتاحية في الأدبيات العلمية عامل تمكين حاسمًا لقدر كبير من البحث الذي قمت به. والآن، مع الذكاء الاصطناعي الحديث، يمكن للمرء أن يفعل الكثير. لأنه في مكان ما داخل نماذج اللغات الكبيرة تلك—بطريقة لا نفهمها علميًا بعد—هناك ما يعادل تمثيلًا للأفكار الخام المستمدة من ملايين الأوراق والكتب حول الرياضيات. وفي أفضل حالاتها، لا يتعلق الأمر فقط باسترجاع الأشياء. بل يتعلق أيضًا بإجراء اتصالات. القدرة على رؤية أن هذه النتيجة هنا يمكن دمجها مع تلك النتيجة هناك للوصول إلى استنتاج مفاجئ ومفيد. البشر يفعلون ذلك بشكل روتيني أيضًا. لكنهم يميلون إلى قراءة مئات الأوراق فقط؛ بينما قرأت أنظمة الذكاء الاصطناعي الملايين بشكل فعال، ومن الرخيص بالنسبة لها تجربة الكثير والكثير من التركيبات الممكنة. فهل يمكن للمرء أن يتوقع ببساطة إطلاق نظام ذكاء اصطناعي ليعود برياضيات عظيمة؟ كما سنناقش، الرياضيات العظيمة—أكثر من أي شيء آخر—تُعرف بالأسئلة التي تطرحها. نعم، يمكن للذكاء الاصطناعي أتمتة الأشياء التي كان على البشر عادةً القيام بها بأنفسهم من قبل. لكن—كما سنرى—
المصدر: Hacker News · لخّصه HeadlinesBriefing