شات جي بي تي يحل لأول مرة فرضية رياضية هندسية لم تُثبت سابقًا

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

تفاصيل الدراسة والفرضية المحلولة

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

دور الذكاء الاصطناعي في تطوير الإثبات

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

vibe-proving والمنهج الجديد

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

أهمية المشاركة البشرية

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

آفاق مستقبلية للذكاء الاصطناعي في البحث النظري

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