OpenAI اعلام کرده است که یک مدل منتشر نشده که "Astra" نامیده می شود، ده مسئله حل نشده قبلی را در ریاضیات و علوم نظری کامپیوتر، از جمله رد یک حدس طولانی مدت، با هزینه کمتر از 2000 دلار در محاسبات حل کرده است. طبق گزارش های متعدد، این شرکت Astra را به عنوان "مدل اصلی بعدی" خود توصیف کرد و در حال بررسی این است که آیا آن را به عنوان GPT-6 ارسال کند یا خیر. این پیشرفت جدیدترین سیگنالی است که نشان می دهد سیستم های هوش مصنوعی مرزی شروع به تولید نتایج قابل تأیید در مرزهای دانش بشری کرده اند، موضوعی که ما در [آخرین پیشرفت های هوش مصنوعی] خود (https://aibuzzwire.news) از نزدیک دنبال می کنیم.

ده مشکل، برخی از آنها برای چندین دهه باز است

در 1 آگوست 2026، OpenAI یک پست تحقیقاتی با عنوان "ده پیشرفت در ریاضیات و علوم کامپیوتر نظری" منتشر کرد که راه حل های تولید شده توسط سیستم Astra را شرح می داد. به گزارش the-decoder، این شرکت از این اطلاعیه برای معرفی Astra به عنوان مدل اصلی بعدی خود استفاده کرد. Startup Fortune گزارش داد که ده مشکل قبلاً حل نشده بودند و یکی از قابل توجه ترین نتایج رد حدس سختی Connes بود - مشکلی با ریشه های عمیق در جبر اپراتورها و نظریه گروه.

برخی از مشکلات هدفمند برای بیش از یک دهه باز مانده بودند، و یک خروجی، 36Kr، چندین مورد از آنها را به عنوان "سطح مدال فیلدز" در مشکل توصیف کرد. مقیاس ادعاها توجه را به خود جلب کرده است زیرا نتایج ریاضی برخلاف بسیاری از معیارهای هوش مصنوعی، اصولاً می‌توانند به شدت بررسی شوند. گزارش شده است که OpenAI این کار را از طریق ابزار تأیید رسمی و یک مخزن عمومی در دسترس قرار داده است و به ریاضیدانان مستقل اجازه می دهد تا به جای استفاده از ایمان، شواهد را دقیق بررسی کنند.

یک صورتحساب 2000 دلاری محاسبه کنید

یکی از قابل توجه ترین جزئیات هزینه است. Startup Fortune و XenoSpectrum هر دو گزارش دادند که این مدل ده مشکل باز را با تقریباً 2000 دلار در محاسبات حل کرد - کسری از هزینه‌ای که معمولاً آموزش در مقیاس مرزی هزینه دارد. این رقم، اگر دقیق باشد، نشان می‌دهد که کارایی استدلال در زمان استنتاج تا کجا پیش رفته است: بخش گران‌قیمت هوش مصنوعی مدرن به طور فزاینده‌ای آموزش است، نه حل هر مشکل.

نتیجه بر اساس کاری است که OpenAI در اوایل سال 2026 فاش شد، زمانی که یک مدل استدلال داخلی حدس فاصله واحد مسطح را رد کرد، مشکلی که توسط ریاضیدان پل اردوس در سال 1946 مطرح شد. اعلامیه Astra این خط تحقیقات را به مجموعه گسترده تری از سوالات باز گسترش می دهد.

به سناتورها در واشنگتن نشان داده شد

زمان افشاگری عمدی بود. اطلاعات به طور انحصاری گزارش داد که OpenAI مدل Astra را در واشنگتن دی سی پیش نمایش کرده است و Yellow.com خاطرنشان کرد که این نمایش "روزها قبل از فرود چارچوب بازبینی 30 روزه" انجام شد - اشاره ای به نظارت رو به رشد نظارتی بر سیستم های قدرتمند هوش مصنوعی جدید. به گزارش Startup Fortune، مدیر اجرایی سام آلتمن شخصاً به سناتورهای آمریکایی در مورد این مدل اطلاع داد.

پیش‌نمایش واشنگتن اهمیت دارد زیرا Astra را نه تنها به عنوان یک نقطه عطف فنی، بلکه به عنوان یک نقطه عطف سیاسی قرار می‌دهد. با بحث قانون‌گذاران درباره نحوه تنظیم مدل‌های مرزی در پی حوادث اخیر امنیت سایبری - از جمله عوامل هوش مصنوعی که در حین آزمایش از جعبه‌های ماسه‌بازی خود فرار کردند - OpenAI این موضوع را مطرح می‌کند که پیشرفته‌ترین سیستم‌هایش می‌توانند به اندازه کافی قدرتمند و ایمن باشند تا قبل از انتشار عمومی با تنظیم‌کننده‌ها به اشتراک بگذارند.

آیا این GPT-6 است؟

OpenAI رسما تایید نکرده است که Astra به عنوان GPT-6 راه اندازی می شود، اما Startup Fortune گزارش داد که این شرکت "آن را به عنوان GPT-6 حمل و نقل می کند." نیوز اینترنشنال Astra را به عنوان راه اندازی یک "سری مدل جدید" توصیف کرد، در حالی که KuCoin آن را به عنوان مدلی "برای کارهای بلندمدت" توصیف کرد - که تاکید بر استدلال پایدار و عاملی به جای پاسخ های سریع یکباره را پیشنهاد می کند.

این قاب بندی با چرخش گسترده صنعت به سمت عوامل به اصطلاح افق بلند همسو می شود: سیستم هایی که برای کار بر روی مشکلات سخت در مدت زمان طولانی طراحی شده اند، با استفاده از ابزار و تأیید به جای پاسخگویی در یک پاس. The math results are, in effect, a demonstration that this approach can yield genuinely new knowledge.

برای تحقیقات هوش مصنوعی چه معنایی دارد

نتایج Astra در میان بحث‌های شدیدی در مورد اینکه آیا استدلال هوش مصنوعی واقعاً درست است یا صرفاً قانع‌کننده است، فرود می‌آید. اگر این شواهد به تأیید رسمی و بازبینی همتا پایبند باشند، گامی معنادار فراتر از تطبیق الگو را نشان می‌دهند - نشان می‌دهند که این سیستم‌ها می‌توانند به ریاضیات به‌عنوان یک رشته تحقیقاتی کمک کنند، نه فقط از آن تقلید کنند.

شک‌گرایان هشدار می‌دهند که کار هنوز به اعتبارسنجی مستقل نیاز دارد، و «حل» یک مسئله به معنای رسمی با درک یک ریاضیدان انسانی که چرا یک نتیجه درست است متفاوت است. اما ترکیبی از هزینه محاسباتی کم، تأیید رسمی و انتشار عمومی ابزارهایی را برای بررسی ادعاهای OpenAI به جامعه گسترده‌تر می‌دهد.

For now, Astra remains unreleased to the public. آنچه واضح است این است که OpenAI ریاضیات را به عنوان زمینه جدیدی برای اثبات هوش مصنوعی مرزی تلقی می کند - و از تنظیم کننده ها و همچنین محققان دعوت می کند تا از نزدیک تماشا کنند.

از هوش مصنوعی جلوتر بمانید

مرز تحقیقات هوش مصنوعی با پیشرفت های جدید هر هفته به سرعت در حال حرکت است. از طریق [پوشش صنعت هوش مصنوعی] (https://aibuzzwire.news) همه پیشرفت‌های مهم را دنبال کنید.

اخبار هوش مصنوعی را بیشتر بخوانید →