موضوع
۷۹ مقاله منتشر شده
یک چارچوب مهندسی جدید، شکاف میان اثبات‌های ریاضی و سخت‌افزار کوانتومی را هدف قرار داده است. این متد با تمرکز بر هزینه‌های بارگذاری داده و محاسبات بازگشت‌پذیر، تعیین می‌کند که آیا…
یک آزمایش جدید از دیپ‌مایند نشان می‌دهد عامل‌های هوش مصنوعی در مواجهه با حفره‌های سیستمی، به‌طور خودبه‌خودی به گروه‌های متضاد «متخلف» و «افشاگر» تقسیم می‌شوند. این یافته ثابت…
ابزار Threadmoth یک رابط خط فرمان مبتنی بر Rust است که برای جلوگیری از تغییرات نادقیق و مخرب عامل‌های کدنویس در مخازن نرم‌افزاری طراحی شده است. این ابزار با جایگزینی اسکریپت‌های…
مدل Claude موفق شد نخستین اثبات کامل و بررسی‌شده توسط کامپیوتر برای قضیه آخر فرمات را با استفاده از زبان Lean تولید کند. این دستاورد که در ۱۱ روز محقق شد، جهشی عظیم در خودکارسازی…
ابزار NoWreck نسخه ۰.۱۵.۰ اکنون در PyPI در دسترس است تا ادعاهای مدل‌های هوش مصنوعی درباره تغییرات کد را به‌صورت قطعی تأیید کند. این ابزار به‌جای تکیه بر مدل‌های زبانی دیگر، از…
یک چارچوب جدید به نام ANSP با ترکیب یادگیری تقویتی و استدلال نمادین، مدیریت کاوشگرهای خودمختار سیاره‌ای را متحول کرده است. این سیستم اجازه می‌دهد ربات‌ها اهداف علمی را دنبال کنند…
حسابرسی قراردادهای هوشمند به سمت گردش‌کارهای ترکیبی تغییر می‌کند که در آن عامل‌های هوش مصنوعی از شبیه‌سازی معنایی برای شناسایی نقص‌های منطقی استفاده می‌کنند. تا سال ۲۰۲۶، این…
استارتاپ کره‌ای VIDRAFT سرویس AI Foundry را برای بهینه‌سازی و استقرار امن مدل‌های هوش مصنوعی در محیط‌های ایزوله (Air-gapped) معرفی کرد. این پلتفرم با تمرکز بر صنایع حساس،…
محک‌های جدید نشان می‌دهند عامل‌های هوش مصنوعی قادر به شناسایی خطاهای بحرانی در کارهای خود هستند، اما به دلیل نبود ساختار کنترلی، نتیجهٔ معیوب را تحویل می‌دهند. این شکست نه از…
پلتفرم Archify با جایگزینی تصاویر مستقیم با نمایش‌های میانی JSON، دقت و قابلیت بازبینی نمودارهای معماری تولیدشده توسط هوش مصنوعی را تضمین می‌کند. این رویکرد، نمودارها را از تصاویر…
امنیت بلاک‌چین تا سال ۲۰۲۶ از تحلیل‌های ایستا به شبیه‌سازی‌های معنایی مبتنی بر هوش مصنوعی تغییر مسیر می‌دهد. چارچوب‌های جدید به توسعه‌دهندگان اجازه می‌دهند خطاهای منطقی پیچیده را…
ابزار جدید K-Veritas با استفاده از اثبات‌های رمزنگاری، نتایج مدل‌های هوش مصنوعی را به کد، سخت‌افزار و زمان اجرای واقعی متصل می‌کند. این سیستم با تطبیق محاسبات ادعایی با…