هوش مصنوعی حالا به سراغ مسائلی رفته که برخی از آن‌ها سال‌ها ذهن ریاضی‌دانان را درگیر کرده‌اند. OpenAI می‌گوید مدل جدید و هنوز عرضه‌نشده این شرکت توانسته برای صدها مسئله حل‌نشده ریاضی راه‌حل‌هایی ارائه کند؛ دستاوردی بزرگ که نتیجه آن در قالب ۷۲۲ دست‌نوشته و ۳۷۲ خانواده پژوهشی منتشر شده و حالا توجه جامعه ریاضیات را به خود جلب کرده است.
دستاوردهای جدید OpenAI در حل مسائل ریاضی
OpenAI اعلام کرده است که یک مدل مرزی و هنوز عرضه‌نشده این شرکت توانسته برای شماری از مسائل دیرینه ریاضیات راه‌حل‌هایی ارائه کند. مجموعه منتشرشده شامل ۷۲۲ دست‌نوشته است که در قالب ۳۷۲ خانواده نتیجه دسته‌بندی شده‌اند. هر خانواده شامل گروهی از مقالات و نتایج مرتبط با یکدیگر است.
این دستاوردها تازه‌ترین نمونه از پیشرفت سریع مدل‌های هوش مصنوعی در حوزه ریاضیات محسوب می‌شوند. بااین‌حال، انتشار چنین نتایجی در کنار استقبال برخی پژوهشگران، نگرانی‌هایی را نیز درباره شیوه استفاده از هوش مصنوعی در تحقیقات دانشگاهی، اعتبارسنجی نتایج و اخلاق پژوهش ایجاد کرده است.
بر اساس اعلام AGMAI، گروه مشورتی مستقل و تازه‌تأسیسی متشکل از ریاضی‌دانان برجسته که برای کمک به انتشار مسئولانه دستاوردهای هوش مصنوعی در ریاضیات تشکیل شده است، مجموعه جدید راه‌حل‌هایی برای «صدها» پرسش حل‌نشده ارائه می‌کند.
مدل جدید OpenAI چه میزان پردازش انجام داده است؟
انتشار این نتایج از چند هفته قبل مورد انتظار بود، اما OpenAI تا پیش از این جزئیات دقیقی درباره مسائلی که مدل موفق به حل آن‌ها شده بود یا زمان انتشار نتایج ارائه نکرده بود.
این شرکت در ماه سپتامبر اعلام کرده بود که مدل هوش مصنوعی آن توانسته بیش از ۱۰۰ مسئله قدیمی و حل‌نشده را در شاخه‌های مختلف ریاضیات حل کند.
اکنون در کنار مقالات، اطلاعات بیشتری درباره نحوه دستیابی مدل به نتایج منتشر شده است. این اطلاعات شامل بخش‌هایی از روند استدلال مدل، برآورد میزان توان محاسباتی مصرف‌شده و تعداد مسائلی است که توسط سیستم مورد بررسی قرار گرفته‌اند.
OpenAI می‌گوید تولید هر نتیجه به‌طور متوسط به میزان پردازشی معادل حدود سه ساعت تفکر در ChatGPT Pro نیاز داشته است؛ موضوعی که نشان می‌دهد دستیابی به این نتایج به توان محاسباتی قابل‌توجهی نیاز دارد.
توصیه ریاضی‌دانان به شرکت‌های هوش مصنوعی
گروه AGMAI، مخفف «گروه مشورتی ریاضیات و هوش مصنوعی»، نخستین مجموعه توصیه‌های خود را در اواخر سپتامبر منتشر کرد.
این گروه از آزمایشگاه‌های هوش مصنوعی خواسته است یافته‌های ریاضی تولیدشده توسط مدل‌های خود را در سریع‌ترین زمان ممکن و در صورت امکان، از طریق مسیرهای شناخته‌شده و تثبیت‌شده دانشگاهی منتشر کنند.
به اعتقاد اعضای این گروه، شرکت‌ها باید اطلاعاتی مانند نام مدل مورد استفاده، دستورهای ارائه‌شده به مدل و میزان منابع محاسباتی مصرف‌شده را نیز در اختیار جامعه علمی قرار دهند تا امکان بررسی مستقل نتایج فراهم شود.
AGMAI همچنین از شرکت‌های هوش مصنوعی خواسته است از تبدیل دستاوردهای ریاضی به ابزاری صرفاً تبلیغاتی برای معرفی مدل‌های جدید خودداری کنند. به باور این گروه، چنین رویکردی می‌تواند آسیب قابل‌توجهی به جامعه ریاضیات وارد کند.
OpenAI نتایج را در گیت‌هاب منتشر می‌کند
OpenAI اعلام کرده است که در مرحله فعلی، نتایج این پروژه را از طریق یک مخزن گیت‌هاب منتشر می‌کند و دستورالعمل‌هایی نیز برای بررسی مقالات و نحوه ارجاع به آن‌ها در نظر گرفته شده است.
این شرکت می‌گوید همچنان در حال بررسی روش‌های دیگری برای انتشار نتایج با میزبانی جامعه علمی است؛ روش‌هایی که بتوانند معیارهای تعیین‌شده برای انتشار مسئولانه این یافته‌ها را رعایت کنند.
OpenAI همچنین قصد دارد در انتشارهای آینده کیفیت مقالات را از طریق اصلاح ارجاع‌ها، ارائه توضیحات ریاضی کامل‌تر و بهبود نحوه ارائه نتایج افزایش دهد. هدف از این تغییرات، فراهم کردن شرایطی است که پژوهشگران بتوانند نتایج تولیدشده توسط مدل‌های هوش مصنوعی را راحت‌تر بررسی، درک و اعتبارسنجی کنند.
واکنش جامعه ریاضیات به دستاوردهای OpenAI
برای مشخص شدن اهمیت واقعی این دستاوردها احتمالاً باید منتظر بررسی دقیق ریاضی‌دانان مستقل ماند. انتشار صدها دست‌نوشته به این معناست که بررسی و اعتبارسنجی کامل نتایج می‌تواند فرایندی زمان‌بر باشد.
این یافته‌ها به مجموعه روبه‌رشد نتایج ریاضی تولیدشده توسط OpenAI و دیگر آزمایشگاه‌های هوش مصنوعی اضافه می‌شوند. شرکت‌هایی مانند Anthropic نیز روی افزایش توانایی مدل‌های هوش مصنوعی در استدلال و حل مسائل پیشرفته ریاضی کار می‌کنند.
ورود سریع شرکت‌های هوش مصنوعی به حوزه ریاضیات، در کنار فرصت‌های علمی قابل‌توجه، بحث‌هایی جدی درباره اخلاق پژوهش، نحوه اعلام دستاوردها و چگونگی اعتباردهی به ریاضی‌دانان انسانی ایجاد کرده است.
بخش قابل‌توجهی از دانش مدل‌های هوش مصنوعی بر پژوهش‌ها و منابع علمی موجود استوار است و همین مسئله پرسش‌هایی را درباره نحوه استفاده از آثار پژوهشگران، ارجاع به تحقیقات قبلی و سهم ریاضی‌دانان انسانی در تولید نتایج جدید مطرح می‌کند.
در نهایت، ارزش علمی دستاوردهای جدید OpenAI زمانی روشن‌تر خواهد شد که ریاضی‌دانان مستقل بتوانند اثبات‌ها و نتایج ارائه‌شده را بررسی و اعتبارسنجی کنند. بااین‌حال، انتشار چنین مجموعه گسترده‌ای نشان می‌دهد رقابت شرکت‌های هوش مصنوعی دیگر تنها به تولید متن، تصویر یا کدنویسی محدود نیست و حل مسائل پیچیده علمی و ریاضی نیز به یکی از مهم‌ترین میدان‌های توسعه مدل‌های نسل بعدی تبدیل شده است.
دیدگاه‌ها