
درون اصلاحات هسته Lean پس از اثبات نادرست حدس کولاتز
یک حفره امنیتی در هسته Lean باعث شد اثباتی نادرست برای حدس کولاتز پذیرفته شود. این اتفاق نتیجه همزمانی دو باگ مجزا در هسته رسمی و یک بررسیکننده مستقل بود.
دستهبندی
تحلیلهای عمیق مدلها، مقالات و بنچمارکها — پیشچاپها، ارزیابیها، مدلهای زبانی پیشرو و پژوهش همراستاسازی.
۵٬۸۵۴ مقاله منتشر شده

یک حفره امنیتی در هسته Lean باعث شد اثباتی نادرست برای حدس کولاتز پذیرفته شود. این اتفاق نتیجه همزمانی دو باگ مجزا در هسته رسمی و یک بررسیکننده مستقل بود.

انویدیا با ترکیب هستههای گرافیکی ادغامشده و دقت ۸ بیتی (FP8)، حافظه و تأخیر آموزش مدلهای زبانی بزرگ را بهشدت کاهش داد. این رویکرد سختافزار-آگاه، جایگزینی بهینه برای…

کلاود کد (Claude Code) با جایگزینی پرامپتهای آزاد با یک سیستم ساختاریافته از چهار لایه ابزاری، خروجیهای غیرقابلپیشبینی مدلهای زبانی را به اقدامات قابلاعتماد تبدیل میکند.…

پلتفرم Oxlo.ai با جایگزینی مدل پرداخت توکنی با قیمت ثابت بهازای هر درخواست، مانع از رشد خطی هزینهها در سیستمهای توصیهگر شد. این رویکرد در کنار معماری بازیابی دو مرحلهای،…

موتور استنتاج TensorSharp در بنچمارکهای مدل DeepSeek-V4-Flash، عملکردی بهمراتب سریعتر از llama.cpp را در محیطهای چند-GPU به ثبت رساند. این ابزار با بهرهگیری از معماری بومی…

پژوهشهای جدید نشان میدهد عاملهای کدنویسی مانند Claude Code میتوانند فرآیندهای بهروزرسانی نرمافزارهای زیستشناسی را بهشدت تسریع کنند، اما همچنان قادر به تشخیص صحت علمی کدهای…

توسعهدهندگان با ترکیب فیلترهای قطعی Regex و لایهی برداری معنایی، «لغزشهای قصد» را در مسیریابی عاملهای هوش مصنوعی حذف کردند. این معماری ترکیبی تضمین میکند که درخواستهای…

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

مقایسه هزینه کل مالکیت (TCO) نشان میدهد که قیمتگذاری توکنی در ابر، هزینههای عملیاتی پنهان را میپوشاند، در حالی که سودآوری میزبانی شخصی کاملاً به نرخ بهرهوری سختافزار وابسته…

عاملهای تجاری برای خروج از مرحلهٔ نمونههای اولیه، نیازمند یک حلقه مهندسی سخت شامل «دروازه، حسابرسی و اصلاح» هستند. این سیستم خطاهای تصادفی مدلهای زبانی را به قوانین فیزیکی و…

مهندسی یک سیستم حافظه با «محدودیتهای سخت» مانع از تکرار خطاهای شناختهشده در عاملهای هوش مصنوعی میشود. این روش با تبدیل دستورات متنی به اسکریپتهای اجرایی، شکستهایی را حذف…

یک پژوهشگر امنیتی حفرهای در مایکروسافت کوپایلوت برای ورد کشف کرد که اجازه میدهد بدافزارهای متنی بهصورت خودکار در اسناد پخش شوند. علیرغم تأیید مایکروسافت، این آسیبپذیری…