موضوع
۷۹ مقاله منتشر شده
امنیت قراردادهای هوشمند تا سال ۲۰۲۶ به یک گردش‌کار ترکیبی تبدیل شده است که در آن عامل‌های هوش مصنوعی تحلیل‌های ایستا را بر عهده دارند و انسان‌ها بر منطق معماری تمرکز می‌کنند. این…
سامانه آزمایشی Lemmalog برای جلوگیری از فراموشی حقایق در عامل‌های هوش مصنوعی، حافظه برداری مبهم را با موتور منطقی Datalog جایگزین کرده است. این رویکرد باعث می‌شود عامل‌ها در وظایف…
فریم‌ورک Talos با معرفی یک هسته‌ی امنیتی تعیین‌گر، هر فراخوانی ابزار توسط عامل‌های هوش مصنوعی را پیش از اجرا به تأیید می‌رساند. این رویکرد برخلاف مدل‌های رایج، امنیت را نه به…
ابزار RealDiff به‌جای بررسی متنی کد، تغییرات رفتار برنامه در زمان اجرا را مقایسه می‌کند تا رگرسیون‌های پنهانی را که تست‌های واحد نادیده می‌گیرند، شناسایی کند.
یک چارچوب اعتبارسنجی جدید با ترکیب تست‌های واحد، تست‌های تفاضلی و ابزارهای شناسایی خطا، نقص‌های پنهان در کدهای تولیدشده توسط هوش مصنوعی را شناسایی می‌کند. این فرآیند کدهای «به…
شرکت آنتروپیک قابلیت‌های کنترل کامپیوتر را برای عموم منتشر کرد، اما حوادث امنیتی اخیر نشان می‌دهد که بدون یک لایهٔ تأیید مستقل، اجرای خودکار گردش‌های کاری در محیط‌های عملیاتی ریسک…
یک معماری جدید پیشنهاد می‌دهد که شکست عامل‌های هوش مصنوعی نه به دلیل ضعف در استدلال، بلکه به دلیل تصمیم‌گیری درباره‌ی «چه چیزی پرسیده شود» است. با انتقال لیست نیازمندی‌ها به خارج…
پلتفرم WhaleHarness سیستمی خودکار برای توسعه، تأیید و انتشار افزونه‌های هوش مصنوعی توسط خودِ عامل‌ها ایجاد کرده است. انتشار موفق دو ابزار ساخته‌شده توسط عامل‌ها، آغاز عصر…
توسعه‌دهندگان برای ایمن‌سازی عامل‌های هوش مصنوعی از رویکرد «دیوار آتش» فاصله گرفته و سامانه Trust Gateway را جایگزین کرده‌اند. این سیستم به‌جای فیلترهای ساده، بر ناورداهای ریاضی و…
با کاهش هزینه تولید کد توسط هوش مصنوعی، گلوگاه توسعه از «نوشتن» به «تأیید» تغییر کرده است. اکوسیستم جدیدی از ابزارهای TypeScript در حال ظهور است تا با تبدیل مفروضات ذهنی به قوانین…
ترنس تائو، ریاضی‌دان برجسته، هشدار می‌دهد که تولید انبوه اثبات‌ها توسط هوش مصنوعی می‌تواند توانایی انسان در بازبینی و درک منطق ریاضی را از بین ببرد. او معتقد است اولویت باید از…
لایه امنیتی Correctover با بازرسی لحظه‌ای فراخوانی‌های ابزاری، مانع از تزریق دستورات مخرب و افشای اعتبارنامه‌ها می‌شود. این سیستم با معرفی یک استاندارد ۷-بعدی، امنیت عامل‌ها را از…