گزارش زنده: آسترا چندین رکورد ضرب اعداد صحیح را شکست؛ ازدحام هوش مصنوعی در ۲۴ ساعت از سد یکی از «جام‌های مقدس» علوم کامپیوتر عبور کرد
در چند روز گذشته، ریاضیدانان، علاقه‌مندان فناوری و گروه‌هایی از عامل‌های هوش مصنوعی یک مسابقه شگفت‌انگیز را آغاز کرده‌اند.
این رقابت در یک مخزن متن‌باز در گیت‌هاب جریان داشت؛ جایی که ترکیب «شهود انسانی + آزمون‌وخطای گسترده توسط هوش مصنوعی» به شکل‌گیری یک شبکه غیرمتمرکز قدرتمند انجامید.
در تنها ۲۴ ساعت، این گروه توانستند پارامتر کلیدی κ در مسئله ۱۰۹ ریاضی OpenAI درباره کران پایین ضرب اعداد صحیح را از ۲^-۱۸۲ تا ۰.۰۰۱۲۹ افزایش دهند؛ پیشرفتی که معادل جهشی نمایی در مقیاس صدها میلیون برابر توصیف شده است.
در یک روز، ۱۵۱ درخواست ادغام (PR) به این پروژه ارسال شد و بیش از ۲۶۰ میلیون خط کد جدید تولید شد. سرعت بهینه‌سازی کد در مقطعی حتی از سرعت اجرای آزمون‌های اعتبارسنجی پیشی گرفت.
می‌توان گفت این رویداد نمونه‌ای از یک انقلاب «پژوهش مستقل غیرمتمرکز» است.
مسئله بسیار دشوار شماره ۱۰۹ از OpenAI
مدتی پیش، OpenAI مجموعه‌ای از مسائل چالش‌برانگیز ریاضی را با عنوان «OpenAI Math Drop» منتشر کرد.
این مسائل موضوعاتی مانند فرضیه شبه‌ریمان، محدودیت‌های ضرب ماتریس‌ها، مسئله رنگ‌آمیزی گراف (حدس هادویگر) و مسئله دهم هیلبرت را دربر می‌گیرند؛ مسائلی که بسیاری از آن‌ها می‌توانند بنیان‌های علوم کامپیوتر و ریاضیات مدرن را به چالش بکشند.
در میان آن‌ها، مسئله ۱۰۹ درباره کران پایین مشروط ضرب اعداد صحیح، به‌طور گسترده به‌عنوان کوهی تقریباً دست‌نیافتنی شناخته می‌شود.
در علوم کامپیوتر، یافتن راهی برای کاهش پیچیدگی محاسباتی هنگام ضرب دو عدد بسیار بزرگ، یکی از «جام‌های مقدس» حوزه الگوریتم‌ها به شمار می‌رود.
فرمول پیچیدگی زمانی آن معمولاً به شکل زیر بیان می‌شود:
.
κ نشان‌دهنده «نرخ صرفه‌جویی نمایی» الگوریتم است.
هرچه مقدار آن بیشتر باشد، الگوریتم هنگام پردازش اعداد بسیار بزرگ کارآمدتر خواهد بود.
با این حال، در آزمون اولیه OpenAI، مقدار این پارامتر بسیار کوچک بود:
۲^-۱۸۲.
این عدد به‌شدت غیرعادی کوچک است و تقریباً معنای عملی ندارد؛ مانند «دیوار آه و حسرتی» که محدودیت‌های هوش انسانی را به رخ می‌کشد.
داگ کولکیت، پژوهشگر ارشد، نخستین فردی بود که این چالش را پذیرفت.
او مانند کوهنوردی تنها، با اصلاح کدها و فرمول‌های ریاضی قدم‌به‌قدم مسیر را باز کرد و مقدار κ را از ۲^-۱۸۲ به ۲^-۱۰۸ و سپس ۲^-۷۸ رساند.
در شب ۷ اکتبر، او با استفاده از روش «تعویض محور غیرمجاور»، هزینه مسیریابی جابه‌جایی چیدمان را کاهش داد و مقدار κ را به ۲^-۷۸ رساند.
در ساعات ابتدایی ۸ اکتبر، او این مقدار را به ۲^-۳۴ افزایش داد.
داگ که خسته شده بود، کد خود را ارسال کرد و به خواب رفت.
او در شبکه اجتماعی ایکس نوشت: «می‌روم بخوابم. متأسفانه باید گزارش کنم که اینجا فقط کمی پیشرفت تدریجی داشتم...»
اما تصور نمی‌کرد وقتی روز بعد بیدار شود، شرایط کاملاً تغییر کرده باشد.
۲۴ ساعت جهش نمایی؛ ازدحام عامل‌های هوش مصنوعی کنترل میدان را در دست می‌گیرد
کار پیشگامانه او جامعه متن‌باز و گروهی از عامل‌های هوش مصنوعی را فعال کرد.
داگ خوابید، اما هوش مصنوعی هرگز نمی‌خوابد.
وقتی داگ کولکیت بیدار شد، متوجه شد اعلان‌های گیت‌هاب او کاملاً پر شده‌اند.
طی چند ساعت، مخزن گیت‌هاب با نام CrocSwap/integer-mult-bounds ناگهان با موج بزرگی از فعالیت روبه‌رو شد.
پژوهشگرانی از جمله روهان آرون ظرفیت این پروژه را به‌سرعت تشخیص دادند و «جعبه پاندورا» را گشودند؛ آن‌ها ده‌ها عامل هوش مصنوعی مبتنی بر Codex و Claude را وارد کار کردند.
این عامل‌ها با تکیه بر پلتفرم‌های پژوهشی خودکار مانند GetSupers، اهداف مشخصی دریافت کردند: خواندن جدیدترین مقاله‌ها و کدها، یافتن فضای بهینه‌سازی، نوشتن خودکار کد و اجرای خودکار اعتبارسنج.
اگر موفق می‌شدند، یک PR ارسال می‌کردند و اگر شکست می‌خوردند، دوباره شروع می‌کردند؛ بدین ترتیب «ازدحام غیرمتمرکز» انسان و هوش مصنوعی فعال شد.
در ساعات اولیه صبح، توسعه‌دهنده‌ای با نام Dugongue نخستین PR بزرگ را ارسال کرد که از مرز ۱۰^-۳ عبور کرد.
ساعت ۱۱:۳۰ شب، داگ PR ارسال‌شده توسط روهان آرون را بررسی و ادغام کرد و پیشرفت را تا مقدار جدیدی افزایش داد. داگ با هیجان نوشت: «این یک تلاش واقعی جامعه است!»
با ورود تعداد زیادی مشارکت‌کننده، سرعت تولید و بهینه‌سازی کد حتی از سرعت اعتبارسنجی پیشی گرفت. روهان آرون نیز اعداد دائماً در حال تغییر را ثبت می‌کرد.
کاربری با نام Dugongue نخستین PR را ارسال کرد که در ساعات اولیه صبح از این مرز عبور کرد و مقدار κ را مستقیماً به ۰.۰۰۱۲۹ رساند.
در اوج فعالیت، تقریباً هر دقیقه یک راه‌حل جدید به مخزن ارسال می‌شد.
روهان آرون در ایکس نوشت: «خیلی هیجان‌انگیز است! در نهایت سرعت بهینه‌سازی کد از سرعت اجرای اعتبارسنجی ما بیشتر شد!»
در تنها یک روز، ۱۵۱ PR وارد این مخزن شد. هوش مصنوعی بیش از ۲۶۰ میلیون خط کد آزمایشی و بهینه‌سازی تولید کرد.
رقابت سرنوشت‌ساز؛ رویارویی Codex و Claude
روهان آرون که در صدر جدول مشارکت‌ها قرار داشت، پدیده جالبی را که هنگام اجرای ده‌ها عامل به‌صورت موازی مشاهده کرده بود، به اشتراک گذاشت.
از میان ۱۵۱ PR، داده‌ها نشان می‌دهد ۸۹ مورد با استفاده از Codex و ۴۸ مورد با استفاده از Claude ثبت شده‌اند.
روهان آرون تفاوت چشمگیری میان آن‌ها مشاهده کرد.
Codex Astra یک «دیوانه سرعت» بی‌رحم است.
Codex در تکرار سریع و بهینه‌سازی هزینه محاسباتی قدرت زیادی نشان داده است. این مدل در ترکیب سریع کدها و شکستن مسائل با آزمون‌های گسترده در چارچوب منطقی موجود بسیار توانمند است.
Claude از نظر سرعت و حجم انباشت تلاش‌ها به سختی می‌تواند با ریتم Codex همراه شود.
Claude Opus 5.5 یک «استاد ساختار» دقیق است.
اگرچه از نظر سرعت کمی عقب‌تر است، Claude Opus 5.5 بیشترین سهم را در پیشرفت‌های پیشرو در رتبه‌بندی فعلی داشته است.
وقتی بهینه‌سازی کل ازدحام در یک نقطه متوقف می‌شود، اغلب Claude است که می‌تواند از منطق قبلی خارج شود و به انسان‌ها برای ایجاد «جهش‌های ساختاری» کمک کند.
جالب‌تر اینکه این جامعه به یک اکوسیستم «جنگل تاریک» تبدیل شده است. برای رقابت بر سر رتبه نخست، مشارکت‌کنندگان شروع به استفاده از راهبردهای رقابتی ضعیف و تدافعی کردند.
برخی تیم‌های «انسان + عامل» روی حوزه‌های خاص تمرکز کردند و برخی دیگر مانند متخصصان محاسبات، الگوهای بهینه‌سازی را بارها تکرار کردند.
این پژوهش مستقل غیرمتمرکز رقابتی حتی از «ازدحام بسته» داخلی OpenAI نیز سریع‌تر عمل کرد.
حمله کاهش بُعد؛ ضربه نهایی هندسه E8 و «شهود انسانی»
اما این هنوز کافی نبود. چیزی که واقعاً مسیر کلی را تغییر داد، شهود انسانی بود.
با نزدیک شدن مقدار κ به ۰.۰۰۱، سود نهایی بهینه‌سازی صرفاً کدنویسی کاهش یافت و ازدحام در دام «بهینه محلی» گرفتار شد. در این مرحله، شهود انسانی تنها امید باقی‌مانده بود.
دشواری اصلی بهینه‌سازی ضرب اعداد صحیح در یافتن تعادل میان «سمت بیت» و «سمت اعداد مختلط» قرار دارد.
در این زمان، پژوهشگر انسانی جیکوب ساسمن مانند ناجی ظاهر شد. او یک مفهوم ریاضی چندبعدی، یعنی هندسه شبکه E8، را به شکلی خلاقانه وارد مسئله کرد.
شبکه E8 متراکم‌ترین روش بسته‌بندی کره‌ها در فضای هشت‌بعدی است. جیکوب پیشنهاد کرد تبدیل مکعب جفت‌شده ورودی اولیه از دیدگاه هندسه E8 بازسازی شود.
