التاج الإخباري -

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

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

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

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

وقال بريشت فيربيكن، في مختبر تحليل البيانات: "لطالما اعتقدت أن شات جي بي تي قادر على المساعدة في حل مسائل رياضية غير محسومة، لكنني تفاجأت بسرعة وكفاءة النتائج".

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

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

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