تتسابق الشركات الناشئة لإحداث ثورة في الرياضيات باستخدام الذكاء الاصطناعي

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

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

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

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

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

داخل مكتب متواضع، به غرف تحمل أسماء علماء رياضيات مشهورين مثل كارل فريدريش جاوس وأدا لوفليس، سألت أونو عن سبب الحاجة لشركات مثل شركته، خاصة مع وجود شركات الذكاء الاصطناعي الضخمة والممولة بشكل جيد مثل OpenAI وجوجل.

“ChatGPT هو أمين المكتبة؛ لا يمكنك العثور على شيء لم يقرأه، ولكن هل تريد أن يكون أمين المكتبة الخاص بك هو جراح الأعصاب الخاص بك؟” يقول أونو. يشرح لي أونو أنه على الرغم من نجاح النماذج اللغوية الكبيرة مثل ChatGPT، إلا أنه لا يزال من غير الممكن الاعتماد عليها للتأكد من صحتها دون التحقق منها من قبل المراجعين البشريين، مما يمثل فرصة للتحقق.

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

الكثير للتحقق

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

وهذه الفئة الأخيرة هي التي ترى شركات مثل Axiom Math وHarmonic أنها طريقتها لتوليد الإيرادات، حيث أن الأموال النقدية المتاحة لحل المسائل الرياضية الصعبة صغيرة. مثلما يمكن التحقق من صحة الدليل الرياضي باستخدام Lean أو لغة برمجة مماثلة، كذلك يمكن لبرامج الكمبيوتر أن تثبت رياضيًا أنها صحيحة ولا تحتوي على أخطاء. يقول تيودور أخيم، الرئيس التنفيذي لشركة Harmonic: “عندما يبدأ الذكاء الاصطناعي في كتابة المزيد والمزيد من التعليمات البرمجية، تزداد القيمة التكميلية للتحقق، لأن البشر يصبحون بعد ذلك عنق الزجاجة”.

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

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

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

يقول سيباستيان بوبيك من شركة OpenAI: “كانت نقاط الضعف التي رأيناها قبل ستة أشهر واضحة للغاية”. “كانت هناك مجالات في الرياضيات حيث كان النموذج يقول فقط هراء. واليوم، أعتقد أن الأمر ليس كذلك تمامًا.”

على عكس شركات مثل Axiom Math وHarmonic، التي وظفت علماء رياضيات لتدريب نماذجها لتكون بارعة في الرياضيات بشكل خاص، يدعي Bubeck أن OpenAI لا تعمل على تحسين أنظمة الذكاء الاصطناعي الخاصة بها لتكون جيدة في الرياضيات بشكل خاص، ولكنها تحاول إنتاج أنظمة أكثر ذكاءً بشكل عام، وهو ما يصادف أيضًا أن يكون الهدف الشامل في OpenAI. يقول بوبيك: “نحن نقوم بتدريب عام على الذكاء الاصطناعي، ومن خلال هذا التحسين العام تظهر قدرات تصدمنا جميعًا فيما يتعلق بالرياضيات”.

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

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

النظريات المحظورة

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

يقول شوبو سينجوبتا من شركة اكسيوم ماث: “بعض الرياضيات اليوم أصبحت محمية بالفعل”. “[Large hedge funds] القيام بالكثير من النمذجة الرياضية. لا شيء من هذا متاح لأي شخص آخر، لسبب وجيه، لأن هذه هي ملكيته الفكرية؛ هذه هي الطريقة التي يكسبون بها المال.

ومع ذلك، يضيف سينغوبتا أن “دفع حدود المعرفة بالرياضيات إلى الأمام يجب أن يكون مجانيًا”.

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

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

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