OpenAI راهکار ۳۷۲ مسئله دشوار ریاضی را در گیت‌هاب منتشر کرد — خلاصه خب
شرکت OpenAI ماه گذشته با انتشار راهکارهای ۳۷۲ مسئله دشوار ریاضی در گیت‌هاب، تلاش کرد تا توانایی مدل‌های زبانی را در استدلال‌های پیچیده به رخ بکشد. این دستاورد که بر پایه ۷۲۲ دست‌نوشته استوار است، از یک مدل پیشگام و منتشرنشده ChatGPT بهره می‌برد تا مرزهای هوش مصنوعی در ریاضیات را جابه‌جا کند. این اقدام نشان می‌دهد مدل‌های جدید این شرکت اکنون قادرند مسائل بنیادین ریاضی را با دقت بالایی تحلیل کنند.
مخزن GitHub و ۷۲۲ دست‌نوشته ریاضی
نتایجی که در گیت‌هاب قرار گرفته‌اند، حاصل عملکرد مدل‌های جدید OpenAI و مورد تأیید یک گروه مشورتی هستند. این شرکت برای انتشار داده‌ها، توصیه‌های گروه مشورتی مستقل ریاضیات و هوش مصنوعی (AGMAI) را ملاک قرار داد.
دستورالعمل‌های AGMAI بر انتشار سریع نتایج از طریق کانال‌های آکادمیک و ذکر جزئیاتی مثل نام مدل و هزینه‌های پردازشی تأکید داشت. با این حال، OpenAI در بیانیه‌اش اعتراف کرد که برخی خواسته‌های هیئت مدیره نادیده گرفته شده است؛ برای مثال، زمان دقیق پردازش هر مسئله و پرامپت‌های دقیق مورد استفاده در این مخزن نیامده است.
ما نتایج این نسخه را در مخزن GitHub منتشر می‌کنیم و پروتکل‌های مربوط به بازبینی و ارجاع مقالات را در نظر گرفته‌ایم.
پیشرفت‌های این مدل در حوزه‌هایی نظیر حدس ریمان و حدس Kakeya چهاربعدی دیده می‌شود. گزارش‌ها حاکی از آن است که اکثر این مقالات تنها با ارسال یک دستور ساده به یک Agent هوش مصنوعی خلق شده‌اند.
استفاده از چنین مدل‌هایی در دنیای گجت‌ها و ابزارهای مدرن می‌تواند تجربه کاربران را دگرگون کند؛ درست مثل تسهیلاتی که برای خرید اسکوتر در تهران برای دانشجویان و جوانان در نظر گرفته شده تا دسترسی به تکنولوژی راحت‌تر شود.
اندرو سادرلند و چالش تایید نتایج
OpenAI ماه گذشته مدعی شده بود مدل‌هایش توانسته‌اند بیش از ۱۰۰ مسئله دشوار و قدیمی ریاضی را حل کنند و حالا با انتشار ۳۷۲ راهکار جدید، این ادعا را گسترش داده است.
بر اساس داده‌های منتشر شده، رسیدن به هر یک از این نتایج به‌طور میانگین سه ساعت زمان برده است؛ زمانی که مربوط به استفاده از نسخه ChatGPT Pro است.
اما جامعه ریاضی‌دانان هنوز با تردید به این دستاوردها نگاه می‌کنند. جنجال‌های قبلی پیرامون معادلات Navier-Stokes باعث شده تا دانشمندان این بار سخت‌گیرتر باشند.
اندرو سادرلند، ریاضی‌دان دانشگاه MIT، در گفتگو با Scientific American نظرش را این‌گونه بیان کرد:
تا زمانی که مدل منتشر نشود و دیگران بتوانند نتایج را بازتولید کنند، هرگونه ادعا درباره حل مسائل پیچیده تنها با یک Agent هوش مصنوعی، غیرقابل تأیید است.
تا وقتی مدل مورد نظر به‌صورت عمومی منتشر نشود و امکان بازتولید نتایج فراهم گردد، تأثیر واقعی این دستاوردها بر علم ریاضیات نامشخص باقی می‌ماند.
این اتفاق ثابت می‌کند هوش مصنوعی از تولید متن‌های ساده عبور کرده و وارد دنیای استدلال‌های سخت ریاضی شده است. اگر این نتایج تأیید شوند، سرعت پیشرفت در علوم پایه به‌شدت افزایش می‌یابد و روش حل مسائل پیچیده علمی برای همیشه تغییر می‌کند.
آنچه باید بدانید
OpenAI چند مسئله ریاضی را حل کرده است؟
شرکت OpenAI راهکارهای ۳۷۲ مسئله دشوار ریاضی را در قالب ۷۲۲ دست‌نوشته منتشر کرده است.
به‌طور میانگین، حل هر مسئله چقدر زمان برده است؟
رسیدن به این نتایج به‌طور میانگین حدود سه ساعت زمان برده است.
دیدگاه اندرو سادرلند از دانشگاه MIT درباره این دستاورد چیست؟
او معتقد است تا زمانی که مدل منتشر نشود و امکان بازتولید نتایج برای دیگران فراهم نباشد، ادعای حل مسائل پیچیده توسط یک Agent هوش مصنوعی قابل تأیید نیست.
بازنشر سبک برای safha.ir
