في سابقة علمية غير مسبوقة، استطاع نموذج الذكاء الاصطناعي GPT-5.5 Pro من إثبات خطأ فرضية المجموع-المنتج (sum-product conjecture) عبر الأعداد الحقيقية (real numbers). بعد أن حقق نموذج OpenAI نجاحًا في نقض فرضية إردوش (Erdős unit distance conjecture)، استلهم البحث الجديد الذي يجمع بين الذكاء الاصطناعي والبشر في العوالم الرياضية.

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

الأدلة التي تم توليدها كانت متنوعة، حيث اقترب بعضها من الطرق التقليدية التي تعتمد على الوحدات، بينما اعتمد البعض الآخر على مناطق من الأعداد الجبرية من نوع L^p. كما استخدم النموذج متوسط 132.4 ألف توكن للتفكير في كل تجربة.

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

هذا التطور المذهل يُعد دليلاً واضحاً على قدرة الذكاء الاصطناعي على النهوض بالعلوم الرياضية وتحفيز الأبحاث الجديدة. ما رأيكم في هذا التقدم؟ شاركونا في التعليقات.