ناویر–استوکس پارت سوم
در دو پارت قبل دیدیم معادلات ناویر–استوکس چه چیزی را توصیف می‌کنند و چرا یکی از مهم‌ترین مسائل ریاضی به آن‌ها مربوط است.
اما حالا برسیم به خبر جنجالی: OpenAI ادعا کرده مسئله ناویر–استوکس را حل کرده است.

اما دقیقاً چه اتفاقی افتاده؟

مسئله اصلی این بود:
اگر یک سیال سه‌بعدی را با شرایط اولیه کاملاً منظم شروع کنیم، آیا این نظم همیشه حفظ می‌شود؟
یا ممکن است در یک زمان محدود، سرعت جریان به سمت بی‌نهایت برود و یک تکینگی (Singularity) ایجاد شود؟

OpenAI
می‌گوید سیستم هوش مصنوعی این شرکت توانسته سناریویی ریاضی پیدا و اثبات کند که در آن چنین تکینگی‌ای رخ می‌دهد.
ایده اصلی حول گردابه‌ها (Vortex) می‌چرخد؛ ساختارهایی در سیال که می‌توانند هم‌زمان کشیده و فشرده شوند و باعث افزایش شدید سرعت شوند.
نکته جالب اینجاست که ویسکوزیته، که معمولاً تمایل دارد جریان را آرام و صاف کند، در این سناریو نمی‌تواند جلوی این رشد را بگیرد.
OpenAI
همچنین اعلام کرده که بخش‌هایی از این برهان را به‌صورت رسمی در Lean بررسی کرده است یعنی برهان فقط یک متن معمولی نیست و می‌توان برخی مراحل آن را با یک سیستم اثبات‌گر صوری بررسی کرد.

اما یک نکته مهم:

اعلام کردن حل مسئله با جامعه ریاضی رسماً راه‌حل را پذیرفته یکی نیست.
چنین ادعای بزرگی نیاز به بررسی مستقل و دقیق ریاضی دارد.
اگر این نتیجه تأیید شود، داستان فقط درباره ناویر–استوکس نیست بلکه می‌تواند نشان دهد هوش مصنوعی قادر است در حل مسائل عمیق ریاضی، از محاسبه فراتر برود و در کشف و ساخت برهان هم نقش داشته باشد.
در پارت بعد، می‌ریم سراغ خود ایده ریاضی این برهان و می‌بینیم این گردابه چطور می‌تواند به سمت یک تکینگی حرکت کند.
┏━━━━━
🌐 @Amar_kadeh 📊
┗━━━━━━━━━━