OpenAI مدعی حل مسئله هزاره ناویر–استوکس با مدل‌های هوش مصنوعی شد

شرکت OpenAI اعلام کرده است که مدل‌های هوش مصنوعی این شرکت موفق شده‌اند یکی از مسائل هزاره، یعنی مسئله وجود و همواری ناویر–استوکس، را حل کنند؛ موضوعی که در صورت تأیید، رخدادی مهم در دنیای ریاضیات به شمار می‌رود.

مسائل هزاره مجموعه‌ای از هفت مسئله پیچیده ریاضی هستند که در سال ۲۰۰۰ از سوی انجمن ریاضی Clay معرفی شدند. برای حل هر یک از این مسائل، جایزه‌ای یک میلیون دلاری در نظر گرفته شده است. طبق یادداشت خبرنگار، تاکنون تنها یکی از این هفت مسئله، یعنی حدس پوانکاره، در سال ۲۰۱۰ توسط ریاضی‌دان روسی گریگوری پرلمان حل شده، اما او دریافت جایزه را نپذیرفته است.

مسئله وجود و همواری Navier–Stokes به معادلاتی مربوط است که حرکت سیالات، از جمله آب و هوا، را توصیف می‌کنند و در حوزه‌هایی مانند پیش‌بینی آب‌وهوا و آیرودینامیک هواپیما کاربرد دارند. یکی از مسیرهای حل این مسئله، رد آن از طریق اثبات وقوع تکینگی در شرایط اولیه هموار و معقول است؛ به این معنا که پس از گذشت زمانی مشخص، سرعت یا تراکم سیال به بی‌نهایت میل کند.

بر اساس این یادداشت، مدل‌های OpenAI در مدت ۸۸ ساعت شرایطی را پیدا کرده‌اند که این معادلات دچار نقض می‌شوند و اثبات آن نیز منتشر شده است.

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

طبق همین روایت، محققان OpenAI برای حل این مسئله از مدل نسل بعدی این شرکت استفاده کرده‌اند؛ مدلی که هنوز در دسترس عموم نیست و چندین برابر قوی‌تر از GPT-6 Astra توصیف شده است. همچنین گفته شده بیش از ۱۰ هزار ایجنت و توان محاسباتی عظیم، با هزینه‌ای چند میلیون دلاری، برای این کار به‌کار گرفته شده و در نهایت راه‌حلی در ۸۸ ساعت به دست آمده است.