مدل مخفی اپن‌ای‌آی صد‌ها مسئله ریاضی را حل کرد
به گزارش پایگاه خبری پایداری ملی به نقل از خبرگزاری فارس، بیزینس استاندارد نوشت: اپن‌ای‌آی خلاصه نتایج مسائل ریاضی حل‌شده توسط یک مدل هوش مصنوعی منتشرنشده خود را منتشر کرده است. این شرکت در شهریور ۱۴۰۵ اعلام کرده بود که یکی از مدل‌های پیشرفته و منتشرنشده‌اش موفق به حل مسئله تقریباً ۹۰ ساله «ناویر-استوکس» شده؛ یکی از مشهورترین مسائل حل‌نشده ریاضیات که این اتفاق جامعه ریاضی را شگفت‌زده کرد. حالا اپن‌ای‌آی ۷۲۲ دست‌نوشته پژوهشی را منتشر کرده که ۳۷۲ خانواده از نتایج ریاضی را پوشش می‌دهد و شامل راه‌حل صد‌ها مسئله حل‌نشده است.
اپن‌ای‌آی این مقالات را در گیت‌هاب همراه با خلاصه‌ای از فرایند استدلال مدل داخلی خود، برآورد میزان توان محاسباتی استفاده‌شده و آمار تعداد مسائلی که مدل تلاش کرده حل کند، منتشر کرده است. این شرکت می‌گوید به‌طور میانگین، حل هر نتیجه به توان محاسباتی معادل حدود سه ساعت «تفکر» چت‌جی‌پی‌تی پرو نیاز داشته است. اپن‌ای‌آی همچنین نسخه رسمی‌شده بسیاری از اثبات‌ها را در لین، یک زبان برنامه‌نویسی که امکان بررسی ریاضی اثبات‌ها توسط رایانه را فراهم می‌کند، منتشر کرده و قصد دارد با آماده‌شدن نسخه‌های جدید، اثبات‌های بیشتری را نیز به این مجموعه اضافه کند.
اپن‌ای‌آی برای تعیین روش مناسب انتشار این نتایج، با گروه مشاوره مستقل ریاضیات و هوش مصنوعی در مؤسسه مطالعات پیشرفته مشورت کرده و از توصیه‌های این گروه استفاده کرده است. این شرکت در شهریور ۱۴۰۵ نیز یک هیئت مشورتی مستقل به نام «آگمای» تشکیل داده بود تا درباره نحوه تعامل شرکت‌های هوش مصنوعی با پژوهش‌های ریاضی و جامعه ریاضی، از جمله شیوه ارائه و انتشار دستاورد‌های جدید، مشاوره دهد. این هیئت پس از آن تشکیل شد که اپن‌ای‌آی اعلام کرد یک مدل هوش مصنوعی داخلی این شرکت در کمتر از یک ماه آموزش، بیش از ۱۰۰ مسئله قدیمی و حل‌نشده ریاضی را حل کرده است.
این گروه مشورتی از شرکت‌های هوش مصنوعی خواسته بود نتایج ریاضی جدید را سریع منتشر کنند، جزئیاتی مانند مدل مورد استفاده، دستور‌های داده‌شده به مدل و میزان توان محاسباتی مصرف‌شده را در اختیار پژوهشگران قرار دهند و از تبدیل چنین دستاورد‌هایی به ابزار تبلیغاتی خودداری کنند. اپن‌ای‌آی می‌گوید نتایج را در یک مخزن گیت‌هاب همراه با سازوکار‌هایی برای اصلاح و ارجاع‌دهی منتشر کرده و همچنان در حال بررسی گزینه‌های دیگری برای میزبانی این مجموعه توسط جامعه علمی است. این شرکت همچنین قصد دارد در انتشار‌های آینده، کیفیت استنادها، توضیح مسائل ریاضی و نحوه ارائه نتایج را بهبود دهد.