
ترکیب تحلیل ایستا و مدلهای زبانی، بازرسی قراردادهای هوشمند را خودکار کرد
بازرسی قراردادهای هوشمند در سال ۲۰۲۶ به یک خط لوله ترکیبی تبدیل شده است که ابزارهای تحلیل ایستا را با مدلهای زبانی بزرگ برای شناسایی خطاهای منطقی ادغام میکند. این رویکرد به…
موضوع
۳٬۴۲۵ مقاله منتشر شده

بازرسی قراردادهای هوشمند در سال ۲۰۲۶ به یک خط لوله ترکیبی تبدیل شده است که ابزارهای تحلیل ایستا را با مدلهای زبانی بزرگ برای شناسایی خطاهای منطقی ادغام میکند. این رویکرد به…

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

مایکل کامینسکی استدلال میکند که تاییدات انسانی در مقیاس عاملهای هوش مصنوعی باعث ایجاد «تئاتر تایید» و توقف عملیاتی میشود. او سیستمی سه لایه شامل حذف قابلیت، گیتهای حذف خودکار…

بررسی دلایل شکست طرحهای ابزاری در محیط عملیاتی و ارائه راهکارهایی برای افزایش قابلیت اطمینان عاملها. این راهنما بر جایگزینی قوانین متنی با محدودیتهای ساختاری برای تضمین امنیت و…

یک توسعهدهنده با استفاده از پروتکل زمینهٔ مدل (MCP)، یک «مغز دوم» شخصی و میزبانیشده ساخت تا حافظهٔ متنی Markdown را میان ابزارهای مختلف هوش مصنوعی همگام کند. این سیستم نیاز به…

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

پلتفرم Mechanical Turk آمازون در اواخر سال ۲۰۲۶ تعطیل میشود. این تصمیم لایهی حیاتی «انسان در حلقه» را برای برچسبگذاری دادههای یادگیری ماشین و برونسپاری فرآیندهای تجاری حذف…

پروژه Asahi Linux پشتیبانی از سری M3 را به نصبکننده رسمی خود اضافه کرد. در حالی که اکثر سختافزارها بهدرستی کار میکنند، شتابدهنده گرافیکی و حالت خواب هنوز محدودیتهای جدی…

سامانه meclaw با تبدیل ساختار عملیاتی عاملها به یک درخت دایرکتوری در لینوکس، نیاز به بازنویسی کد برای تغییر رفتار آنها را حذف کرد. این سیستم اجازه میدهد عاملها در زمان اجرا،…

سامانه Anubis برای مقابله با اسکرپرهای تهاجمی، سیستم اثبات کار (PoW) را پیادهسازی کرد تا هزینه استخراج انبوه دادهها را برای شرکتهای هوش مصنوعی به شدت افزایش دهد.

ابزار جدیدی به نام The Letter با استفاده از معماری Span Gate، نامههای پیچیده دولتی را به صوت ساده تبدیل میکند. این سیستم هر ادعای تولیدشده توسط هوش مصنوعی را که مستقیماً در متن…

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