OpenAI تعلن برهاناً لمعادلات نافييه–ستوكس أنشأه الذكاء الاصطناعي
يتيح إعلان 8 سبتمبر برهاناً مقترحاً وشيفرة Lean للفحص، مع دور أساسي لقوة خارجية ملساء في النتيجة المعلنة.
ادعاء كبير مع أدلة متاحة للفحص
أعلنت OpenAI في 8 سبتمبر أن نظاماً داخلياً للذكاء الاصطناعي أنتج برهاناً لمعادلات نافييه–ستوكس، ونشرت عرضاً رياضياً وصياغة رسمية في Lean. وتقول الشركة إن النتيجة تتعلق بانهيار خلال زمن منتهٍ مع قوة خارجية ملساء وطاقة منتهية.
ما العبارة التي يشملها الادعاء؟
يحدد المستودع المرافق البديلين C وD من مسألة الألفية: الانهيار في الفضاء ثلاثي الأبعاد وفي مجال دوري. وينبغي الحفاظ على شرط القوة الخارجية عند وصف النتيجة. ويتضمن المستودع أوامر البناء وتعليمات للفحص المستقل باستخدام Comparator.
الخطوة التالية
لم يُعِد MathsAI بناء شهادات البرهان ولم يتحقق من الحجة بصورة مستقلة. ينقل هذا المقال إعلاناً بحثياً، ولا يصادق على قبول رياضي أو قرار بمنح جائزة. وتتمثل الخطوة التالية للقراء المتخصصين في فحص العبارة الدقيقة ومدى مطابقتها للبرهان المكتوب.