حل مسئله ناویر-استوکس توسط OpenAI؛ جهشی بی‌سابقه در ریاضیات با هوش مصنوعی

در یک رویداد بی‌سابقه در دنیای پژوهش، شرکت OpenAI اعلام کرده است که گروهی متشکل از حدود ۱۰ هزار ایجنت هوش مصنوعی موفق شده‌اند به یکی از پیچیده‌ترین معماهای ریاضی جهان، یعنی مسئله ناویر-استوکس، پاسخ دهند. این فرآیند که با سرعت و مقیاسی غیرقابل تصور انجام شد، اکنون بحث‌های داغی را در میان جامعه ریاضی‌دانان برانگیخته است.

ساختار عملیات هوش مصنوعی: سازمان پژوهشی خودمختار

برخلاف روش‌های سنتی که در آن محققان به صورت انفرادی یا در تیم‌های کوچک کار می‌کنند، این پروژه با رویکردی کاملاً موازی اجرا شد. ایجنت‌های هوش مصنوعی به خوشه‌های مختلفی تقسیم شده بودند که قابلیت‌های زیر را داشتند:

• تبادل پیام‌های مستمر برای هماهنگی ایده‌ها
• نوشتن و اجرای کدهای پیچیده ریاضی
• نقد فرضیه‌ها و انتقال یافته‌های موفق به سایر گروه‌ها

طبق گزارش منتشر شده، این عملیات تنها در ۸۸ ساعت انجام شد که منجر به تولید ۱۳۰ میلیارد توکن و تبادل ۲٫۷ میلیون پیام درون‌شبکه‌ای گردید. نتیجه این تلاش، یک اثبات ریاضی بسیار مفصل و ۱۶۵ صفحه‌ای است.

مسئله ناویر-استوکس؛ معمای یک میلیون دلاری

مسئله ناویر-استوکس یکی از هفت مسئله هزاره است که برای حل آن جایزه یک میلیون دلاری تعیین شده است. این مسئله به بررسی رفتار سیالات (مایعات و گازها) می‌پردازد و این پرسش اساسی را مطرح می‌کند که آیا سرعت یک سیال در یک نقطه می‌تواند بدون محدودیت به سمت بی‌نهایت میل کند یا خیر.

در واقع، ریاضی‌دانان به دنبال یافتن تکینگی (Singularity) هستند؛ یعنی وضعیتی که در آن نیروهای بازدارنده مانند گران‌روی (Viscosity) نتوانند جلوی افزایش بی‌رویه سرعت در یک ناحیه کوچک را بگیرند.

«OpenAI مدعی است که نمونه‌ای از یک جریان که در زمان محدود به تکینگی می‌رسد، طراحی و اثبات کرده است.»

استراتژی حل: از گردابه‌ی اسپاگتی تا نوسانات ریز

هوش مصنوعی برای رسیدن به این هدف، از یک مدل ساختاری خاص استفاده کرده است. این مدل بر پایه ایجاد یک گردابه‌ی اسپاگتی‌شکل بنا شده که مدام باریک‌تر و کشیده‌تر می‌شود. با کوچک شدن ابعاد این گردابه، سرعت چرخش آن به شدت افزایش می‌یابد.

یکی از چالش‌های اصلی، خنثی کردن خطاهای باقی‌مانده (Residual) در معادلات بود. ایجنت‌های هوش مصنوعی با استفاده از ماهیت غیرخطی معادلات، نوسانات بسیار ریزی را به جریان اضافه کردند. این نوسانات، با وجود داشتن میانگین صفر، در بخش‌های غیرخطی معادله اثری واقعی ایجاد کرده و اجازه می‌دهند سرعت به سمت بی‌نهایت میل کند بدون اینکه انرژی کل سیستم از کنترل خارج شود.

تأیید منطقی و تردیدهای علمی

پس از تدوین اثبات، فرآیند فرمالیزاسیون در محیط Lean انجام شد. دستیار اثبات Lean طی ۱۷ ساعت، صحت منطقی گام‌های استدلال را تأیید کرد. با این حال، این به معنای پذیرش نهایی توسط جامعه علمی نیست.

در حال حاضر، مؤسسه Clay هنوز این مسئله را در فهرست حل‌نشده‌ها نگه داشته است. برخی از پژوهشگران سوالاتی جدی را مطرح کرده‌اند:

1. آیا هوش مصنوعی واقعاً بینش جدیدی خلق کرده یا صرفاً یافته‌های قبلی را بازآرایی کرده است؟
2. آیا تعاریف استفاده شده توسط ایجنت‌ها دقیقاً با استانداردهای مسئله هزاره مطابقت دارد؟

نتیجه‌گیری نهایی

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