الإجاباتمنشور14 المصادر
ادعاء OpenAI بشأن نافير–ستوكس: إثبات محتمل لم يُحسم بعد
تقول OpenAI إن نظاماً داخلياً غير مُعلن نسّق ما يصل إلى نحو 10 آلاف وكيل ذكاء اصطناعي لمدة 88 ساعة، وأنتج برهاناً على إمكان نشوء تفرد في زمن منتهٍ ضمن معادلات نافير–ستوكس ثلاثية الأبعاد. النتيجة المعلنة رافقها خلاف على الأسبقية مع أستاذ الرياضيات في جامعة نيويورك تريستان باكماستر وباحث Anthropic ليفنت ألبوجه؛ وتنفي...
نشر بواسطةتم التحرير باستخدام GPT-5.6 Terraتم إنشاء الصور باستخدام GPT Image 2
إجابة البحث
الوجبات السريعة الرئيسية
- تقول OpenAI إن نظاماً داخلياً غير مُعلن نسّق ما يصل إلى نحو 10 آلاف وكيل ذكاء اصطناعي لمدة 88 ساعة، وأنتج برهاناً على إمكان نشوء تفرد في زمن منتهٍ ضمن معادلات نافير–ستوكس ثلاثية الأبعاد.
- النتيجة المعلنة رافقها خلاف على الأسبقية مع أستاذ الرياضيات في جامعة نيويورك تريستان باكماستر وباحث Anthropic ليفنت ألبوجه؛ وتنفي OpenAI اطلاعها على عملهما قبل نشره.
- وجود صياغة رسمية في Lean يعزز قابلية التدقيق، لكنه لا يساوي قبولاً مستقلاً للبرهان أو حسمَ مسألة مطابقة النتيجة لصياغة جائزة الألفية ذات الصلة.
- قالت OpenAI إنها أحرزت «تقدماً كبيراً» في مسألة أخرى غير مسمّاة من مسائل جائزة الألفية، فيما تبقى التكهنات بشأن حدسية هودج غير مؤكدة.
موجّه الذكاء الاصطناعي
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI reportedly claim about solving the Navier–Stokes existence and smoothness problem—specifically, its use of roughly 10,000 AI. Article summary: OpenAI’s claim is consequential but remains unverified: it said an unreleased internal model, deployed as roughly 10,000 semi-autonomous agents, produced a formalized Navier–Stokes proof in 88 hours. The Clay Mathematics. Topic tags: general, news, general web, user generated, academic. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks
تبدو نتيجة OpenAI المعلنة بشأن معادلات نافير–ستوكس إنجازاً تاريخياً إذا صمدت أمام التدقيق الرياضي المستقل. فالشركة تقول إن نظاماً داخلياً غير مُتاح للجمهور نسّق قرابة 10 آلاف وكيل ذكاء اصطناعي لمدة 88 ساعة، وأنتج برهاناً تحليلياً وصياغة رسمية بلغة Lean تُظهر أن حركة مائع تبدأ ناعمة يمكن أن تطوّر تفرداً في زمن منتهٍ. لكن نشر وثائق البرهان، أو حتى وجود تحقق رسمي، لا يعني أن المجتمع الرياضي قبل النتيجة نهائياً. 1
4
ما الذي تقول OpenAI إنها أثبتته؟
تبحث مسألة «الوجود والنعومة» لمعادلات نافير–ستوكس، في إحدى صيغها، في ما إذا كانت تدفقات الموائع ثلاثية الأبعاد التي تبدأ ناعمة تظل منتظمة إلى الأبد، أم يمكن أن تنهار في وقت محدود. وتقول OpenAI إن نتيجتها تثبت الاحتمال الثاني: يمكن للديناميات، في ظل الشروط المذكورة، أن تولّد تفرداً في زمن منتهٍ. 4
نشرت الشركة برهاناً مكتوباً وصياغة رسمية له في Lean. ووصفته تقارير بأنه مخطوط من 166 صفحة، نتج عن نظام غير مُعلن عمل عبر نحو 10 آلاف وكيل متزامن خلال 88 ساعة. 3
1
وهنا تظهر نقطة أساسية: صياغة البرهان في Lean تسمح لمساعد برهاني بالتحقق من أن الخطوات المرمّزة تتبع من التعريفات والافتراضات المحددة. لكنها لا تحسم وحدها أسئلة أخرى، مثل ما إذا كانت القضية المرمّزة هي بالضبط المسألة الرياضية المقصودة، أو ما إذا كانت الافتراضات مناسبة، أو ما إذا كان الانتقال من البرهان المكتوب إلى البرهان الرسمي كاملاً ودقيقاً. وعند صدور التقارير الأولى، لم يكن معهد كلاي للرياضيات قد قبل الادعاء بصورة مستقلة. 1
لماذا تحوّل الإعلان إلى نزاع على الأسبقية العلمية؟
وصل الادعاء الرياضي متزامناً مع خلاف حول الأولوية وسلوك البحث. فقد قال تريستان باكماستر، أستاذ الرياضيات في جامعة نيويورك، إن OpenAI علمت بمنهج عمل كان يتابعه هو وليفنت ألبوجه، الباحث في Anthropic، ثم سارعت إلى مشروعها. كما أثار باكماستر اعتراضات تتعلق بمن ينبغي أن يُنسب إليه الفضل.
في المقابل، نفت OpenAI أن يكون باحثوها أو وكلاؤها قد اطّلعوا على عمل الرجلين قبل أن يصبح علنياً. وتشير التغطية إلى أن النتائج المعنية كانت مرتبطة ببعضها، لكن لم يُثبت أنها متطابقة. لذلك يبقى الاتهام الجوهري غير محسوم: هو ادعاء علني خطير، لا نتيجة ثابتة.
لهذا لا يقتصر الجدل على سؤال: «هل وجد الذكاء الاصطناعي معادلات صحيحة؟» بل يمتد إلى أسئلة إجرائية: كيف وصلَت الشركة إلى خط بحث معين؟ وهل يمكن تدقيق تسلسلها الزمني؟ وكيف ينبغي نسب الإسهامات المتقاربة؟ وهل يمكن لمجتمع الباحثين فحص نظام مغلق وملكي فحصاً ذا معنى؟
لماذا لم يُنهِ التحقق الرسمي الجدل؟
ترفع الأساليب الرسمية معيار الأدلة بدرجة كبيرة. فـLean يتحقق من كل خطوة برهانية ضمن لغة رسمية، وهو مفيد في كشف الثغرات التي قد تمر عبر المراجعة التقليدية. وإتاحة OpenAI للعرض البشري المقروء والصياغة الرسمية توفر للرياضيين مادة حقيقية للفحص. 4
لكن التحقق الرسمي يعالج جزءاً واحداً فقط من الحكم العلمي. ولا يزال على المجتمع الرياضي تقييم:
- النطاق: أي صيغة محددة من مسألة نافير–ستوكس يحسمها البرهان؟
- المطابقة: هل تتوافق النظرية غير الرسمية وافتراضاتها مع النظرية المصاغة في Lean؟
- الجِدّة ونسبة الفضل: من جاءت منه الأفكار، ومتى؟
- الفهم: هل يقدم البرهان أفكاراً رياضية قابلة لإعادة الاستخدام، أم مجرد اشتقاق تم التحقق منه؟
- قابلية إعادة الفحص: هل يستطيع باحثون من خارج الشركة قراءة العمل وشرحه والبناء عليه بصورة مستقلة؟
ووصف خافيير غوميز-سيرانو الحلقة بأنها «أزمة وجودية» للرياضيات، في تعبير عن القلق من أن تتجاوز النتائج المولدة سريعاً بالذكاء الاصطناعي آليات الفهم والتحقق والتدريس ونسبة الفضل المعتادة.
اعتراضات على سباق الذكاء الاصطناعي في الرياضيات
اتسع الجدل إلى ما يتجاوز هذا البرهان. فقد وقّع 25 من حائزي ميدالية فيلدز، من بينهم تيرينس تاو، إعلاناً يحذر من أن تنافس شركات الذكاء الاصطناعي على ادعاء إنجازات رياضية صعبة قد يضر بالعلم وتدريب الباحثين. 17
وفي رسالة مفتوحة منفصلة، اعترض رياضيون حاليون وسابقون من معهد كاليفورنيا للتقنية (كالتيك) على دور OpenAI في فعالية مخطط لها عن رياضيات الذكاء الاصطناعي. ووفقاً للتغطية، حملت الرسالة 771 توقيعاً عند نشرها، ثم سحبت OpenAI رعايتها لفعالية Caltech Mathathon.
ولا تعني هذه الاعتراضات بالضرورة الدعوة إلى إبعاد الذكاء الاصطناعي عن الرياضيات. بل إن القلق يدور حول أن الأنظمة الاحتكارية والسباق المدفوع بالدعاية قد يكافئان العناوين الكبيرة على حساب التبادل المفتوح، والإسناد الدقيق للفضل، والشرح الرياضي. ويمكن للأدوات نفسها أن تكون نافعة في إطار مختلف: تدقيق البراهين، واستكشاف الحدسيات، وتحسين العرض، والإسهام في مكتبات رسمية مشتركة.
هل تتجه OpenAI إلى حدسية هودج؟
نقلت تقارير أن OpenAI قالت لصحيفة The New York Times إنها أحرزت «تقدماً كبيراً» في مسألة أخرى من مسائل جائزة الألفية، من دون تسميتها أو نشر برهان لها. وهذا هو الحد المؤكد علناً في المصادر المتاحة.
ترد حدسية هودج كثيراً بوصفها الهدف المحتمل، كما طُرحت حدسية بيرش وسوينرتون-داير في التكهنات. وأفاد تقرير، نقلاً عن مصدر في OpenAI، بأن موظفين توقعوا إحراز تقدم في هودج، لكن الشركة لم تعلن علناً برهاناً لهذه الحدسية. لذلك ينبغي التعامل مع الادعاءات بأن أياً من الحدسيتين قد حُلّت بوصفها شائعات، لا نتائج رياضية.
ما الذي ينبغي متابعته الآن؟
التطور الحاسم ليس إعلاناً جديداً، بل الفحص المستقل لمواد نافير–ستوكس المنشورة: مراجعة الخبراء للحجة، وتفتيش مشروع Lean وتبعياته، وتحديد الصيغة الدقيقة من مسألة كلاي التي يُفترض أنها حُسمت.
وإذا قدمت OpenAI ادعاءً جديداً يتعلق بإحدى مسائل الألفية، فستظل المعايير نفسها مطلوبة: نظرية دقيقة، ومواد رسمية وغير رسمية متاحة، وشرح واضح لمنشأ الأفكار، وقدر كافٍ من التفسير يسمح للباحثين باختبار العمل وتوسيعه. في الرياضيات المدعومة بالذكاء الاصطناعي، الصحة ضرورية، لكن الإسناد والشفافية والفهم البشري ضرورية أيضاً.
Studio Global AI
مواصلة البحث الخاص بك
تتضمن هذه الصفحة إجابة مدعومة بالمصدر يمكنك المتابعة داخل Studio Global.
يسأل الناس أيضا
ما هي الإجابة المختصرة على "ادعاء OpenAI بشأن نافير–ستوكس: إثبات محتمل لم يُحسم بعد"؟
تقول OpenAI إن نظاماً داخلياً غير مُعلن نسّق ما يصل إلى نحو 10 آلاف وكيل ذكاء اصطناعي لمدة 88 ساعة، وأنتج برهاناً على إمكان نشوء تفرد في زمن منتهٍ ضمن معادلات نافير–ستوكس ثلاثية الأبعاد.
ما هي النقاط الأساسية التي يجب التحقق منها أولاً؟
تقول OpenAI إن نظاماً داخلياً غير مُعلن نسّق ما يصل إلى نحو 10 آلاف وكيل ذكاء اصطناعي لمدة 88 ساعة، وأنتج برهاناً على إمكان نشوء تفرد في زمن منتهٍ ضمن معادلات نافير–ستوكس ثلاثية الأبعاد. النتيجة المعلنة رافقها خلاف على الأسبقية مع أستاذ الرياضيات في جامعة نيويورك تريستان باكماستر وباحث Anthropic ليفنت ألبوجه؛ وتنفي OpenAI اطلاعها على عملهما قبل نشره.
ماذا يجب أن أفعل بعد ذلك في الممارسة العملية؟
وجود صياغة رسمية في Lean يعزز قابلية التدقيق، لكنه لا يساوي قبولاً مستقلاً للبرهان أو حسمَ مسألة مطابقة النتيجة لصياغة جائزة الألفية ذات الصلة.