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