شرکت OpenAI میگوید مدل هوش مصنوعی جدیدش در کمتر از یک ماه ۱۰۰ مسئله ریاضی را حل کرده است
پس از آنکه یک مدل هوش مصنوعی منتشرنشده از OpenAI توانست مسئله ۹۰ ساله ناویر–استوکس، یکی از مسائل جایزه هزاره، را حل کند، این شرکت اکنون اعلام کرده که همان مدل طی کمتر از یک ماه بیش از ۱۰۰ مسئله دیرینه و حلنشده ریاضی را حل نموده است.
مدلهای هوش مصنوعی با سرعت زیادی در حال پیشرفت هستند. OpenAI اوایل همین ماه اعلام کرده بود که یک مدل داخلی و هنوز منتشرنشده توانسته مسئله ناویر–استوکس را حل کند؛ مسئلهای که حدود ۹۰ سال قدمت دارد. حالا این شرکت میگوید همان سامانه بیش از ۱۰۰ مسئله قدیمی ریاضی را نیز حل کرده است. طبق توضیحات OpenAI، آموزش این مدل کمتر از یک ماه پیش آغاز شده بود.
OpenAI در یک پست وبلاگی توضیح داد که فرایند آموزش این مدل منتشرنشده از ۲۸ آگوست آغاز شده. این سامانه در مدت کمتر از یک ماه توانسته بیش از ۱۰۰ مسئله باز را در بخش عمدهای از حوزههای ریاضیات حل کند. این شرکت میگوید سرعت پیشرفت مدل حتی ریاضیدانان داخل OpenAI را نیز شگفتزده کرده و همین موضوع به بحثهای داخلی درباره نحوه اطلاعرسانی به جامعه گستردهتر ریاضی منجر شده است.
تشکیل گروه مشورتی جدید برای ریاضیات
OpenAI در واکنش به این شرایط از تشکیل یک گروه مشورتی مستقل خبر داده است. این نهاد با عنوان گروه مشورتی ریاضیات و هوش مصنوعی فعالیت خواهد کرد و میزبانی آن بر عهده مؤسسه مطالعات پیشرفته در پرینستون ایالت نیوجرسی خواهد بود.
به گفته OpenAI، ایجاد این گروه پس از آن صورت گرفت که گروهی از ریاضیدانان در نامهای سرگشاده با عنوان ناهماهنگی شدید هوش مصنوعی در ریاضیات، درباره پیامدهای استفاده از مسائل حلنشده بهعنوان معیار سنجش سامانههای جدید هوش مصنوعی هشدار دادند. OpenAI در این زمینه گفت:
این گروه پلی میان جامعه ریاضیات و عموم مردم خواهد بود و به ریاضیدانان امکان میدهد در تصمیمگیری درباره مسیر پیشرو نقش داشته باشند.
بر اساس توضیحات این شرکت، گروه مشورتی وظیفه خواهد داشت نتایج جدید و نوظهور را بررسی و درباره آنها اطلاعرسانی کند و در عین حال میزان اهمیت این دستاوردها را ارزیابی کند. اعضای گروه همچنین درباره استانداردهای دانشگاهی و حرفهای در پژوهشهای ریاضی به OpenAI مشاوره خواهند داد.
OpenAI اعلام کرده که این گروه به شکل مستقل فعالیت میکند و اعضای آن میتوانند حتی بدون درخواست شرکت، توصیههایی ارائه دهند یا درباره تأثیر OpenAI بر ریاضیات بهصورت عمومی اظهارنظر کنند. آنها همچنین اختیار دارند دیدگاههای خود را علنی کنند.
اعضای این گروه از OpenAI دستمزدی دریافت نخواهند کرد و میتوانند درباره ترکیب اعضا تصمیم بگیرند و آن را تغییر دهند. با این حال، این نهاد در هیچ شرکت فعال در حوزه هوش مصنوعی اختیار تصمیمگیری نخواهد داشت. اعضای اولیه شامل نیکیل سریواستاوا از دانشگاه کالیفرنیا، برکلی، راوی واکیل از دانشگاه استنفورد و ملانی مچت وود از دانشگاه هاروارد، در کنار چند عضو دیگر هستند.
اختلاف بر سر ادعای حل مسئله ناویر–استوکس
ادعای OpenAI درباره حل بخشی از مسئله چند دههای ناویر–استوکس با واکنشها و انتقادهایی نیز همراه شده است. این شرکت در زمان اعلام این دستاورد گفت بیش از ۱۰ هزار عامل هوش مصنوعی پس از ۸۸ ساعت فعالیت و تبادل نزدیک به ۳ میلیون پیام، به راهحلی برای این مسئله دست یافتهاند. این فرایند همچنین از حدود ۱۳۰ میلیارد توکن خروجی استفاده کرده بود.
تریستان باکمستر، ریاضیدان دانشگاه نیویورک، اعلام کرد که او و لِونت آلپوگ، پژوهشگر شرکت Anthropic، نیز با استفاده از ابزار Codex متعلق به OpenAI روی همین مسئله کار میکردند. باکمستر گفت: متوجه شدم اطلاعات مربوط به پیشرفت ما به OpenAI منتقل شده است.
او در ادامه درباره زمانبندی و شیوه عملکرد این شرکت پرسشهایی مطرح کرد. OpenAI در پاسخ توضیح داد که پیش از انتشار عمومی کار باکمستر و آلپوگ، به پژوهش آنها دسترسی نداشته است. با این حال، شرکت افزود که نمیتواند احتمال تأثیرگذاری دادههای محصولی که هویت کاربران در آن حذف شده است بر بهبود مدلهای خود را بهطور کامل رد کند.
این تحولات همزمان با افزایش بحثها درباره ضرورت قانونگذاری در حوزه هوش مصنوعی رخ داده. نگرانیهایی نیز وجود دارد مبنی بر اینکه هوش مصنوعی در صورت توسعه بدون محدودیت میتواند تهدیدی برای بقای انسان باشد. OpenAI نیز از جمله شرکتهایی است که از کندتر شدن روند توسعه این فناوری حمایت کرده است.
