موضوع
۷۹ مقاله منتشر شده
امنیت قراردادهای هوشمند به مدل «انسان در حلقه» تغییر یافته است که در آن مدل‌های زبانی تخصصی، آسیب‌پذیری‌ها را در ثانیه‌ها شناسایی می‌کنند. این گردش‌کار با ترکیب تحلیل ایستا و…
پلتفرم Verax با پیاده‌سازی معماری امنیتی Default-Deny، هرگونه دسترسی عامل‌های هوش مصنوعی به ابزارها را به‌صورت پیش‌فرض مسدود می‌کند. در این سیستم، هیچ ابزاری بدون داشتن یک قانون…
ابزار TLA+ در شناسایی تداخلات سیستمی قدرتمند است، اما نمی‌تواند ویژگی‌هایی را که به فرمول‌های منطقی تبدیل نمی‌شوند، تأیید کند. این محدودیت نشان می‌دهد که روش‌های تأیید رسمی…
یک توسعه‌دهنده موفق شد با جایگزینی بازبینی دستی کد با متدهای تست خودکار و Fuzzing، یک ویرایشگر متن را به‌طور کامل با کد تولیدشده توسط AI بازسازی کند. این تجربه نشان می‌دهد که…
اتحادی از ریاضیدانان خواستار توقف انتشار نتایج ریاضی توسط مدل‌های بسته است. آن‌ها تأکید دارند که آزمایشگاه‌های هوش مصنوعی باید بودجه و شفافیت لازم را برای تبدیل «پاسخ‌های…
سامانه ScholarStack با تبدیل قوانین دولتی به داده‌های ساختاریافته، مانع از دریافت غیرقانونی چندین بورسیه توسط دانشجویان می‌شود. این ابزار با استفاده از Sanity Content Lake، توهمات…
لایهٔ اعتبارسنجی جدید ProvenanceGuard از انتساب حقایق درست به منابع اشتباه در عامل‌های هوش مصنوعی جلوگیری می‌کند. این سیستم برخلاف روش‌های سنتی RAG، هویت منبع را در تمام مراحل…
شرکت xAI مدل Grok 4.6 را با تکیه بر ابرخوشه Colossus معرفی کرد که با جداسازی استدلال از تولید متن، رکوردهای جدیدی در مهندسی نرم‌افزار و ریاضیات ثبت کرده است. این مدل هم‌زمان قیمت…
آنتروپیک برای تبدیل مدل‌های زبانی به عامل‌های عملیاتی، زیرساخت امنیتی NVIDIA OpenShell را به سیستم خود اضافه کرد. این اقدام اجازه می‌دهد عامل‌ها بدون ریسک نشت داده یا دسترسی…
انویدیا با معرفی لایه‌ی امنیتی Sentry در سطح تراشه، عامل‌های هوش مصنوعی را در محیط‌های ایزوله قرار می‌دهد تا از دسترسی غیرمجاز آن‌ها به سیستم‌ها جلوگیری کند. این اقدام پس از آن…
یک نقص امنیتی در متادیتای پاسخ‌های عامل‌های A2A کشف شد که با وجود پاس کردن ۵۸ تست داخلی، داده‌های جعلی ارسال می‌کردند. این یافته منجر به بازبینی جامع مشخصات فنی (نسخه ۱.۴) و ابداع…
پلتفرم Reasonable با ایجاد یک خط لوله عامل‌محور، مدل‌های انتزاعی TLA+ را به اثبات‌های Verus تبدیل می‌کند. این فناوری شکاف میان طراحی سیستم‌های توزیع‌شده و پیاده‌سازی کد Rust را از…