الذكاء الاصطناعي يحل أكثر من 300 مسألة رياضية

نشرت OpenAI يوم 6 أكتوبر مجموعة من النتائج الرياضية التي وُلدت بواسطة نماذجها الداخلية المتقدمة. يحتوي مستودعها على GitHub على 722 مخطوطة، موزعة على 372 عائلة نتائج، تشمل الاستنتاجات الرئيسية والبراهين المصاحبة والنتائج الفرعية والبراهين البديلة. وأشارت OpenAI إلى أن هذه النتائج تتعلق بمئات المسائل المفتوحة، لكنها شددت على أن درجة التحقق منها متفاوتة، وأن بعض النتائج غير المُنسقة بلغة Lean قد لا تزال تحتوي على أخطاء محتملة. يأتي هذا الإصدار بعد حوالي شهر من إعلان OpenAI حلّ مسألة نافير-ستوكس، إحدى مسائل جائزة الألفية. ومع ذلك، لا يزال ينبغي وصف هذا الاستنتاج على أنه حل مقترح من قبل OpenAI، وليس نتيجة نهائية حصلت على اعتراف رسمي من المجتمع الرياضي أو معهد كلاي للرياضيات. كما كشفت OpenAI عن جزء من براهين Lean، وملخصات الاستدلال لـ10 نتائج، وإحصائيات الحساب، وأعلنت أنها ستواصل إضافة التحقق الرسمي. توفر المواد ذات الصلة أساسًا للمجتمع الرياضي لإجراء مراجعة مستقلة، لكنها لا تكفي لإثبات صحة جميع النتائج، كما لم تُفصح عن البنية الدقيقة للنماذج الداخلية أو بيانات التدريب أو عملية الاستدلال الكاملة. ولا تزال قيمتها الأكاديمية بحاجة إلى مراجعة طويلة الأمد من قبل الأقران.