بدأت نماذج الذكاء الاصطناعي تُظهر قدرة على حل مسائل رياضية معقدة، مما يمثل تحولًا محتملًا في قدرات هذه الأنظمة. اكتشف مهندس البرمجيات ومؤسس الشركات الناشئة نيل سوماني هذا الأمر بشكل غير متوقع أثناء اختبار أحدث نموذج لـ OpenAI.
قام سوماني بلصق مسألة رياضية رفيعة المستوى في ChatGPT، وبعد السماح للنموذج بمعالجة المسألة لمدة 15 دقيقة، وجد حلاً كاملاً. ثم قام بتقييم البرهان بدقة باستخدام أداة Harmonic، مؤكدًا صحته. قال سوماني: "كنت مهتمًا بتحديد خط أساس لتحديد متى تكون نماذج اللغات الكبيرة قادرة بشكل فعال على حل مسائل رياضية مفتوحة مقارنة بالمواضع التي تعاني فيها". "كانت المفاجأة أنه باستخدام أحدث نموذج، بدأت الحدود تتقدم قليلاً."
تضمن نهج الذكاء الاصطناعي في حل المشكلات سلسلة من الاستنتاجات، مستشهداً ببديهيات رياضية مثل صيغة ليجاندر، ومسلمة بيرتراند، ونجمة داود. حدد النموذج منشورًا في Math Overflow من عام 2013، حيث قدم عالم الرياضيات بجامعة هارفارد نوام إلكيز حلاً لمشكلة مماثلة. ومع ذلك، اختلف البرهان النهائي لـ ChatGPT عن عمل إلكيز، حيث قدم حلاً أكثر شمولاً لنسخة من مشكلة طرحها في الأصل عالم الرياضيات بول إيردوس. يُعرف إيردوس بمجموعته من المشكلات التي لم يتم حلها والتي أصبحت معيارًا لاختبار قدرات الذكاء الاصطناعي.
يتم تدريب نماذج اللغات الكبيرة (LLMs) مثل ChatGPT على كميات هائلة من البيانات النصية، مما يمكنها من تحديد الأنماط والعلاقات داخل المعلومات. يتيح لهم ذلك إنشاء نص شبيه بالنص البشري، وترجمة اللغات، وكما يوضح هذا المثال، معالجة التحديات الرياضية المعقدة. يمكن أن يكون لقدرة الذكاء الاصطناعي على حل هذه المشكلات آثار على مختلف المجالات، بما في ذلك البحث العلمي والهندسة والمالية، حيث تعتبر العمليات الحسابية المعقدة وحل المشكلات أمرًا ضروريًا.
يسلط هذا التطور الضوء على التطورات السريعة في الذكاء الاصطناعي وإمكاناته للمساهمة في البحث الرياضي. في حين أن الذكاء الاصطناعي ليس قادرًا بعد على صياغة نظريات رياضية جديدة بشكل مستقل، إلا أن قدرته على تحليل المشكلات الحالية وتوليد الحلول تمثل خطوة مهمة إلى الأمام. هناك حاجة إلى مزيد من البحث لفهم القيود والتحيزات المحتملة للذكاء الاصطناعي في حل المشكلات الرياضية. تشير التطورات المستمرة في القدرات الرياضية للذكاء الاصطناعي إلى مستقبل يمكن أن يصبح فيه الذكاء الاصطناعي أداة قيمة لعلماء الرياضيات والباحثين.
Discussion
Join the conversation
Be the first to comment