نموذج أنثروبيك غير المعلن يحقق تقدمًا في إحدى أعقد المسائل الرياضية

تقدم غير مسبوق في حل فرضية ريمان

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

الفرضية والجائزة المليونية

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

دور الذكاء الاصطناعي في الاكتشافات العلمية

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

طريقة عمل النموذج والوكلاء الفرعيين

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

تفاصيل هيكلية النموذج

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

المصادقة والتأطير الرسمي

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

سلسلة من النجاحات الرياضية للذكاء الاصطناعي

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

جدل حول دور الذكاء الاصطناعي في الرياضيات

أثار هذا التطور قلقًا وابتهاجًا في المجتمع الرياضي. فقد أعربت مجموعة من كبار علماء الرياضيات عن مخاوفهم من أن يقلل الذكاء الاصطناعي من قيمة الإنجازات الفردية.

آراء متباينة حول التقنيات البحثية الجديدة

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

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

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