پرش به محتوای اصلی

موضوع

استدلال

Chain-of-thought, reasoning models (o-series, R-series), test-time compute

۱٬۷۸۹ مقاله منتشر شده

کشف آسیب‌پذیری‌های رمزنگاری با Claude

کلاود میتوس؛ شناسایی نقاط ضعف ریاضی در الگوریتم‌های رمزنگاری پساکوانتومی

پژوهشگران آنتروپیک با استفاده از مدل Claude Mythos Preview توانستند نقص‌های ریاضی بنیادین در الگوریتم‌های رمزنگاری، از جمله طرح HAWK را کشف کنند. این دستاورد نشان‌دهنده انتقال هوش…

۱۶ دقیقه خواندن۲
شما هم می‌توانستید به «توجه دلتا کیمی» برسید | دابل‌ورد
آموزش کاربردی

معماری KDA: حذف تداخل حافظه با قانون دلتا در توالی‌های بلند

معماری جدید KDA با جایگزینی به‌روزرسانی‌های جمعی ساده با قانون دلتا و فراموشی کانال‌به‌کانال، مشکل تداخل در حافظه‌های با اندازه ثابت را برطرف می‌کند. این رویکرد به مدل‌ها اجازه…

۱۵ دقیقه خواندن۳
شناسایی کلید API سخت‌کد شده با روش اجماع چند مدل زبانی بزرگ که یک متخصص ارشد از دست داده بود
آموزش کاربردیتأییدنشده · منبع منفرد

۹۱ حفره امنیتی در ۱۲ ثانیه؛ NexaVerify متخصصان انسانی را شکست داد

سامانه NexaVerify با استفاده از اجماع چندمدلی، ۹۱ آسیب‌پذیری امنیتی را در ۱۲ ثانیه شناسایی کرد. این ابزار موفق شد یک کلید API حساس را در فایل‌های مستنداتی بیابد که یک متخصص ارشد…

۲ دقیقه خواندن۳
نحوه مدل‌سازی ادعاهای علمی قبل از تولید نمودار
آموزش کاربردی

جایگزینی مشخصات فنی با پیکسل‌ها؛ راهکار جدید حذف توهم در دیاگرام‌های علمی

یک گردش‌کار جدید در تصویرسازی علمی، مدل‌های هوش مصنوعی را از تولید مستقیم تصویر به مدل «ابتدا مشخصات» منتقل کرده است. این سیستم با اجبار مدل به تعریف توپولوژی و شواهد پیش از…

۵ دقیقه خواندن۲
حلقه خوددرمانی هوش مصنوعی: عامل‌های خودمختار چگونه کدهای خود را اشکال‌زدایی می‌کنند
آموزش کاربردی

حلقهٔ ترمیم TormentNexus زمان رفع باگ‌های نرم‌افزاری را ۹۹.۱٪ کاهش داد

سیستم جدید TormentNexus با معرفی «حلقهٔ ترمیم»، امکان تشخیص، اصلاح و تأیید خودکار کدها را برای عامل‌های هوش مصنوعی فراهم کرد. این معماری با استفاده از یک لایه حافظه مشترک، باعث…

۸ دقیقه خواندن۳
تقاطع مش سه‌بعدی با تضمین رسمی: به ۹۳ خط مشخصات اعتماد کنید، نه ۱۰۰۰+ خط کد نوشته‌شده با هوش مصنوعی

«اعتماد به ۹۳ خط»؛ راهکار Lean 4 برای 검증 اثبات‌های هوش مصنوعی

یک هسته محاسباتی برای تقاطع مش‌های سه‌بعدی با استفاده از Lean 4 پیاده‌سازی شده است که صحت آن را بدون نیاز به اعتماد به کد تولید شده توسط AI تضمین می‌کند. در این رویکرد، بازبین…

۱۴ دقیقه خواندن۱
قرارداد ۴۱۰ میلیون دلاری سوپراینتلیجنس بازگشتی با آمازون برای قدرت پردازشی

آیا سرمایه‌گذاری سنگین در AWS، عصر عامل‌های خودبهبودبخش را آغاز می‌کند؟

شرکت Recursive Superintelligence برای توسعه سیستم‌های خودبهبودبخش، ۴۱۰ میلیون دلار هزینه محاسباتی را به AWS پرداخت کرد. این توافق بر رشد خودکار عامل‌ها به‌جای افزایش تعداد کارکنان…

۲ دقیقه خواندن۱