مدل بعدی OpenAI به نام Astra ۱۰ مسئله حل‌نشده ریاضی را حل کرد — با هزینه محاسباتی تنها ۲٬۰۰۰ دلار

مدل بزرگ بعدی OpenAI نامی دارد — Astra — و رونمایی از آن نه در یک کنفرانس مطبوعاتی، بلکه لابه‌لای یک پست پژوهشی درباره ریاضیات که در اول اوت منتشر شد، صورت گرفت. این شرکت ده اثبات نوآورانه را که توسط نسخه‌ای داخلی از Astra تولید شده بودند، به همراه یک دست‌نوشته ۲۴۹ صفحه‌ای، مستندات گام‌به‌گام استدلال و گواهی‌های رسمی Lean برای تأیید هر نتیجه منتشر کرد.

ده مسئله‌ای که Astra آن‌ها را حل کرد، طی حداقل یک دهه هیچ پیشرفت قابل‌توجهی نداشتند و بسیاری از آن‌ها مدت‌ها بیشتر از این بلاتکلیف مانده بودند. این نتایج طیف گسترده‌ای از حوزه‌ها را در بر می‌گیرند: هندسه چندبُعدی، نظریه کدگذاری، نظریه گروه‌ها، پیچیدگی کوانتومی، رمزنگاری مبتنی بر شبکه و ترکیبیات کرانه‌ای — که برخی از سخت‌ترین حوزه‌های فعال در ریاضیات محض و علوم کامپیوتر نظری به شمار می‌روند.

Astra دقیقاً چه چیزی را اثبات کرد

از مهم‌ترین دستاوردها این است که Astra حدس انعطاف‌ناپذیری Connes درباره جبرهای von Neumann را رد کرد؛ مسئله‌ای که از دهه ۱۹۷۰ بی‌پاسخ مانده بود. این مدل حدس حجم Ehrhart را اثبات کرد و سه مسئله از فهرست معروف مسائل باز Paul Erdős را حل کرد، از جمله مسئله شماره #۱۸۳ Erdős درباره اعداد Ramsey چندرنگ. همچنین Astra نخستین بهبود در کران بالای کلی چگالی چیدمان کره‌ها در فضاهای چندبُعدی را از سال ۱۹۷۸ به این سو ارائه داد — یعنی بیش از ۴۵ سال بدون هیچ پیشرفتی در این نتیجه.

سایر اثبات‌ها شامل قضیه تکرار موازی برای بازی‌های کوانتومی دو بازیکنه و کران‌های پایین جدید برای پیچیدگی مداری محاسبه تابع دائمی می‌شود. وجود گروه‌های غیر-سافیک، یک پرسش بنیادی در نظریه گروه‌های هندسی، نیز اثبات شد.

به گفته OpenAI، استدلال‌های ریاضی از Astra نشأت گرفته‌اند. محققان انسانی سپس اثبات‌ها را صوری‌سازی کرده و برای انتشار آماده ساختند، اما هسته اصلی استدلال ماشین‌ساخته بود. مجموع هزینه محاسباتی برای هر ده راه‌حل در نرخ‌های Sol API حدود ۲٬۰۰۰ دلار بود — رقمی شگفت‌انگیز با توجه به دهه‌هایی که محققان بدون موفقیت بر این مسائل کار کرده بودند.

یک نمایش پیش‌درآمد، نه یک عرضه رسمی

OpenAI تاریخ انتشار عمومی یا نام نهایی این مدل را اعلام نکرده است. Astra ممکن است به عنوان GPT-5.7، GPT-6 یا با نامی کاملاً متفاوت عرضه شود. این شرکت اشاره کرده که دسترسی لایه‌بندی‌شده در نظر گرفته می‌شود، مشابه ساختار مدل‌های Anthropic.

نکته قابل توجه اینکه انتظار می‌رود Astra نخستین مدلی باشد که تحت چارچوب جدید ایمنی AI دولت Trump بررسی می‌شود؛ چارچوبی که پیش از انتشار عمومی یک مدل مرزی، نیاز به تأیید دولت فدرال دارد.

همان‌طور که The Next Web برای اولین بار گزارش داد، این اعلامیه در واقع رونمایی از یک مدل مهم را در قالب یک انتشار پژوهشی معمولی پنهان کرده بود.