آسترا: ۱۰ مسئلهٔ باز ریاضی با کمتر از ۲۰۰۰ دلار
هوش مصنوعیClaude Opus 5خلاصهٔ کاملتر
به گفتهٔ نوام براون، پژوهشگر OpenAI که قبلاً روی Cicero و مدلهای استدلالی سری o کار کرده، یه مدل منتشرنشده با نام Astra تونسته برای ۱۰ مسئلهٔ باز ریاضی راهحل تولید کنه؛ مسائلی که بعضیهاشون دهها ساله باز موندن. براون این رو «یه قدم بزرگ برای استدلال علمی» توصیف کرده. Astra هنوز رسماً معرفی نشده و گمانهزنیها اون رو یه ردهٔ بالاتر از خط GPT-5.x میدونن؛ اینکه اسم رمز GPT-6 باشه تأیید نشده.
شاخصترین نتیجه، کران چیدمان کرهها در فضاهای با ابعاد خیلی بالاست که از اواخر دههٔ ۱۹۷۰ تکون نخورده بود. این مسئله فقط انتزاعی نیست: کدگذاری داده به شکل نقاطی در فضای پرابعاد، طوری که نویز باعث اشتباه گرفتن سیگنالها نشه، دقیقاً همین ساختار ریاضیه و پشت کدهای تصحیح خطا و ارتباطات دیجیتال مثل 5G نشسته. طبق گزارش، ثابتی که Astra پیدا کرده فرم تمیزی برحسب e و پی داره؛ نشونهای از ساختار واقعی، نه یه تصادف عددی.
نتیجهٔ دوم به گروههای «سوفیک» تو نظریهٔ گروهها برمیگرده: اینکه آیا ساختارهای بینهایت رو همیشه میشه با ساختارهای متناهی تقریب زد یا نه. سالها هر گروهی که تست شده بود سوفیک درمیاومد، ولی Astra یه مثال نقض ساخته و وجود گروههای ناسوفیک رو ثابت کرده. تو مقاله اومده که این مسائل با جستوجوی جامع حل نمیشن و اثبات لازم دارن؛ توضیح محتملتر اینه که مدل ایدهها رو از زیرشاخههایی کنار هم گذاشته که کم پیش میآد یه متخصص انسانی همهشون رو همزمان بلد باشه.
چیزی که واقعاً تازهست ترکیب مقیاس و هزینهست: هیچ ریاضیدانی تو کل عمرش ۱۰ نتیجهٔ همتراز منتشر نکرده، و اینجا کل کار زیر ۲۰۰۰ دلار هزینهٔ استنتاج داشته؛ نزدیکتر به قبض API یه علاقهمند تا بودجهٔ یه مؤسسهٔ پژوهشی. در مقابل، Astra روی مسائل ردهٔ جایزهٔ هزاره امتحان شده و موفق نبوده. براون هم گفته میشه محاسبات زمان تست رو بازم بالاتر برد، پس ۲۰۰۰ دلار کفه، نه سقف.
نکات کلیدی:
- Astra مدل منتشرنشدهٔ OpenAI هست که ظاهراً بالاتر از ردهٔ GPT-5.1 میشینه
- ۱۰ مسئلهٔ باز ریاضی، کل هزینهٔ استنتاج زیر ۲۰۰۰ دلار
- کران چیدمان کرهها بعد از حدود ۴۸ سال جابهجا شد؛ کاربردش تو کدهای تصحیح خطا و مخابراته
- مثال نقض گروههای ناسوفیک نشون میده مدل از پس اثباتهای انتزاعی هم برمیآد
- روی مسائل جایزهٔ هزاره ناموفق بوده، پس محدودیتها هنوز جدیان
