وكيل Cursor يحل مسألة رياضية بحثية ذاتياً
أعلن الرئيس التنفيذي لشركة Cursor أن وكيل الذكاء الاصطناعي التابع لهم نجح في حل مسألة بحثية مفتوحة ضمن تحدي رياضي أكاديمي، بعد عمل متواصل استمر أربعة أيام دون أي تدخل بشري، مع نتائج أقوى من الحل الرسمي المكتوب من قبل باحثين.
تفاصيل الخبر
كشف Michael Truell، الرئيس التنفيذي لشركة Cursor، أن وكيل الشركة تمكن من اكتشاف حل جديد للمسألة السادسة ضمن تحدي First Proof، وهي مجموعة مسائل تحاكي مستوى أبحاث جامعات مثل Stanford University وMassachusetts Institute of Technology وUniversity of California, Berkeley.
- عمل الوكيل بشكل مستقل تماماً لمدة أربعة أيام متواصلة.
- لم يتلقَّ أي تلميحات أو توجيهات بشرية أثناء التنفيذ.
- استخدم نفس بيئة التشغيل (Harness) التي استُخدمت سابقاً لبناء متصفح من الصفر.
- اعتمد منهجية Marcus–Spielman–Srivastava في كثيرات الحدود المتداخلة.
- حسّن الثابت الرياضي c من 0.03 إلى 0.13 مقارنة بالحل الرسمي.
- قسّم مجموعة الرؤوس كاملة إلى مكونات خفيفة بدلاً من جزء منها فقط.
ووفقاً لترويل، فإن الحل الذي توصل إليه الوكيل يقدم نتائج أقوى من الحل البشري المنشور سابقاً. ولا يزال الفريق بانتظار مراجعة نهائية من خبراء بارزين في المجال، من بينهم Nikhil Srivastava وDaniel Spielman، مع تلقي تعليقات أولية إيجابية من الباحث يانغ ليو، إضافة إلى التشاور مع عالم الرياضيات Jan Vondrák.
الأهداف المستقبلية
تشير هذه التجربة إلى إمكانية تعميم تقنيات تنسيق الوكلاء الذكيين خارج نطاق البرمجة لتشمل البحث العلمي المتقدم.
- توسيع استخدام الوكلاء الذاتيين في حل مسائل رياضية مفتوحة.
- اختبار قدرة النماذج على إنتاج براهين جديدة بالكامل.
- تطبيق منهجية التنسيق متعدد الوكلاء في مجالات علمية أخرى.
- تقليل الحاجة إلى التدخل البشري في البحث الاستكشافي طويل الأمد.
- تعزيز التكامل بين الذكاء الاصطناعي والبحث الأكاديمي.
ويرى فريق Cursor أن نجاح التجربة يعزز فرضية أن تقنيات تنسيق الوكلاء القابلة للتوسّع قد تتجاوز مهام البرمجة إلى مجالات بحثية عميقة تتطلب استدلالاً رياضياً متقدماً.
ختاماً، تمثل هذه الخطوة تطوراً لافتاً في قدرات الوكلاء الذاتيين على خوض تحديات بحثية حقيقية. كما تفتح الباب أمام مرحلة جديدة يصبح فيها الذكاء الاصطناعي شريكاً فاعلاً في إنتاج المعرفة العلمية.
