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

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

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

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

وفي المجمل، اختبر النموذج 650 فكرة مختلفة لحل المسألة، ونسق العمل بين 60 وكيلاً فرعياً واستهلك ما مجموعه 31 مليون رمز نصي من المخرجات.

ويوضح هامش في الورقة البحثية أن اثنين من أصل 60 وكيلاً فرعياً كانا مسؤولين عن تطوير الأفكار الرياضية الأساسية، بينما أسهم 13 وكيلاً بأفكار ساعدتهما، وحاول 30 وكيلاً تطوير أفكار جديدة لكنهم لم ينجحوا في ذلك.

كما عمل 13 وكيلاً آخر بوصفهم مدققين للتحقق من صحة الحجج الرياضية، فيما ساعد الوكيلان المتبقيان في كتابة النسخة الأولية من الورقة البحثية.

وأكد النتيجة اثنان من علماء.....

لقراءة المقال بالكامل، يرجى الضغط على زر "إقرأ على الموقع الرسمي" أدناه

هذا المحتوى مقدم من صحيفة الغد الأردنية