OpenAI صدها مسئله حل نشده ریاضی را با کمک هوش مصنوعی حل کرد. شرکت OpenAI مجموعه گسترده‌ای از نتایج ریاضی به‌دست‌آمده توسط یکی از مدل‌های پیشرفته و منتشرنشده خود را در اختیار عموم قرار داده است؛ مجموعه‌ای که به گفته این شرکت، شامل راه‌حل‌هایی برای صدها مسئله حل نشده در ریاضیات است.
OpenAI در این انتشار جدید، ۷۲۲ دست‌نوشته علمی را منتشر کرده که در قالب ۳۷۲ خانواده از نتایج مرتبط دسته‌بندی شده‌اند. این دست‌نوشته‌ها حوزه‌های مختلفی از ریاضیات و علوم کامپیوتر نظری را پوشش می‌دهند.
OpenAI چطور صدها مسئله حل نشده ریاضی را حل کرد؟
این نتایج توسط یک مدل پیشرفته داخلی OpenAI به دست آمده که هنوز به‌صورت عمومی منتشر نشده است. OpenAI در جریان ارزیابی این مدل، حدود ۴ هزار مسئله را در اختیار آن قرار داده و پس از بررسی خروجی‌ها و دسته‌بندی نتایج مرتبط، مجموعه فعلی را منتشر کرده است.
طبق اعلام OpenAI، به‌طور میانگین برای به‌دست‌آوردن هر نتیجه، محاسباتی معادل حدود سه ساعت استفاده از قابلیت Thinking در ChatGPT Pro مورد استفاده قرار گرفته است.
این نتایج حوزه‌های متنوعی را شامل می‌شوند؛ از نظریه اعداد و جبر گرفته تا هندسه، فیزیک ریاضی، علوم کامپیوتر نظری و مسائل مرتبط با سیستم‌های کوانتومی.
امکان بررسی اثبات‌ها توسط کامپیوتر
یکی از بخش‌های مهم این انتشار، ارائه نسخه‌های رسمی بسیاری از اثبات‌ها با استفاده از Lean است.
Lean یک زبان و سیستم رسمی برای بیان و بررسی اثبات‌های ریاضی است که به کامپیوتر اجازه می‌دهد صحت منطقی یک اثبات را بررسی کند. OpenAI اعلام کرده است که بسیاری از اثبات‌های این مجموعه به Lean تبدیل شده‌اند و این شرکت قصد دارد با آماده‌شدن نسخه‌های بیشتر، آن‌ها را نیز به مخزن اضافه کند.
با این حال، همه ۷۲۲ دست‌نوشته هنوز به‌طور کامل در Lean رسمی‌سازی نشده‌اند و خود OpenAI نیز هشدار داده که برخی از نتایج غیررسمی ممکن است دارای ایراد باشند و نیاز به بررسی بیشتر داشته باشند.
OpenAI دقیقا چه چیزی منتشر کرده است؟
این شرکت علاوه بر دست‌نوشته‌ها، اطلاعات بیشتری درباره نحوه تولید نتایج نیز منتشر کرده است. از جمله:
- ۷۲۲ دست‌نوشته در ۳۷۲ خانواده نتیجه
- نتایج حاصل از بررسی حدود ۴ هزار مسئله
- نسخه‌های رسمی برخی اثبات‌ها در Lean
- ۱۰ خلاصه از روند استدلال مدل
- برآورد میزان محاسبات مورد استفاده برای نتایج
OpenAI این مجموعه را در یک مخزن عمومی GitHub قرار داده تا پژوهشگران بتوانند نتایج و اثبات‌های ارائه‌شده را بررسی کنند.
آیا همه این مسائل واقعا حل شده‌اند؟
هنوز نمی‌توان با قطعیت گفت تمام نتایج منتشرشده توسط OpenAI به‌عنوان دستاوردهای قطعی ریاضی پذیرفته شده‌اند.
The Verge گزارش می‌دهد که انتشار این نتایج در کنار استقبال از توانایی‌های مدل، نگرانی‌هایی را نیز در میان برخی ریاضی‌دانان درباره نحوه انتشار چنین دستاوردهایی و رعایت روندهای معمول علمی ایجاد کرده است. گروه مشاور مستقل Advisory Group on Mathematics and Artificial Intelligence (AGMAI) نیز پیش‌تر از شرکت‌های هوش مصنوعی خواسته بود نتایج ریاضی را از مسیرهای علمی مناسب منتشر کنند و از تبدیل چنین دستاوردهایی به ابزار تبلیغاتی برای مدل‌های خودداری کنند.
بنابراین، انتشار این مجموعه را بهتر است آغاز فرآیند بررسی و ارزیابی نتایج توسط جامعه ریاضی بدانیم، نه اینکه تمام ۷۲۲ دست‌نوشته را به‌عنوان ۷۲۲ کشف قطعی و مستقل در نظر بگیریم.
جدیدترین اخبار هوش مصنوعی را با سایت فری لرن دنبال کنید.
