في إنجاز علمي يعيد صياغة العلاقة بين الذكاء الاصطناعي والعلوم البحتة، كشفت شركة «أوبن إيه آي»عن أكبر إصدار رياضي يعتمده نموذجها الداخلي للحدود الذكية، متضمناً آلاف المسائل المعقدة، وبراهين غير مسبوقة تم التحقق من سلامتها آلياً.
وأتاحت الشركة هذه الثروة المعرفية عبر مستودع عام على منصة «جيت هاب» (GitHub)، يضم 722 مخطوطة رياضية منظمة في 372 عائلة بحثية، تغطي فروعاً متقدمة، تشمل الرياضيات البحتة، وعلوم الحاسوب النظرية، والفيزياء الرياضية، ونظرية التعقيد الحسابي.
وخضع النموذج لاختبارات صارمة شملت محاولة حل نحو 4000 مسألة تطلبت سلاسل استدلالية عميقة وطويلة، استغرقت النتيجة المقبولة الواحدة نحو ثلاث ساعات من المعالجة الحاسوبية عبر برمجياتها المتقدمة، مع توثيق العديد من البراهين بلغة الإثبات البرمجي «لين» لضمان خلوها من الأخطاء المنطقية.
وتعامل الإنتاج الضخم للنموذج مع معضلات رياضية دقيقة وعميقة؛ من بينها أبحاث تتعلق بمعامل اللاعقلانية للعدد «باي»، ومسائل الصعوبة الحسابية من نوع (NP)، إضافة إلى تخمينات ماهلر، والمتتابعات الحسابية، وعوامل الزمر الحرة، فضلاً عن تطبيقات في الفيزياء المتمثلة في المغناطيسية الحديدية الكمومية لهايزنبرغ، ومعادلات فلاسوف-ماكسويل النسبية.
