كلود يحقق تقدمًا جديدًا في أبحاث فرضية ريمان الرياضية
في خطوة لافتة تكشف تطور قدرات الذكاء الاصطناعي في الرياضيات، نجح نموذج بحثي غير مُعلن من كلود في تحسين نتيجة رياضية مرتبطة بفرضية ريمان، إحدى أشهر المسائل المفتوحة في تاريخ الرياضيات.
تفاصيل خبر تقدم كلود في الرياضيات
دفعت شركة أنثروبيك نموذجًا بحثيًا غير مُعلن من كلود إلى محاولة حل فرضية ريمان، وهي مسألة رياضية تعود إلى عام 1859 ولم يتمكن العلماء من إثباتها أو دحضها حتى الآن. ورغم أن كلود لم ينجح في حل الفرضية نفسها، فإنه توصل بشكل غير متوقع إلى نتيجة جديدة تتعلق بنسبة أصفار دالة زيتا لريمان الموجودة على الخط الحرج.
ومن أبرز ما توصل إليه النموذج:
- رفع الحد الأدنى المعروف لنسبة الأصفار الواقعة على الخط من 41.6% إلى 67.2%.
- اعتمد في عمله على أبحاث ونتائج رياضية سابقة امتدت لعدة عقود.
- عمل النموذج خلال جلستين باستخدام ما مجموعه 31 مليون رمز ناتج.
- جرب في البداية نحو 650 فكرة قبل الوصول إلى نتيجة واعدة.
- استعان بحوالي 60 نموذجًا فرعيًا للبحث والتحقق من الأفكار.
- نفذ الوكلاء آلاف الاختبارات العددية وكتبوا مئات البرامج بلغة بايثون.
- راجعوا الأدلة، بحثوا عن أمثلة مضادة، وحللوا 54 ورقة بحثية للتأكد من أن النتيجة لم تكن منشورة سابقًا.
- ساعد رياضيان من أنثروبيك في دراسة النتيجة والتحقق منها.
- أنتج كلود أيضًا صياغة رسمية للنتيجة باستخدام نظام Lean للتحقق من البراهين الرياضية.
ورغم أهمية هذه النتيجة، تؤكد أنثروبيك أن الأساليب التي استخدمها كلود لا يُتوقع أن تؤدي مباشرة إلى إثبات فرضية ريمان نفسها.
الأهداف المستقبلية لتطور الذكاء الاصطناعي في الرياضيات
توضح تجربة كلود أن نماذج الذكاء الاصطناعي قد تتحول تدريجيًا من أدوات تساعد الباحثين في الحساب والتحليل إلى أنظمة قادرة على استكشاف أفكار رياضية جديدة وربط نتائج بحثية متفرقة.
ومن المتوقع أن يتركز التطور المستقبلي على:
- مساعدة علماء الرياضيات في استكشاف المسائل المفتوحة والمعقدة.
- الجمع بين نتائج الأبحاث الرياضية القديمة والحديثة للوصول إلى استنتاجات جديدة.
- استخدام أنظمة التحقق الرسمية للتأكد من صحة البراهين التي تنتجها النماذج.
- تطوير وكلاء ذكاء اصطناعي قادرين على تقسيم المشكلات الرياضية الكبيرة إلى مهام أصغر والعمل عليها بالتوازي.
- تسريع عملية اختبار الفرضيات واكتشاف الأخطاء والأمثلة المضادة.
- تعزيز التعاون بين الباحثين البشريين ونماذج الذكاء الاصطناعي في المجالات الرياضية المتقدمة.
لا يعني إنجاز كلود أن فرضية ريمان قد حُلّت، لكنها تمثل مثالًا مهمًا على التطور السريع في قدرات الذكاء الاصطناعي على البحث والاستدلال الرياضي. وقد يكون الأهم أن النموذج لم يكتفِ بمحاولة الوصول إلى إجابة، بل تمكن من استخراج نتيجة جديدة من أعمال رياضية سابقة، ما يفتح الباب أمام دور أكبر للذكاء الاصطناعي في الاكتشافات الرياضية مستقبلًا.
