«شات جي بي تي» يقتحم عالم الرياضيات.. نحو عصر الإثبات بالذكاء الاصطناعي

دراسة تكشف قدرات غير مسبوقة

كشفت دراسة حديثة أجراها باحثون من Vrije Universiteit Brussel أن نموذج الذكاء الاصطناعي ChatGPT-5.2 يمتلك القدرة على إنتاج براهين رياضية أصلية، ما يمثل تطورًا لافتًا في استخدامات الذكاء الاصطناعي داخل البحث العلمي.

نموذج جديد: “vibe-proving”

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

دور حاسم للعنصر البشري

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

آفاق واعدة وتحديات قائمة

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

 

 

شارك هذا الخبر
يوسف إبراهيم
يوسف إبراهيم
المقالات: 1074

اترك ردّاً

لن يتم نشر عنوان بريدك الإلكتروني. الحقول الإلزامية مشار إليها بـ *