آنتروپیک@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

نظرها

    بیشتر بخوانید

    تنظیمات

    پیش‌نمایش

    انویدیا از نسل تازه‌ی تراشه‌هایش رونمایی کرد؛ متن خبرها با همین اندازه و فاصله‌ی خطوط نمایش داده می‌شود. ۱۴۰۵ — 2026

    ظاهر و متن

    پوسته
    اندازه‌ی متن
    فاصله‌ی خطوط

    خواندن و نمایش

    نمای فهرست خبرها

    استوری‌ها

    چه خبرهایی پخش شوند
    ترتیب
    دیده‌شده‌هابدون باز کردن تک‌تک خبرها

    صدا

    اعلان‌ها و موضوع‌ها

    موضوع‌هایی که دنبال می‌کنیدهنوز هیچانتخاب موضوع‌ها

    صدای فارسی

    این دستگاه صدای فارسی ندارد. نمونه‌ی صداها را بشنوید و یکی را یک بار دانلود کنید تا خبرها و خلاصه‌ی روز را بشنوید.

    راه‌های دیگر

    ویدیوی خبر

    گفتگو

    … نفر آنلاین

      خواندن کامل