شرکت OpenAI بهتازگی از پیشرفت بزرگ هوش مصنوعی جدید خود در حل ۱۰ مسئله ریاضی و علوم کامپیوتر نظری خبر داده است که سالها بدون پاسخ باقی مانده بودند. این دستاوردها توسط نسخهای داخلی از مدل جدید این شرکت به نام Astra به دست آمده است.
براساس گزارش OpenAI، این شرکت ۱۰ مسئله پیچیده ریاضی و علوم کامپیوتر نظری را که برخی از آنها بیش از یک دهه یا حتی مدتها قبل بدون پاسخ مانده بودند، حل کرده است. شرکت OpenAI برای پشتیبانی از جامعه علمی، پیش از این طرح «ChatGPT برای پژوهشگران آکادمیک» را معرفی کرده بود که دسترسی رایگان ۱۰۰ هزار دانشمند و ریاضیدان را به برترین مدلهای چت جیپیتی فراهم میسازد.
این شرکت در ماه مه نیز اعلام کرده بود که مدلهای آزمایشی آن موفق به رد حدس فاصله واحد اِردوش (Erdős unit-distance conjecture) شدهاند. اکنون نیز با استفاده از نسخه داخلی مدل جدید خود به نام Astra، موفقیتهای تازهای در علوم ریاضیات ثبت کرده است. هزینه توکنهای مصرفشده برای یافتن پاسخ این مسائل تنها حدود ۲۰۰۰ دلار بر اساس تعرفههای Sol API بوده است.
دستاوردهای هوش مصنوعی OpenAI در حل مسائل ریاضی
پژوهشگران انسانی با همکاری این مدل، راه حلها را در قالب مقاله آماده کرده و با ابزار Lean آنها را به اثبات رسمی رساندهاند. مهمترین مسائل حلشده توسط هوش مصنوعی Astra شامل موارد زیر است:
- بستهبندی کُرهها در ابعاد بالا
- کدهای باینری و کروی
- گروههای غیرصوفی (Non-sofic groups)
- حدس صلبیت کان (Connes’s rigidity conjecture)
- پیچیدگی مدارهای حساب
- تکرار موازی کوانتومی
- مسئله نزدیکترین بردار
- حدس حجم ایرهارت (Ehrhart’s volume conjecture)
- اعداد رمزی چندرنگ
- حدسهای اعداد حدنهایی
شرکت OpenAI تاکید کرده است که ارجاع علمی باید بهطور صادقانه نشاندهنده نحوه تولید نتایج باشد. ادعای نویسندگی انسانی برای اثباتی که کاملاً توسط سیستم هوش مصنوعی تولید شده است، درست نیست و نقش واقعی تفکر انسانی را نادرست جلوه میدهد. این شرکت اعلام کرده است که مسئولیت صحت اثباتهای رسمیسازیشده در Lean را بر عهده میگیرد و امیدوار است جامعه ریاضیات از این ایدهها برای تحقیقات بعدی استفاده کند.
ادعای جالب سم آلتمن درباره بچهداری با هوش مصنوعی هم از موضوعات جنجالی است که واکنش کاربارن زیادی را در ایکس به خود جلب کرد.
