کمیته رکن چهارم – شرکت OpenAI از مدل جدید Astra رونمایی کرده است؛ مدلی که برای حل مسائل پیچیده و بلندمدت در ریاضیات و علوم رایانه طراحی شده و به گفته این شرکت، به چندین پیشرفت مهم در این حوزه‌ها دست یافته است.
به گزارش کمیته رکن چهارم، OpenAI اعلام کرد Astra در پژوهش‌هایی در زمینه هندسه، نظریه کدگذاری، رمزنگاری، نظریه گروه‌ها و پیچیدگی محاسباتی به کار گرفته شده و توانسته در حل ۱۰ مسئله علمی که سال‌ها بدون پیشرفت باقی مانده بودند، نتایج قابل‌توجهی ارائه کند.
به گفته این شرکت، از جمله دستاوردهای Astra می‌توان به ارائه نتایج جدید در نظریه گروه‌ها، مسئله چیدمان کره‌ها در ابعاد بالا و حل چند مسئله مطرح‌شده توسط پل اردوش اشاره کرد. همچنین استدلال‌های ریاضی تولیدشده توسط این مدل با استفاده از سامانه Lean به‌صورت رسمی اعتبارسنجی شده‌اند.
OpenAI اعلام کرده است Astra برای انجام پژوهش‌های طولانی‌مدت و همکاری هم‌زمان روی بخش‌های مختلف یک مسئله طراحی شده است. با این حال، هنوز زمان عرضه عمومی یا نام نهایی این مدل اعلام نشده است.
منبع: BleepingComputer
