شرکت OpenAI در پست جدید وبلاگ خود با عنوان «ده پیشرفت در ریاضیات و علوم کامپیوتر نظری»، بهطور غیرمستقیم و کوتاه، مدل هوش مصنوعی بعدی خود را معرفی کرد. براساس نوشته OpenAI، دستاوردهای ریاضی مطرحشده در این پست توسط ورژن داخلی مدل بزرگ بعدی این شرکت، با نام Astra به دست آمدهاند.
در پست وبلاگ OpenAI نوشته شده است:
«ما میخواهیم دانشمندان و ریاضیدانان را به ابزارهایی مجهز کنیم که شتاب کشفیات علمی را افزایش میدهند. به همین دلیل اخیراً طرح «ChatGPT برای پژوهشگران آکادمیک» را معرفی کردیم؛ برنامهای که برای ۱۰۰ هزار دانشمند و ریاضیدان، اجازه دسترسی رایگان به بهترین مدلهای ChatGPT را فراهم میکند. نیز در طول مراحل توسعه، به ارزیابی توانایی مدلهای خود روی مسائل حلنشده پژوهشی ادامه دادن میدهیم.»
سپس به ۱۰ نتیجه برای مسائلی اشاره شده که OpenAI ادعا میکند حداقل در یک دهه اخیر هیچ پیشرفتی پس اصلی آنها حاصل نشده است. این مسائل حوزههایی مانند هندسه ابعاد، نظریه کد برنامهگذاری، پیچیدگی مدارهای محاسباتی، نظریه گروهها، جبرهای عملگری، پیچیدگی کوانتومی، رمزنگاری مشبک و ترکیبیات حدی را شامل میشوند. این نتایج توسط ورژن داخلی Astra به دست آمدهاند.
براساس ریپورتهای منتشرشده، مدل Astra میتواند در بازههای زمانی طولانی کارها را انجام دهد و «سم آلتمن»، مدیرعامل OpenAI، هفته گذشته این مدل را برای مقامات فدرال آمریکا نشان دادن داده است.
باید گفت که Astra با مدلی که اخیراً در یک حادثه سایبری در پایگاه Hugging Face درگیر شده بود، تفاوت دارد. در آن حادثه، ترکیبی از مدلها از جمله GPT-5.6 Sol و یک مدل پیش از انتشار توانسته بودند ارزیابیهای ایمنی را دور بزنند. OpenAI بعداً اعلام کرد که آن مدل درگیر یک نمونه اولیه پژوهشی بوده که غیرفعال شده و هرگز منتشر نخواهد شد.
مقاله ریاضی منتشرشده همراه با پست وبلاگ OpenAI، به اثبات ۱۰ مسئله از جمله تعیین دقیق «قدرت مجانبی برنامه خطی کوهن-الکیس» (Cohn–Elkies linear program) برای مسئله بستهبندی گویها خریده است. پیش از این نیز در ماه مه، مدل دیگری از OpenAI یک رد اثبات ریاضی ارائه کرده بود که هرچند مورد توجه برخی ریاضیدانان قرار گرفت، اما کارشناسان تأکید کردند که این نتایج هنوز نشاندهنده میزان اشتباهها و ادعاهای نادرست احتمالی هوش مصنوعی در ریاضیات نیستند.
هنوز مشخص نیست که آیا نام نهایی این مدل GPT-5.6 Astra یا GPT-6 Astra است یا این شرکت کلاً پیشوند GPT را کنار گذاشته و تنها از نام Astra استفاده میکند. روند نامگذاری کالاها قبلی OpenAI نیز جالب توجه است؛ مدلهای قبلی شامل Terra (به معنی زمین)، Luna (به معنی ماه) و Sol (به معنی خورشید) بودهاند و واژه Astra نیز در زبان لاتین به معنای «ستارهها» است.
