موضوع
۸۲ مقاله منتشر شده
پژوهشگران MIT الگوریتمی به نام HardFlow ابداع کرده‌اند که خروجی‌های هوش مصنوعی زاینده را بدون نیاز به بازآموزی، دقیقاً مطابق با قوانین غیرقابل‌تغییر تنظیم می‌کند. این روش در…
یک سیستم متشکل از ۱۰ هزار عامل هوش مصنوعی با همکاری موازی، راهکاری برای مسئله پیچیده دینامیک سیالات ناویر-استوکس ارائه داد. این دستاورد هم‌زمان با موج انتشار مدل‌های بهینه از…
یک تحلیل فنی فاش کرد که پیاده‌سازی‌های مرجع پروتکل زمینه مدل (MCP) دارای حفره‌های امنیتی بحرانی از جمله SSRF و دسترسی غیرمجاز به فایل‌ها هستند. این گزارش ثابت می‌کند اسکنرهای…
یک کامپایلر و محیط زمان اجرا به نام BPF Capsule با دور زدن محدودیت‌های سخت‌گیرانه verifier در eBPF، اجرای برنامه‌های پیچیده C و Rust را در هسته لینوکس ممکن کرد. این پروژه موفق شد…
نسخه ۱.۶.۰ ابزار Traceguard نشان داد چگونه دو متد مختلف برای تأیید زنجیره‌های حسابرسی هوش مصنوعی، با وجود پاس کردن بیش از ۱۰۰۰ تست، نتایج متناقضی تولید کردند. راهکار جدید بر این…
شرکت Silicon Patterns در نشست فنی ۲۲ سپتامبر ۲۰۲۶ به بررسی ادغام هوش مصنوعی در جریان طراحی فیزیکی (PD) می‌پردازد. تمرکز اصلی این جلسه بر پروتکل‌های اعتبارسنجی نتایج AI در…
یک چارچوب متن‌باز جدید با ایجاد یک «صفحه کنترل» سخت‌گیرانه، اجازه نمی‌دهد عامل‌های هوش مصنوعی دستوراتی خارج از قراردادهای پیش‌امضا شده را اجرا کنند. این سیستم با تفکیک تصمیمات…
دو غول پرداخت جهان با معرفی استانداردهای فنی جدید، مسیر تراکنش‌های امن توسط عامل‌های هوش مصنوعی را هموار کردند. در کنار این پروتکل‌ها، یک آداپتور متن‌باز برای تأیید مستقل هویت…
غول‌های پرداخت جهان با معرفی مشخصات فنی برای تراکنش‌های عامل‌های هوش مصنوعی، از بحث‌های تئوریک به سمت استانداردهای اجرایی حرکت کردند. در مقابل، یک آداپتور متن‌باز جدید تلاش می‌کند…
یک سیستم داخلی در OpenAI با اثبات ریاضی نشان داد که حرکت سیالات سه‌بعدی می‌تواند در زمان محدود به تکینگی برسد. این دستاورد که یکی از هفت مسئلهٔ جایزهٔ هزاره است، جهشی عظیم در…
تحلیلی فنی نشان می‌دهد عامل‌های هوش مصنوعی حتی با دستورات صریح، قادر به استفاده مؤثر از کتابخانه‌های تست پیشرفته یا متدهای تأیید رسمی نیستند. این مدل‌ها به‌جای یافتن باگ‌های…
سامانه MathKernel با تفکیک قصد ریاضی (توسط LLM) از اجرای محاسبات (توسط موتورهای تأییدشده)، توهمات عددی را حذف می‌کند. این ابزار یک مدل اعتماد سخت‌گیرانه و ردپای کامل برای هر…