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

موضوع

تأیید صوری

۸۲ مقاله منتشر شده

انویدیا با انتشار اوراق قرضه ۲۰ میلیارد دلاری به رونق بدهی هوش مصنوعی پیوست

سنتری انویدیا: سد سخت‌افزاری برای جلوگیری از فرار عامل‌های هوش مصنوعی

انویدیا با معرفی لایه‌ی امنیتی Sentry در سطح تراشه، عامل‌های هوش مصنوعی را در محیط‌های ایزوله قرار می‌دهد تا از دسترسی غیرمجاز آن‌ها به سیستم‌ها جلوگیری کند. این اقدام پس از آن…

۴ دقیقه خواندن۳
۵۸ تست سبز، یک غریبه: چگونه یک شاهد بیرونی، فیلد جعلی را در پاسخ‌های A2A ما یافت.

درون نقص فنی نسخه ۱.۴؛ ابزاری برای اعتبارسنجی واقعی پاسخ‌های A2A

یک نقص امنیتی در متادیتای پاسخ‌های عامل‌های A2A کشف شد که با وجود پاس کردن ۵۸ تست داخلی، داده‌های جعلی ارسال می‌کردند. این یافته منجر به بازبینی جامع مشخصات فنی (نسخه ۱.۴) و ابداع…

۵ دقیقه خواندن۱
اینترنت TLA+ را کشف کرد. حالا چه؟ | منطقی
آموزش کاربردی

پل ارتباطی Reasonable: تبدیل مدل‌های TLA+ به اثبات‌های ماشین‌خوان در Rust

پلتفرم Reasonable با ایجاد یک خط لوله عامل‌محور، مدل‌های انتزاعی TLA+ را به اثبات‌های Verus تبدیل می‌کند. این فناوری شکاف میان طراحی سیستم‌های توزیع‌شده و پیاده‌سازی کد Rust را از…

۹ دقیقه خواندن۱
توسعه زبان‌های برنامه‌نویسی در عصر هوش مصنوعی

جایگزینی LSP با پایگاه‌داده‌های برنامه‌ای؛ ضرورت تغییر معماری ابزارها برای

خوزه والیم، خالق Elixir، استدلال می‌کند که با افزایش کدنویسی توسط عامل‌های هوش مصنوعی، تمرکز زبان‌های برنامه‌نویسی باید از ارگونومی انسانی به تضمین‌های زمان اجرا و پایگاه‌داده‌های…

۹ دقیقه خواندن
بازبینی قرارداد هوشمند با هوش مصنوعی در سال ۲۰۲۶
آموزش کاربردی

عامل‌های تخصصی AI چگونه شناسایی حفره‌های امنیتی DeFi را خودکار می‌کنند؟

ممیزی قراردادهای هوشمند از بررسی ساده‌ی نحو به شبیه‌سازی عامل‌محورِ حملات پیچیده تغییر مسیر داده است. توسعه‌دهندگان اکنون برای شناسایی آسیب‌پذیری‌های بحرانی DeFi پیش از بررسی…

۲ دقیقه خواندن۲
روش جدیدی برای شکستن RSA سریع‌تر از هر روش پیشین کشف شد
اخبار کوتاه روزانه

«آسیب‌پذیری در امضاهای کور»؛ تهدیدی جدید برای Privacy Pass

پژوهشگران راهی برای جعل سریع‌تر امضاهای RSA پیدا کرده‌اند. این آسیب‌پذیری سیستم‌های مدرن را مستقیماً هدف قرار نمی‌دهد، اما پروتکل‌های حریم‌خصوصی مانند Privacy Pass را در معرض خطر…

۲ دقیقه خواندن۲
بازبینی قرارداد هوشمند با هوش مصنوعی در ۲۰۲۶: راهنمای عملی برای توسعه‌دهندگان و سازمان‌ها
آموزش کاربردی

تأیید خودکار قراردادهای هوشمند جایگزین بازبینی دستی کدها شد

امنیت قراردادهای هوشمند تا سال ۲۰۲۶ از بازبینی خط‌به‌خط انسانی به تأیید خودکار با کمک هوش مصنوعی تغییر یافته است. توسعه‌دهندگان اکنون مدل‌های زبانی تنظیم‌شده را برای شناسایی…

۲ دقیقه خواندن۱
حافظه پایدار سمت سرور گوگل برای محاسبات هوش مصنوعی خصوصی
اخبار کوتاه روزانه

گوگل: حافظه دائمی AI با کلیدهای محلی بدون دسترسی به داده‌ها

گوگل قابلیت حافظه دائمی و رمزنگاری‌شده را به پلتفرم Private AI Compute اضافه کرد. با نگه داشتن کلیدهای رمزگشایی در دستگاه کاربر، دستیارهای هوش مصنوعی بدون دسترسی گوگل به داده‌ها،…

۵ دقیقه خواندن
هنگامی که هوش مصنوعی عمل می‌کند، چه کسی به یاد می‌آورد چه اتفاقی افتاد؟ لایه عملیاتی گمشده برای عامل‌های خودکار

«پایان دروغ‌های عامل‌های خودکار»؛ رویکرد جدید COGEXT در انتقال وضعیت

زیرساخت جدیدی به نام COGEXT با اجباری کردن انتقال وضعیت بر اساس شواهد، مانع از ادعاهای دروغین عامل‌های خودکار دربارهٔ تکمیل وظایف می‌شود. این لایه با تبدیل تعهدات به داده‌های قابل…

۹ دقیقه خواندن
نمودار: مدل‌سازی ریاضی ناخوانایی زبانی در امنیت مدل‌های زبانی بزرگ

شکاف میان محاسبات و بیان؛ چرا نظارت زبانی بر مدل‌های زبانی بزرگ ناکارآمد است؟

یک مقاله فنی جدید مفهوم «ناخوانایی زبانی» را تعریف می‌کند؛ شکافی که نشان می‌دهد مدل‌های زبانی می‌توانند در لایه محاسباتی کاری کنند و در لایه بیان، چیز دیگری بگویند. این یافته ثابت…

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