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