آنتروپیک
@ValsAI
بچههای تیم Vals AI ده تا ایجنت از مدل هوش مصنوعی Claude Opus 5.5 رو همزمان فرستادن میدون تا یه الگوریتم سریعتر برای مسئله معروف «کوتاهترین مسیر» طراحی کنن

بچههای تیم Vals AI ده تا ایجنت از مدل هوش مصنوعی Claude Opus 5.5 رو همزمان فرستادن میدون تا یه الگوریتم سریعتر برای مسئله معروف «کوتاهترین مسیر» طراحی کنن. باورت نمیشه ولی این هوش مصنوعیها فقط ظرف ۱۵ ساعت کارو جمع کردن و الگوریتم جدیدی به اسم C-HD تحویل دادن که رکوردهای ثبتشده علمی قبلی رو قشنگ جا گذاشته. از اونم قشنگتر اینکه ادعاشون کشکی نبوده و اثبات دقیق ریاضی این قضیه رو هم توی محیط Lean بستن و تحویل دادن تا مو لای درزش نره. این ماجرا قشنگ ثابت کرد وقتی چندتا هوش مصنوعی قلدر دستبهیکی کنن، میتونن کارهایی که ماهها زمان دانشمندا رو میگرفت توی نصف روز ردیف کنن.
منبع
Vals AI@ValsAI
We asked ten Claude Opus 5.5 agents to devise a faster shortest-path algorithm and prove it in Lean. Within 15 hours, they produced C-HD: a formally verified improvement over the published bounds.
۳۱ شهریور ۱۴۰۵مشاهده در X


نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.