ماذا يعني أن تكون عالم رياضيات عندما يقوم الذكاء الاصطناعي بالحساب؟

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

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

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

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

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