يطلق علماء الرياضيات اختبار First Proof، وهو أول اختبار من نوعه للرياضيات في مجال الذكاء الاصطناعي

يطرح علماء الرياضيات تحديًا كبيرًا للذكاء الاصطناعي: اعرض لنا عملك

بقلم جوزيف هوليت حرره كلير كاميرون

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

تم تفصيل هذا الجهد، المسمى First Proof، في طبعة أولية نُشرت يوم الخميس الماضي.

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

حول دعم الصحافة العلمية

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

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

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

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

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

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

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

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

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

حان الوقت للدفاع عن العلم

إذا استمتعت بهذا المقال، أود أن أطلب دعمكم. العلمية الأمريكية لقد عمل كمدافع عن العلوم والصناعة لمدة 180 عامًا، وربما تكون اللحظة الحالية هي اللحظة الأكثر أهمية في تاريخ القرنين.

لقد كنت العلمية الأمريكية مشترك منذ أن كان عمري 12 عامًا، وقد ساعد ذلك في تشكيل الطريقة التي أنظر بها إلى العالم. SciAm يثقفني ويسعدني دائمًا، ويلهمني شعورًا بالرهبة تجاه عالمنا الواسع والجميل. وآمل أن يفعل ذلك بالنسبة لك أيضا.

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

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

لم يكن هناك وقت أكثر أهمية بالنسبة لنا للوقوف وإظهار أهمية العلم. آمل أن تدعمونا في تلك المهمة.