في الآونة الأخيرة ، أثبتت الأخبار التي تفيد بأن نموذج XAI Language Model Grok3 أن تخمين Riemann كان ينفجر على وسائل التواصل الاجتماعي ، مما أثار اهتمامًا واسع النطاق والمناقشة الساخنة. أصدر مهندس Xai Hieu Pham رسالة تقول أن Grok3 أثبتت هذه المشكلة الصعبة التي ابتليت بها مجتمع الرياضيات لسنوات عديدة ، وبالتالي علقت التدريب النموذجي. ومع ذلك ، كان هذا مجرد "مكسور" ناتج عن الكشف عن مستخدمي الإنترنت ، والذي تم الكشف عنه في النهاية من خلال الاستجابة الفكاهية لجريج يانغ المؤسس الشريك XAI وغيرها. على الرغم من أنها مجرد مزحة ، إلا أن هذا الحادث أثار تفكير الناس المتعمق في القدرة الرياضية لمنظمة العفو الدولية ويجعلنا نتطلع إلى اختراق الذكاء الاصطناعى المستقبلي في مجال الرياضيات.
في الآونة الأخيرة ، نشرت مهندس Xai Hieu Pham رسالة "متفجرة" على وسائل التواصل الاجتماعي ، مدعيا أن نموذج اللغة الكبير في XAI GOK3 أثبت بنجاح تخمين Riemann وعلق تدريب النموذج. أثارت هذه الأخبار بسرعة مناقشات ساخنة في دائرة الذكاء الاصطناعى ، وأعرب مستخدمو الإنترنت عن صدمتهم وكان من الصعب معرفة ما إذا كان هذا صحيحًا أم خطأ. بعد كل شيء ، تُعرف Riemann Conjecture ، باعتبارها واحدة من المشكلات الرياضية السبع الكبرى في الألفية ، باسم "تاج عالم التخمين" ، ويمكن تخيل صعوبة.
بعد ساعات قليلة ، كشف فام عن الإجابة في منشور آخر: لقد كانت مجرد مزحة. نشأ هذا "الاعتراض" من كشف مستخدمي الإنترنت أندرو كوران ، الذي ادعى أن Grok3 واجه "حادثة كارثة" أثناء التدريب.
في مواجهة الشائعات التي تفيد بأنه كلما انتشرت ، لم يستطع Xai Lianchuang Greg Yang إلا أن تنشر مقالة ساخرة وقالت بسخرية ، "نعم ، نعم ، بدأ Grok3 في مهاجمة حراس الأمن في المكتب." قال من الناحية الفكاهية: "الوضع سيء للغاية! لقد استبدلنا لاحقًا جميع الأوزان السيئة بالرسوم النانوية (وليس رقمًا ، غير مرغوب فيه) قبل أن نتعافى."
على الرغم من أن هذه "المهزلة" انتهت في مزحة ، إلا أنها دفعت أيضًا تفكير الناس في القدرات الرياضية من الذكاء الاصطناعي.
لذا ، إلى أي مدى تبعد الذكاء الاصطناعي عن مشاكل الرياضيات الألفية مثل Riemann Conjecture؟
يمكننا أن نرى أداء Alphaproff ، وهي أداة إثبات رياضية منظمة العفو الدولية التي طورها فريق DeepMind من Google. نجح Alphaproff بنجاح في حل ثلاثة أسئلة في أوليمبياد الرياضيات الدولية لعام 2024 (IMO) ، من بينها السؤال السادس يُعرف باسم "المدير النهائي" وهو صعب للغاية. أظهرت Alphaproff القدرة المنطقية القوية والتفكير الإبداعي في عملية حل المشكلات معاً.
على الرغم من أن Alphaproff حقق نتائج رائعة ، إلا أن الذكاء الاصطناعى لا يزال أمامه طريق طويل للتغلب على المشكلات الرياضية العليا مثل تخمين Riemann. يتمتع Riemann Conjecture بتاريخ 165 عامًا منذ اقتراحه في عام 1859 ، وقد كرست عدد لا يحصى من علماء الرياضيات جهودهم ، لكنهم لم يثبتوا تمامًا.
لإثبات تخمين Riemann ، يحتاج الذكاء الاصطناعي إلى الحصول على قوة حوسبة قوية وقدرات التفكير المتعمقة. في الوقت الحالي ، يمكن لـ AI البحث في جميع الأدلة الممكنة من خلال البحث بشكل شامل عن النظريات المثبتة ، ولكن هذا يتطلب موارد الحوسبة الفلكية. بالإضافة إلى ذلك ، يحتاج الذكاء الاصطناعي أيضًا إلى القدرة على فهم وتطبيق الأدوات الرياضية الحالية من أجل لعب دور أكبر في الأبحاث الرياضية.
يتوقع بعض خبراء الذكاء الاصطناعي أنه بحلول نهاية عام 2026 ، ستصبح الذكاء الاصطناعى "عالم رياضيات سوبرمان" ، وهو ما يكفي لحل مشاكل مثل تخمين ريمان. وعد Musk أيضًا بأن Grok3 ، الذي تم تدريبه بـ 200،000 H100 ، سيتم إصداره في نهاية العام وسيحقق أداءً مذهلاً.
في المستقبل ، دعنا ننتظر ونرى ما إذا كان يمكن لمنظمة العفو الدولية إحراز تقدم اختراق في مجال الرياضيات.
على الرغم من أن هذه "المهزلة" حول ما إذا كان يمكن أن يثبت الذكاء الاصطناعى تخمين ريمان ، إلا أنه انتهى في مزحة ، فقد أثار تفكيرنا في اتجاه التنمية المستقبلية للذكاء الاصطناعي. يعد تقدم الذكاء الاصطناعى في مجال الرياضيات واضحًا للجميع ، ولكن لا يزال هناك طريق طويل للتغلب على المشكلات من الدرجة الأولى مثل تخمين Riemann. دعونا نتطلع إلى المزيد من الاختراقات في الذكاء الاصطناعي في مجال الرياضيات في المستقبل!