شات جي بي تي ينجح في إثبات فرضية رياضية جديدة

كتب : دينا كمال

شات جي بي تي ينجح في إثبات فرضية رياضية جديدة

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

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

وبيّنت الدراسة أن النموذج التابع لشركة OpenAI تمكن من حل مسألة رياضية بشكل مستقل، ما يمثل تطورًا في دور الذكاء الاصطناعي داخل مجالات البحث النظري.

وركّزت الدراسة على فرضية طُرحت عام 2024 من قبل باحثين في الرياضيات، وهي فرضية استندت إلى أنماط متكررة دون إثبات رسمي. ومع نجاح إثباتها، يمكن أن تتحول إلى نظرية رياضية مكتملة.

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

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

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

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

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

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