فهرست مطالب
شرکت OpenAI اعلام کرد که نسخه داخلی مدل جدید Astra توانسته است به راه‌حل‌هایی برای ۱۰ مسئله قدیمی و حل‌نشده در حوزه ریاضیات و علوم کامپیوتر نظری دست پیدا کند.
به گزارش سرویس هوش مصنوعی تکناک، این شرکت تنها پنج هفته پیش از خانواده مدل‌های پیشرفته GPT-5.6 رونمایی کرد. این مدل‌ها در ابتدا به دلیل محدودیت‌های واشنگتن تنها در اختیار گروه محدودی از کاربران قرار گرفتند، اما در ماه ژوئیه دسترسی عمومی به آنها گسترش یافت. همچنین OpenAI هفته گذشته با به‌روزرسانی زیرساخت استنتاج این خانواده، قیمت مدل GPT-5.6 Luna را ۸۰ درصد و GPT-5.6 Terra را ۲۰ درصد کاهش داد. اکنون این شرکت برای نخستین بار نگاهی اجمالی به مدل بزرگ بعدی خود با نام Astra ارائه کرده است.
بیشتر بخوانید: شرکت OpenAI قیمت مدل‌های هوش مصنوعی GPT-5.6 Luna و Terra را کاهش داد
هزینه توکن‌های مصرف‌شده
برای مطالعه بیشتر: هوش مصنوعی سرکش، اتحادیه اروپا را پای میز مذاکره با OpenAI کشاند
به گفته OpenAI، دستیابی به راه‌حل‌هایی برای ۱۰ مسئله قدیمی و حل‌نشده در حوزه ریاضیات و علوم کامپیوتر نظری به توان پردازشی بسیار زیادی نیاز نداشته است. هزینه کل توکن‌های مصرف‌شده برای یافتن هر ۱۰ راه‌حل، بر اساس تعرفه API مدل GPT-5.6 Sol، حدود ۲ هزار دلار برآورد می‌شود. پس از یافتن پاسخ‌ها، پژوهشگران از همان مدل برای تدوین استدلال‌ها در قالب مقالات علمی استفاده کردند. همچنین مدل Astra توانست تمام استدلال‌ها را در زبان رسمی Lean پیاده‌سازی کند تا در سامانه اثبات قضیه قابل راستی‌آزمایی باشند.
مدل Astra برای کدام مسائل راه‌حل ارائه کرد؟
شرکت OpenAI اکنون مقالات پژوهشی، گواهی‌های Lean و توضیحات گام‌به‌گام تولیدشده توسط مدل را درباره نحوه رسیدن به پاسخ‌ها منتشر کرده و امیدوار است جامعه ریاضی این دستاوردها را بررسی، اعتبارسنجی و از ایده‌های آن برای تحقیقات آینده استفاده کند.
خبر پیشنهادی: شرکت OpenAI از رفتار غیرمنتظره چند عامل هوش مصنوعی دیگر خبر داد
۱۰ مسئله‌ای که مدل Astra برای آنها راه‌حل جدید ارائه کرده است، عبارت‌انداز:
- ارائه کران‌های جدید برای چیدمان کره‌ها در ابعاد بالا
- بهبود چشمگیر محدودیت‌های کدهای دودویی و کروی
- ارائه ساختاری که وجود گروه‌های غیرسوفیک را اثبات می‌کند
- رد حدس دیرینه سخت‌گیری کانس
- ارائه کران‌های جدید در پیچیدگی مدارهای حسابی
- اثبات قضیه جدیدی درباره تکرار موازی در بازی‌های کوانتومی
- اثبات سختی تقریب مسئله نزدیک‌ترین بردار که در رمزنگاری پساکوانتومی اهمیت دارد
- حل حدس حجم ارهارت درباره اجسام محدب
- ارائه کران پایین جدید برای اعداد رمزی چندرنگ
- حل دو حدس مهم در نظریه گراف‌های اکسترمال
شرکت OpenAI برای ارزیابی مدل Astra، مسائلی را انتخاب کرد که دست‌کم یک دهه بدون پیشرفت قابل توجه باقی مانده بودند. این مسائل حوزه‌هایی مانند هندسه با ابعاد بالا، نظریه کدگذاری، نظریه گروه‌ها، پیچیدگی کوانتومی، رمزنگاری مبتنی بر شبکه، جبر عملگرها و ترکیبات اکسترمال را در بر می‌گیرند.
