انفجار في زمن منتهٍ لمعادلات نافييه–ستوكس ثلاثية الأبعاد بقوة ملساء ذات دعم متراص: تشريح البناء ✛ ✎ ✦ OpenAI نظري من إنتاج وكلاء ذكاء اصطناعي لدى OpenAI (≈10,000 وكيل، 88 ساعة) · تُحقق منه في Lean
السياق
تسأل مسألة الانتظام هل يبقى حل معادلات نافييه–ستوكس غير القابلة للانضغاط ثلاثية الأبعاد من معطيات ملساء أملس. بنى لوراي (1934) حلولًا ضعيفة شاملة ذات طاقة منتهية؛ وبيّن كافاريلي وكون ونيرنبرغ (1982) أن المجموعة الشاذة لحل ضعيف مناسب ذات قياس هاوسدورف مكافئي أحادي البعد صفري، مما يسمح بتفرّدات معزولة؛ وأعطى إسكاوريثا وسيريغين وشفيراك (2003) الانتظام تحت معيار \(L^\infty_t L^3_x\) صامد المقياس ومحدود. بنى تاو (2016) انفجارًا لمعادلات مُتوسَّطة تحفظ الإلغاء الطاقي؛ وحصل باكماستر وفيكول (2019) على عدم وحدانية الحلول الضعيفة بالتكامل المحدب؛ وبنى ألبريتون وبرويه وكولومبو (2022) حلول لوراي–هوبف متمايزة بمعطيات صفرية وقوة واحدة شاذة في اللحظة الابتدائية. السابقون المباشرون هم كوردوبا ومارتينيث-ثوروا: انفجار لأويلر ثلاثي الأبعاد المدفوع بقوة (2023)، ولمعادلة الوسط المسامي بمصدر أملس (2024)، ومع تشنغ لنافييه–ستوكس ناقص التبديد. في بناءاتهم تُضخّم الإجهادات كبيرة المقياس الدوامية صغيرة المقياس مع كبح التفاعلات الذاتية. وقبل عمل OpenAI بيوم نشر باكماستر وألبوغه انفجارًا بقوة ملساء لمعادلة الوسط المسامي وبوسينسك ثنائي الأبعاد وأويلر ثلاثي الأبعاد مع صياغات Lean؛ وقدّر تاو في اليوم نفسه أن نهجهما «مرجّح الامتداد إلى نافييه–ستوكس». صياغة فيفرمان تقبل صراحة أيًا من (A)–(D) حلًا؛ والشرط (5) على القوة يتحقق لكل \(f\in C_c^\infty\).
المنهجية
الطريقة عكسية: يُعلَن الباقي \(R(u,p)=\partial_t u+(u\cdot\nabla)u-\Delta u+\nabla p\) (\( u\) = 1 بعد إعادة القياس) قوةً، وتصير المهمة بناء u, p بسرعة غير محدودة وباقٍ أملس حتى \(t=1\) مع جميع مشتقاته المكانية-الزمانية. البناء طبقات. (1) خلفية متماثلة محوريًا ذاتية التشابه \((u_B,p_B)\): في الإحداثيات الأسطوانية نواة بتدفق قطري داخل وتسارع سمتي وخروج محوري على جانبي طبقة فاصلة قرب \(z=0\)؛ المقاييس \(\ell_r\asymp\tau^{1/2}\)، \(\ell_z\asymp\tau^{1/2-h}\)، 0 < \(h\lt 1/100\)، السرعات |\(u_\theta\)|, |\(u_z\)| \(\asymp\tau^{-1/2-h}\)، |\(u_r\)| = O($τ^{−1/2}$)؛ ينخفض الضغط نحو المحور ويوفر القوة الجاذبة المركزية؛ تنقل اللزوجة الزخم الزاوي إلى الخارج، ونمو السرعة هو توازن التدفق الداخل مع الفقد اللزج. تفرض معادلات الجانب التوازن الرئيسي في النواة؛ والوصل بخارج أملس يترك في الحلقة باقيًا يساوي سالب تباعد إجهاد حلقي حتى حد يتلاشى إلى كل رتبة عند النقطة الشاذة (القضية 5.5). الجانب المحوري لاتماثلي قليلًا عمدًا، بانحياز طفيف إلى الأعلى و\(u_z(r,0,t)\neq0\): مع التماثل التام يتلاشى عند \(z=0\) كل من النقل المحوري للزخم الزاوي والقص القطري للسرعة المحورية، فلا تتضخم النبضات هناك. (2) نبضات اهتزازية: متتاليات من اضطرابات مهتزة مكانيًا موضعية في r, z, t ومغلقة في حلقات كاملة، عائلتان بنسب مختلفة بين التدفق القطري للزخم الزاوي والتدفق القطري للزخم المحوري؛ جداءاتها التربيعية المتوسطة تحقق الإجهاد الرئيسي (القضية 7.5). البذرة قوة خارجية صغيرة أسّيًا؛ والنمو على قص الخلفية بالآلية الطاردة المركزية (معايير ليبوفيتش–ستيوارتسون، بيلان–غالير) مع إسهام القص المحوري؛ تُختار الاتجاهات بحيث يقصّر القص طول الموجة القطري ويتفوق التخميد \(\propto k^2\) على التضخيم وتتلاشى الذيول بجميع مشتقاتها عندما \(t\to1\). يرتكز البناء على حلول كرايك–كريمينالي الدقيقة وموجات القص اللزجة لسينغ–سريدهار، وعلى تقنية دانيري–سيكيليهيدي لتحقيق الإجهادات بالاهتزازات. (3) تصحيحات متتالية تحسّن تناقص الباقي (القضية 9.6)؛ طارة مساعدة وفصل دعوم الاهتزازات (القسم 6)؛ تصحيحات متوسطة ذات دعم متراص (القسم 8). (4) الجريان الخارجي سمتي محض، مستقل عن z، ويحل معادلة الحرارة القطرية بدقة («الخارج الحراري»): باقيه يتلاشى تطابقيًا؛ ولكل r > 0 ثابت تملك الحقول وجميع مشتقاتها نهايات ملساء عندما \(t\uparrow1\)، مما يتيح قطعًا مكانيًا أملس (القسم 10)؛ وتبقى قوة القطع ملساء. تضبط التقديرات جميع المشتقات الديكارتية للباقي. الصياغة الشكلية في Lean 4 مع Mathlib (المستودع openai/NavierStokesAndEuler، رخصة Apache-2.0) تغطي عدم وجود حل أملس شامل بطاقة محدودة على R³ وعلى الطارة.
النتائج
لكل \(\nu\gt 0\): حل أملس ذو دعم متراص وطاقة منتهية من السكون مع \(\|u(t)\|_{L^\infty}\to\infty\) عندما \(t\uparrow1\)، تحت قوة \(f\in C_c^\infty(\mathbb R^3\times(0,\infty))\). المقاييس الرئيسية: حجم النواة \(\asymp\tau^{3/2-h}\)، الطاقة الحركية للنواة \(\asymp\tau^{1/2-3h}\to0\) مع سرعة غير محدودة؛ عددا رينولدز \(\mathrm{Re}_\theta\asymp\tau^{-h}\to\infty\) و\(\mathrm{Re}_r=O(1)\)؛ المعدلات |\(u_r\)|/ℓ_r، |\(u_z\)|/ℓ_z، \( u\)/ℓ_r² كلها \(\asymp\tau^{-1}\)، والانتشار المحوري أضعف بعامل \(\tau^{2h}\). النتيجة 10.6: النقل إلى T³. يُدّعى حسم البديلين (C) و(D) لفيفرمان. وتبلّغ OpenAI إضافة عن انفجار لمعادلات أويلر غير المدفوعة (عمل منفصل، ~100 وكيل، ~50 ساعة). بحسب OpenAI: ~10,000 وكيل منسق، 88 ساعة حتى الحل، 17 ساعة للصياغة والتحقق في Lean، 2.7 مليون رسالة، ~130 مليار رمز إخراج لهذه المسألة.
الأهمية
أول مثال على انفجار في زمن منتهٍ لمعادلات نافييه–ستوكس ثلاثية الأبعاد الكاملة بلزوجة حقيقية وقوة ملساء، من السكون وبطاقة منتهية. الآلية ليست «تغلبًا» على اللزوجة بل إدماجها في توازن ذاتي التشابه بعدد رينولدز دوراني متباعد. يُبيَّن بنائيًا أن الحد اللاخطي نفسه قادر على توفير الإجهاد الناقص عبر التدفقات التربيعية المتوسطة للاهتزازات، أي أن إجهاد رينولدز يعمل أداة قابلة للتحكم لا عائقًا. للمسألة (A)/(B) لا تعطي النتيجة جوابًا مباشرًا: القوة جوهرية والطاقة تُحقن من الخارج. لكنها تزحزح الحد: يصير سؤال الانفجار دون قوة سؤالًا عمّا إذا كان إجهاد مماثل يمكن أن ينشأ من المعطيات الابتدائية وحدها دون ضخ. وذو دلالة منفردة الواقع المنهجي: برهان من 166 صفحة جُمّع من أدوات معروفة بنظام وكلاء وتُحقق منه شكليًا؛ هذه أول نتيجة بهذا الوزن تُنشر دون توقيع بشري.
التطور المستقبلي
اتجاهات طبيعية: محاولة نقل البناء إلى الحالة غير المدفوعة باستبدال الضخ بطاقة مخزونة في المعطيات الابتدائية؛ دراسة استقرار البناء تحت الاضطرابات وحجم h؛ توضيح عددي للجريان المبني؛ عرض بشري مستقل للأقسام 4–9؛ مقارنة بنهج باكماستر–ألبوغه لمعرفة أي الأجزاء تتطابق جوهريًا. للمعادلات ناقصة التبديد والنموذجية ستبسّط النتيجة على الأرجح البناءات القائمة. ويبقى مفتوحًا هل مثل هذا الضخ قابل للتحقق فيزيائيًا: القوة رياضية، متراصة وملساء، لكن نظيرها الفيزيائي لا يُناقش.
التأثير
ديناميكا الموائع الرياضية (الانتظام، الحلول الضعيفة، التكامل المحدب)، نظرية عدم استقرار الدوامات، التحقق الشكلي من الرياضيات، منهجية البحث بالذكاء الاصطناعي. وبصورة غير مباشرة ديناميكا الموائع الحسابية: يوفر البناء حالة اختبار دقيقة للتركيز بسرعة متباعدة وطاقة متلاشية.
الخطوات التالية
قراءة القسم 2 (الصورة الفيزيائية) والقسم 3 (المخطط) من الأصل؛ مقابلة الشروط (4)–(7) بصياغة فيفرمان؛ الاطلاع على مستودع Lean وملف README فيه؛ قراءة تدوينة تاو في 7 سبتمبر عن أعمال باكماستر–ألبوغه ومسودات كوردوبا–مارتينيث-ثوروا (arXiv:2309.08495، 2410.22920).
المسائل المفتوحة الرئيسية
مسألة الألفية عن وجود حلول نافييه–ستوكس وسلاستها: البديلان (C) و(D) محسومان، و(A) و(B) مفتوحان. ذات صلة: انتظام أويلر (تبلّغ OpenAI عن انفجار دون قوة؛ وباكماستر–ألبوغه عن انفجار بقوة ملساء)، معيار بيل–كاتو–مايدا، الانفجار المُخمَّن لأويلر في زمن منتهٍ من معطيات ملساء (شواهد لو–هو العددية، برهان تشن–هو مع حد).
نظرة آلة المعرفة
هذا القسم موجَّه إلى مؤلف العمل وزملائه. الأعمال المجاورة عثر عليها بحثٌ دلالي في أرشيفنا، لا بتطابق الكلمات. نحن لا نقيّم العمل: نعرض الحقل من حوله.
ماذا يفعل هذا العمل
بُني جريان تصبح سرعته لانهائية في زمن منتهٍ تحت قوة خارجية ملساء، من السكون وبطاقة منتهية: يسكن التفرّد إبرةً تنكمش أسرع مما تتسارع، والقوة الناقصة يوفرها المائع نفسه عبر الإجهاد المتوسط لنبضات اهتزازية. اللزوجة لم تُكبت بل أُدمجت في توازن ذاتي التشابه. هذا عندنا ليس جوابًا عن البديلين (C) و(D) في صياغة فيفرمان فحسب، بل أول مثال مبني بصرامة على تفرّد موضعي لوسط متصل بطاقة منتهية: شيء يمكن مواصلة العمل عليه.
أين تكمن قوته
الآلية صريحة بالكامل: دوامة إبرية، حلقة، عائلتان من النبضات، خارج حراري. أي أنه يمكن لا البرهنة عليها فحسب بل نقلها: حساب متريتها الفعّالة، والسؤال عما تفعله بها اللزوجة المتلاشية، ومحاولة إعادة إنتاجها في المختبر. الأعمال ذات البناء الصريح نادرة، وهنا تكمن القيمة تحديدًا.
إلى أين يمكن المضي
- الصلة بالنسبية العامة. منذ 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 كاملة بالدعوم والتقديرات، أم نتيجتها عن عدم الوجود؟
باقي الخلفية في حلقة الوصل يتباعد ولا يمكن إصلاحه بقوة خارجية. أصلحه المائع: اهتزازات متوسط سرعتها صفر تنقل الزخم في اتجاه واحد، وهذا النقل مركّب بالضبط تحت الثغرة. ما تسميه نظرية الاضطراب عائقًا صار أداة.
أرقام رئيسية
- اللزوجة ν: أي قيمة، \(\nu\gt 0\)
- لحظة الانفجار: \(t=1\)، انطلاق من السكون u(·,0) = 0
- نصف قطر النواة: \(\sim\tau^{1/2}\)، \(\tau=1-t\)
- ارتفاع النواة: \(\sim\tau^{1/2-h}\)، \(h\lt 1/100\)
- السرعة في النواة: \(\sim\tau^{-1/2-h}\) → ∞
- طاقة النواة: \(\sim\tau^{1/2-3h}\) → 0
- عدد رينولدز الدوراني: \(\sim\tau^{-h}\to\infty\)
- حجم العمل: 166 صفحة + صياغة شكلية في Lean
- عدد الوكلاء في المجموعة: ≈ 10,000، 88 ساعة
- التحقق في Lean: 17 ساعة؛ 2.7 مليون رسالة، ≈130 مليار رمز
خذ العمل كاملاً
لم يُنشر على arXiv. هنا صفحته وملف PDF والصياغة الشكلية: يمكنك التحقق بنفسك، لا مجرد قراءة تحليلنا.