إبرة من ماء: كيف جعل 10,000 وكيل معادلات نافييه–ستوكس تنفجر ✛ ✎ ✦ OpenAI نظري من إنتاج وكلاء ذكاء اصطناعي لدى OpenAI (≈10,000 وكيل، 88 ساعة) · تُحقق منه في Lean
في 1934 برهن جان لوراي أن لمعادلات نافييه–ستوكس حلولًا دائمًا «بالمعنى المعمم». أما هل يبقى الحل أملس أم قد ينكسر في تفرّد فلم يعرف، ولم يعرف أحد تسعين عامًا. في 2000 أدرج معهد كلاي السؤال ضمن مسائل الألفية السبع. صياغة تشارلز فيفرمان أمينة: يطلب برهان أي من أربع عبارات. (A) و(B): دون قوة خارجية تبقى السلاسة دائمًا، في الفضاء وعلى الطارة. (C) و(D): توجد قوة ملساء ومعطيات ابتدائية ملساء لا يوجد لها حل أملس ذو طاقة منتهية.
يبرهن عمل OpenAI على (C) و(D). لكل لزوجة \(\nu\gt 0\) يبني قوة ملساء ذات دعم متراص في المكان والزمان، وجريانًا ينطلق من سكون تام، يحافظ على طاقته محدودة، ويبلغ سرعة لانهائية عند \(t=1\). وكيف تم ذلك يستحق الفهم، لأن الطريقة تقلب المسألة رأسًا على عقب.
تُحل المسألة بالمقلوب. يمكن قراءة معادلة نافييه–ستوكس على أنها تعريف للقوة. اكتب أي سرعة u وضغط p، عوّضهما، وأعلن كل ما لا يتوازن قوةً خارجية f. تتحقق المعادلة تطابقيًا. اختراع جريان ينفجر سهل. تنتقل الصعوبة إلى موضع واحد: يجب أن يكون الباقي أملس. حدوده المنفردة تتباعد، ويجب ترتيب إلغاءات بحيث يعبر المجموع وجميع مشتقاته لحظة الانفجار بهدوء. على هذا أُنفقت الصفحات الـ166.
الدوامة الإبرية. دوامة على المحور الرأسي تنهار نحو نقطة الأصل. في الداخل يلتف المائع حلزونيًا نحو المحور ويخرج على طوله، صعودًا ونزولًا. حفظ الزخم الزاوي يقود التسارع: لجُسيم بلا عزم يكون \(r\,u_\theta\) ثابتًا، فصِغر r يعني كِبر \(u_\theta\). وعدم الانضغاط يديم التدفق الداخل: المائع الوارد يحمله الجريان المحوري، وإلا لسد المحور.
تنكمش النواة بتشابه ذاتي: يحتفظ الجانب بشكله وتتغير المقاييس وحدها. ليكن \(\tau=1-t\) الزمن المتبقي حتى الانفجار. نصف قطر النواة \(\sim\tau^{1/2}\)، والارتفاع \(\sim\tau^{1/2-h}\) مع h ضئيل < 1/100، والسرعات \(\sim\tau^{-1/2-h}\). ينكمش نصف القطر أسرع من الارتفاع، فتستطيل النواة إلى إبرة رفيعة حجمها \(\sim\tau^{3/2-h}\). ومن هنا تأتي أروع نقطة في العمل: الطاقة الحركية للنواة \(\sim\tau^{1/2-3h}\) تؤول إلى الصفر. السرعة لانهائية، والطاقة تتلاشى، والحجم يهبط أسرع مما يصعد مربع السرعة.
اللزوجة لم تُهزم بل أُدمجت. اللزوجة هي ما يفصل نافييه–ستوكس عن أويلر، وبسببها ظُن أن المعادلة ربما آمنة. يحسب العمل عددي رينولدز. في الدوران \(\mathrm{Re}_\theta\sim\tau^{-h}\to\infty\): يتم المائع دورات أكثر فأكثر خلال زمن انتشار لزج واحد، والدوران يفوز. في التدفق القطري \(\mathrm{Re}_r=O(1)\): تبقى اللزوجة شريكًا مكافئًا. معدلات كل العمليات، النقل المحوري والقطري والانتشار عبر النواة، تنمو سواء كـ \(\tau^{-1}\) وتبقى في التوازن الرئيسي حتى النهاية. على طول المحور الانتشار أضعف بعامل \(\tau^{2h}\)، والبناء يستغل هذه الفجوة.
حيث ينكسر. يجب خياطة النواة بالمائع الهادئ في الخارج. في الحلقة بين النواة والخارج لا تتوازن الخياطة، وينمو الباقي بلا حد عندما \(t\to1\). يجب أن تكون القوة ملساء، لكنها هنا ستكون لانهائية. دوامة الخلفية لا تسند نفسها.
المائع ينتج القوة بنفسه. في الحلقة تُزرع اضطرابات مهتزة صغيرة، كل منها حلقة كاملة حول المحور، موضعية في نصف القطر والارتفاع والزمن، تُبدأ ببذرة صغيرة أسّيًا. كيف يعطي اهتزاز متوسطه صفر قوةً غير صفرية؟ حين يخرج المائع يحمل فائضًا من السرعة السمتية؛ وحين يدخل يحمل عجزًا. السرعة المتوسطة صفر، لكن تدفق الزخم الزاوي، جداء الاثنين، يحتفظ بإشارته في نصفي الدورة. اقلب الإشارتين معًا فلا يتغير الجداء. النتيجة تدفق زخم متوسط ثابت، وتغيره المكاني يؤثر في الخلفية كقوة حقيقية. يسميه الفيزيائيون إجهاد رينولدز ويعدونه عادة عائقًا؛ هنا هو أداة، مضبوطة لتلغي بالضبط الجزء المتباعد من الباقي.
النبضات تشتعل وتخبو من تلقاء نفسها. تنمو على قص الخلفية بآلية طاردة مركزية: جُسيم بفائض من الدوران يُدفع إلى الخارج، وإن هبطت السرعة الزاوية مع نصف القطر بحدة كافية نما فائضه نسبة إلى جيرانه. يغذي الأثران أحدهما الآخر فينتج نمو أسّي ما دام يغلب التخميد اللزج. ويقتلها القص أيضًا: يحمل أنصاف الأقطار المختلفة بسرعات مختلفة ويقصّر طول الموجة القطري، والتخميد اللزج ينمو مع مربع عدد الموجة. يُختار طول الموجة الابتدائي بحيث يفوز التضخيم أولًا ثم التخميد حتمًا. تترك كل نبضة ذيلًا من الصغر بحيث تتلاشى جميع مشتقاته في لحظة الانفجار.
بقية التجميع. للنبضات عائلتان: يجب توفير تدفق الزخم الزاوي وتدفق الزخم المحوري معًا، وتختلف العائلتان في نسبة الاثنين. باتجاه الانفجار توضع النبضات على شبكات أدق فأدق في المكان والزمان، كما في التكامل المحدب: سلّم لانهائي من التصحيحات، كل منها أدق من سابقه. وهناك لاتماثل مقصود: مع تماثل تام أعلى-أسفل تتلاشى آلية التضخيم في المستوى \(z=0\)، لذا أُميل الجانب المحوري قليلًا. خارج الحلقة الجريان سمتي محض، مستقل عن الارتفاع، ويحل معادلة الحرارة القطرية بدقة: باقيه صفر ولا حاجة إلى قوة هناك. يتيح هذا قطعًا مكانيًا أملس، وينقل التراصُ النتيجةَ إلى الطارة، ومن هنا (D).
الجديد مقارنة بالسابقين. استراتيجية القوة والتضخيم عبر المقاييس تعود إلى كوردوبا ومارتينيث-ثوروا: أولًا لأويلر ثلاثي الأبعاد، ثم مع تشنغ لنافييه–ستوكس بتبديد مُضعَف. وبنى تاو في 2016 انفجارًا لنافييه–ستوكس مُتوسَّط يحفظ الإلغاء الطاقي. خطوتان جديدتان هنا: لزوجة حقيقية والمعادلة الكاملة لكل \(\nu\gt 0\)، ونبضات لا تتضخم فحسب بل تعمل مصدرًا للإجهاد المطلوب، مركّبًا بالضبط تحت ثغرة الخلفية. اللبنات كلها معروفة: عدم الاستقرار الطارد المركزي، نقل متجهات الموجة بالقص، موجات القص اللزجة الدقيقة، تحقيق الإجهاد بالاهتزازات من بناءات دانيري وسيكيليهيدي لأويلر. الجديد هو التجميع وحده.
من فعل ذلك وكيف. بحسب رواية OpenAI، عثر على البرهان فريق من نحو عشرة آلاف وكيل منسق على نموذج داخلي، في 88 ساعة، بإرسال 2.7 مليون رسالة وإنفاق نحو 130 مليار رمز إخراج؛ واستغرقت الصياغة الشكلية والتحقق في Lean 17 ساعة أخرى. لا يوقّع العملَ إنسان: المؤلف المدوّن هو OpenAI. وقبل ذلك بيوم نشر تريستان باكماستر وليفنت ألبوغه ثلاث مسودات بنهج القوة الملساء نفسه لمعادلة الوسط المسامي وبوسينسك وأويلر ثلاثي الأبعاد، مع Lean أيضًا. نشأ خلاف على الأسبقية؛ وباعتراف الطرفين تختلف البراهين، وتختلف نتائج أويلر نفسها: بقوة عند طرف، ودونها عند الآخر.
ما يبقى مفتوحًا. «الانطلاق من السكون» يبدو مثيرًا لكنه يعني عكس ما يُقرأ: بما أن المائع كان ساكنًا فكل الطاقة جاءت من القوة الخارجية. الانفجار هنا ليس «نظامًا من العدم» بل ضخّ محسوب بدقة بالغة. مسألة غياب القوة، البديلان (A) و(B)، غير محلولة، ويدرجها معهد كلاي مفتوحة، وتقول OpenAI إنها لن تطالب بالجائزة. لكن النمط الذي تُوصل فيه أدوات قديمة إلى نهايتها بآلة وتتحقق منها آلة أخرى قد جُرّب الآن على مسألة قاومت البشر تسعين عامًا.
نظرة آلة المعرفة
هذا القسم موجَّه إلى مؤلف العمل وزملائه. الأعمال المجاورة عثر عليها بحثٌ دلالي في أرشيفنا، لا بتطابق الكلمات. نحن لا نقيّم العمل: نعرض الحقل من حوله.
ماذا يفعل هذا العمل
بُني جريان تمضي سرعته إلى اللانهاية في زمن منتهٍ تحت قوة خارجية ملساء، من السكون وبطاقة منتهية. يسكن التفرّد إبرةً تنكمش أسرع مما تتسارع، والقوة الناقصة يوفرها المائع نفسه عبر الإجهاد المتوسط لنبضات اهتزازية. هذا عندنا أول مثال مبني بصرامة على تفرّد موضعي لوسط متصل بطاقة منتهية، شيء يمكن مواصلة العمل عليه.
أين تكمن قوته
الآلية صريحة: دوامة إبرية، حلقة، عائلتان من النبضات، خارج حراري. إذن يمكن نقلها: حساب متريتها الفعّالة، والسؤال عما تفعله بها اللزوجة المتلاشية، ومحاولة إعادة إنتاجها في المختبر.
إلى أين يمكن المضي
- الصلة بالنسبية العامة. منذ 1981 معروف أن الاضطرابات في مائع متحرك تجري على مترية فعّالة، وأن الآفاق وإشعاع هوكينغ يُستنسخان في الماء وفي السحب الذرية. الخطوة التالية تفرض نفسها: حساب المترية الصوتية للجريان المبني. إبرة بسرعة متباعدة وطاقة متلاشية مرشحة لتكون نقطة تفقد فيها المترية الفعّالة سلاستها، نظيرًا مختبريًا لتفرّد الزمكان بطاقة منتهية. الحد أمين: الجاذبية التناظرية تنقل سلوك الحقول على خلفية منحنية لا معادلات أينشتاين، ولهذا بالذات يكون السؤال قابلًا للحل.استنادًا إلى: ثقوب سوداء في حوض ماء · نظير كمومي للثقب الأسود في سحابة ذرية · ثقوب سوداء من الضوء والدوامات · إشعاع هوكينغ على الطاولة arXiv:2604.24861 arXiv:2602.20508 arXiv:2603.01664 arXiv:2602.04593
- التفرّد مركزًا لمضاد الإنتروبيا. فرضية عمل: التفرّد الموضعي نافذة يكف فيها القانون الثاني عن أن يكون مطلقًا ويمكن للنظام أن يولد من الفوضى. للجريان المبني اختبار مباشر: ميزانية الإنتروبيا على حدة في النواة وفي الحلقة وفي الخارج. الطاقة تُحقن بالقوة والميزان الشامل موجب؛ والسؤال عن منطقة يكون فيها إنتاج الإنتروبيا الموضعي سالبًا وتمسكه النبضات. إن وُجدت وتبع حجمها مقاييس العمل، صار «مركز مضاد الإنتروبيا» كمية قابلة للقياس.استنادًا إلى: شفق الزمن: لماذا تختفي السهم ويبقى الزمن · ساعة رملية من الإنتروبيا: كيف تحسب الذرات الباردة الزمن arXiv:2508.14312 arXiv:2509.07745 arXiv:2506.01351
- السوائل الفائقة ومكثفات بوز–أينشتاين. في المائع الكلاسيكي تلتهم اللزوجة النبضات، وهذا جزء من البناء؛ وفي الهيليوم الفائق وفي المكثف تتلاشى اللزوجة، وتتكمّم الدوامات، وتتجمع ذاتيًا في شبكات، ويُرصد الاضطراب الكمي في المختبر. ومن هنا الفكرة: حيث لا تبديد، قد لا يتبدد التفرّد بل يصمد. البرنامج: نقل آلية النبضات الحلقية إلى معادلة غروس–بيتايفسكي وإيجاد ما يحل محل الإخماد اللزج.استنادًا إلى: الاحتكاك يختفي أمام الأعين · قفزة الكم: كيف تلعب الدوامات في الضوء السائل · حلقات دوّامية بلا شبكة arXiv:2601.00190 arXiv:2512.07935 arXiv:2601.06942 arXiv:2512.21416
- مرنان ماكروسكوبي. عجلتان متعاكستا الدوران في تضاد طوري هما جريان دوراني مدفوع بقص، الخلفية نفسها التي تنمو عليها النبضات بالآلية الطاردة المركزية. يمكن القياس مباشرة: إجهاد رينولدز في الحلقة وتبعيته لسرعة الدوران. توافق الإشارة والنمو مع البناء سيكون أول نقطة مختبرية؛ و«القنبلة» التناظرية في كوب فيه دوامة تبيّن أن مثل هذه القياسات تُجرى.استنادًا إلى: كيف يتحول دوام في فنجان إلى قنبلة ثقب أسود arXiv:2511.05351 arXiv:2601.01258 arXiv:2501.00037
- طريقان إلى باب واحد. مرنان في المترية ومرنان في مائع كمي تصفهما رياضيات واحدة: خلفية بقص، حلقة، اهتزازات توفر الإجهاد. يجدر بناء جدول تقابلات: ما يقابل الأفق في الإبرة، وما يقابل الدوامة المكمّمة، وما يقابل الضخ. عندها يُرى أي الباب أقرب إلى التجربة وأيهما إلى النظرية.استنادًا إلى: ثقوب سوداء من الضوء والدوامات · نظير كمومي للثقب الأسود في سحابة ذرية arXiv:2603.01664 arXiv:2602.20508
يستحق التجربة
- اشتقاق المترية الصوتية للجريان المبني والتحقق هل يتباعد انحناؤها عندما t → 1.
- حساب إنتاج الإنتروبيا الموضعي في المناطق الثلاث للبناء والبحث عن منطقة بميزان سالب.
- تكرار آلية النبضات الحلقية في نموذج غروس–بيتايفسكي بلزوجة صفرية.
- بناء حوض دوار بمحركات متعاكسة وقياس إجهاد رينولدز في الحلقة.
لماذا قد يكون هذا مهمًا
إن انتقل تفرّد الجريان إلى مترية فعّالة، صارت الموائع العادية والكمية منصة اختبار لأسئلة لا تُختبر في الجاذبية نفسها: كيف تسلك الإنتروبيا بجوار التفرّد، وهل يمكن للنظام أن يصمد حيث ينكسر الوصف المتصل. يمنح عمل OpenAI هذه المنصة، لأول مرة، تفرّدًا صريحًا مبنيًا بصرامة بطاقة منتهية.
أعمال قريبة في أرشيفنا
- ثقوب سوداء في حوض ماءالتقارب 0.00
- نظير كمومي للثقب الأسود في سحابة ذريةالتقارب 0.00
- ثقوب سوداء من الضوء والدواماتالتقارب 0.00
- إشعاع هوكينغ على الطاولةالتقارب 0.00
- كيف يتحول دوام في فنجان إلى قنبلة ثقب أسودالتقارب 0.00
- الاحتكاك يختفي أمام الأعينالتقارب 0.00
- قفزة الكم: كيف تلعب الدوامات في الضوء السائلالتقارب 0.00
- حلقات دوّامية بلا شبكةالتقارب 0.00
- شفق الزمن: لماذا تختفي السهم ويبقى الزمنالتقارب 0.00
- ساعة رملية من الإنتروبيا: كيف تحسب الذرات الباردة الزمنالتقارب 0.00
رأينا في هذا
لم يخضع هذا البحث لمراجعة الأقران. ما يلي هو قراءتنا له.
نقطة القوة
قلب المسألة: يُكتب الجريان، وتُعرَّف القوة باقيًا، وتُنقل الصعوبة كلها بأمانة إلى سلاسة الباقي. النبضات ذاتية التحديد، التي تشتعل على القص وتنطفئ باللزوجة، وإجهادها المتوسط المضبوط على تباعد الخلفية، تشكل آلية كاملة قابلة للتحقق لا حدًا أعلى.
ما الذي يقوّي العمل
- تقديم عرض بشري للأقسام 4–9 في أقل من مئة صفحة: الفيزياء واضحة في ست صفحات، لكن الطريق منها إلى التقديرات مفتوح شكليًا فقط.
- التصريح بما تغطيه صياغة Lean (المبرهنة 1.1 كاملة أم تقديرات بعينها) وكيف يتقابل النص والشيفرة: بدون ذلك تُقرأ عبارة «تُحقق منه في Lean» أوسع مما قد تكون.
- توضيح عددي للجريان المبني على أفق τ منتهٍ سيُظهر المقاييس والنبضات بوضوح ويعطي فحصًا مستقلًا لاختيار h وأطوال الموجات.
- مناقشة أي جزء من البناء يعرقله غياب القوة: هذا هو الطريق الوحيد من (C) إلى (A).
أسئلة إلى المؤلف
- ما مدى استقرار البناء تحت اضطراب الخلفية والنبضات: هل يبقى الانفجار في جوار مفتوح للمعطيات المبنية؟
- هل تعطي آلية التغذية الذاتية للنبضات أي إشارة للحالة غير المدفوعة، حيث يجب أن ينشأ الإجهاد من المعطيات الابتدائية؟
- ما الذي صيغ شكليًا في Lean بالضبط: المبرهنة 1.1 كاملة بالدعوم والتقديرات، أم نتيجتها عن عدم الوجود؟
لم يوقّع العملَ إنسان واحد: في سطر المؤلف يُكتب OpenAI. عثر نحو عشرة آلاف وكيل على البرهان في 88 ساعة، وتحقق منه 17 ساعة أخرى لا شخصٌ بل Lean.
خذ العمل كاملاً
لم يُنشر على arXiv. هنا صفحته وملف PDF والصياغة الشكلية: يمكنك التحقق بنفسك، لا مجرد قراءة تحليلنا.