ادعای OpenAI درباره حل معمای ۹۰ ساله ناویر-استوکس با هوش مصنوعی

جریان آنلاین: OpenAI روز شنبه پنجم سپتامبر اعلام کرد سیستم داخلی این شرکت توانسته است برای مسئله «وجود و همواری» ناویر-استوکس، یکی از هفت مسئله حل‌نشده جایزه هزاره مؤسسه کلی، راه‌حلی تحلیلی و صورت‌بندی رسمی آن را در زبان Lean تولید کند.

این معادلات که به توصیف حرکت سیالات شامل مایعات و گازها می‌پردازند، از قرن نوزدهم توسط کلود-لویی ناویر و جورج گابریل استوکس مطرح شده‌اند و ژان لره در سال ۱۹۳۴ نشان داد که این معادلات در معنایی تعمیم‌یافته دارای جواب هستند، اما پرسش درباره هموار ماندن جواب‌ها همچنان حل‌نشده باقی مانده بود.

بر اساس توضیحات OpenAI، راه‌حل ارائه‌شده نشان می‌دهد که سیالی که در ابتدا در حالت سکون و هموار قرار دارد، می‌تواند تحت تأثیر نیرویی هموار در زمانی متناهی به تکینگی برسد، در حالی که انرژی آن محدود باقی می‌ماند.

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

OpenAI برای دستیابی به این نتیجه از سیستمی متشکل از هزاران ایجنت هوش مصنوعی استفاده کرده است که به ابزارهایی مانند نسخه ذخیره‌شده اینترنت و ابزار اجرای کد دسترسی داشتند. گروهی که روی مسئله ناویر-استوکس کار کرد، در اوج فعالیت حدود ده هزار ایجنت همزمان داشت.

این فرایند از اول سپتامبر و پس از شنیدن شایعاتی درباره حل دو مسئله جایزه هزاره آغاز شد و ایجنت‌ها روز پنجم سپتامبر، حدود هشتاد و هشت ساعت پس از آغاز پروژه، به راه‌حل رسیدند. صورت‌بندی و راستی‌آزمایی اثبات در Lean نیز با استفاده از مدل GPT-6 Astra حدود هفده ساعت دیگر زمان برد. در مجموع، ایجنت‌ها در تمام پروژه‌ها ۴.۹ میلیون پیام و حدود ۳۰۰ میلیارد توکن خروجی تولید کردند.

این ادعا با حاشیه‌هایی درباره نزدیک بودن دو محقق به نام‌های تریستان باک‌مستر از دانشگاه نیویورک و لِوِنت آلپوگه از آنتروپیک به این کشف همراه شده است. OpenAI تأکید کرده پروژه خود را مستقل از کار این دو پژوهشگر پیش برده و پس از اطلاع از نزدیک بودن آن‌ها به نتیجه، پیشنهاد انتشار مشترک را مطرح کرده اما متوجه شده است پژوهش آن‌ها به حل مسئله «اویلر اجباری» مربوط بوده نه همان مسئله‌ای که OpenAI حل کرده است.

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

پایگاه خبری جریان/ جریان آنلاین