اپنایآی مدعی حل یکی از سختترین مسائل ریاضی جهان شد؛ ریاضیدانها اعتراض کردند
اپنایآی مدعی شده یکی از مدلهای هوش مصنوعی جدید این شرکت توانسته مسئله «ناویر–استوکس» را حل کند؛ یکی از هفت مسئله هزاره که از مشهورترین مسائل حلنشده ریاضیات به شمار میرود و برای حل هرکدام یک میلیون دلار جایزه تعیین شده است.
این شرکت میگوید حدود ۱۰ هزار ایجنت هوش مصنوعی در یک فرایند ۸۸ ساعته روی مسئله ناویر–استوکس کار کردهاند و در نهایت به یک راهحل ریاضی رسیدهاند. اپنایآی همچنین اعلام کرده این راهحل بهصورت رسمی با استفاده از ابزار Lean بررسی و صورتبندی شده است.
با این حال، ادعای اپنایآی با واکنش و تردید برخی ریاضیدانها مواجه شده است. منتقدان درباره اعتبار راهحل ارائهشده و میزان اتکای آن به پژوهشهای قبلی پرسشهایی مطرح کردهاند و معتقدند برای پذیرفته شدن چنین ادعایی، راهحل باید توسط متخصصان مستقل بررسی شود.
مسئله ناویر–استوکس به معادلاتی مربوط میشود که رفتار جریان سیالاتی مانند آب و هوا را توصیف میکنند. چالش اصلی این مسئله آن است که مشخص شود آیا این معادلات در سه بعد همیشه دارای راهحلهای صاف و منظم هستند یا ممکن است در شرایطی خاص به نقطهای برسند که مقادیر آنها به بینهایت میل کند.
اپنایآی نیز فعلاً ادعای خود را بهعنوان حل رسمی این مسئله مطرح نکرده و قصد دریافت جایزه یک میلیون دلاری آن را ندارد. بنابراین تا زمان بررسی و تأیید مستقل این اثبات، دقیقتر است که از آن بهعنوان یک «ادعای حل مسئله» یاد کنیم، نه حل قطعی یکی از مسائل هزاره.