أوبن إيه آي تنشر 722 مخطوطة رياضية من نموذج غير معلن
نشرت «أوبن إيه آي» 722 مخطوطة رياضية أنتجها نموذج داخلي غير معلن، بينها نتائج عن دالة زيتا لريمان، مع تحذير من أن جزءاً منها لم يُتحقَّق منه بعد.
نشرت «أوبن إيه آي» مستودعاً مفتوحاً على منصة «غيت هاب» يضم 722 مخطوطة رياضية موزّعة على 372 عائلة بحثية، أنتجها نموذج داخلي غير معلن للشركة. وطُرح نحو 4000 مسألة خلال التقييم، واستغرق كل نتيجة في المتوسط ثلاث ساعات من حوسبة التفكير عبر «تشات جي بي تي برو» باستخدام ذلك النموذج.
وضمّ المستودع نتائج أُفصح عنها بالاسم، من بينها منطقة خالية من الأصفار في دالة زيتا لريمان، وبرهان على حدسية هودج للأصناف الأبيلية من النمط «سي إم». وأشارت الشركة إلى أن مخطوطة دالة زيتا خضعت لتحرير بشري لتحسين مقروئيتها، وأن بعض النتائج خرجت عن الإجراء العام الذي وُلّدت به بقية المخطوطات.
وحذّرت «أوبن إيه آي» من أن النتائج في مراحل تحقق متفاوتة، وأنه ليس كل ما نُشر مُصاغاً بلغة «لين» للبرهان الآلي، وقالت إن «بعض النتائج غير المصوغة قد تحمل مشاكل»، وإنها ستعالج أي ملاحظات بسرعة. ويضم المستودع مجلدات للبراهين الصورية ومسارات الاستدلال وقائمة بالتصديقات الرسمية.
ويعيد النشر فتح النقاش حول دور الذكاء الاصطناعي في الرياضيات، فبينما يرى مؤيدون أنه يسرّع اكتشاف البراهين، يشدد متشككون على أن غياب التحقق الآلي الكامل يجعل الحكم على صحة النتائج مسألة مفتوحة تحتاج مراجعة بشرية موسعة.
ماذا تعني هذه المصطلحات؟
دالة زيتا لريمان: دالة رياضية محورية في نظرية الأعداد. تُبنى عليها فرضية ريمان الشهيرة، وأي تقدم في فهم أصفارها يُعدّ إنجازاً كبيراً في الرياضيات.
حدسية هودج: أحد أصعب المسائل المفتوحة في الرياضيات الحديثة، وتسأل عن العلاقة بين أشكال هندسية معقدة وأجزاء جبرية بداخلها. لا يزال حلها غير معروف.
لين: لغة برمجة ومساعد آلي لإثبات النظريات الرياضية خطوة بخطوة، بحيث يتحقق الحاسوب من صحة البرهان، ما يجعله أقوى من المراجعة البشرية وحدها.
لنشـرة الأسبوعيـة
اقرأ ما بين السطور قبل الجميع. فك تشفير أهم تحركات الاقتصاد، التقنية، وصُنّاع القرار في المنطقة.. في ٥ دقائق كل سبت.
