پرش به محتوای اصلی

موضوع

عامل‌محور

Autonomous agents, tool use, planning, multi-step workflows

۶٬۲۷۵ مقاله منتشر شده

محیط ایزوله VM برای اجرای Claude Code و Codex در GitHub trailofbits/coop
آموزش کاربردی

ابزار coop محیط‌های ایزوله برای اجرای امن عامل‌های کدنویس ایجاد می‌کند

شرکت Trail of Bits ابزار coop را معرفی کرد؛ یک رابط خط فرمان مبتنی بر Rust که عامل‌های هوش مصنوعی را در ماشین‌های مجازی یک‌بارمصرف اجرا می‌کند. این سیستم مانع از دسترسی مستقیم…

۱ دقیقه خواندن
استاندارد حافظه اپیزودیک چندمدلی؛ موتور SQLite محلی برای ابزارهای کدنویسی هوش مصنوعی بدون وابستگی به ابر.
آموزش کاربردی

Engrim هزینهٔ توکن‌های حافظه در عامل‌های هوش مصنوعی را ۹۹٪ کاهش داد

موتور حافظهٔ Engrim با جایگزینی پنجره‌های متنی حجیم با یک سیستم حافظهٔ اپیزودیک محلی، هزینه‌های توکن را به شدت کاهش می‌دهد. این ابزار اجازه می‌دهد وضعیت پروژه بین عامل‌های مختلف…

۶ دقیقه خواندن۱
خلاصه پژوهش‌های هوش مصنوعی/یادگیری ماشین — ۱۵ شهریور ۱۴۰۵

«کاهش هزینه‌های استنتاج»؛ دستاورد متدهای جدید در بهینه‌سازی مدل‌های زبانی

پژوهش‌های جدید نشان می‌دهند که می‌توان بدون به‌روزرسانی کامل وزن‌های مدل، هزینه‌های استنتاج را به‌شدت کاهش داد. متدهای WHALE و Random Attention با بهینه‌سازی پرامپت‌ها و تغییر در…

۴ دقیقه خواندن۲
نماینده قرارداد را امضا نکرد
آموزش کاربردی

تثبیت سخت‌افزاری در برابر تاریخچهٔ چت برای تکرارپذیری عامل‌های هوش مصنوعی

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

۷ دقیقه خواندن۳
پرسش از HN: چگونه فایل‌های مهارت‌های خود را مدیریت می‌کنید؟
آموزش کاربردیتأییدنشده · منبع منفرد

واحدهای مهارت در برابر فایل‌های حجیم برای مهار زوال عملکرد عامل‌ها

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

۴ دقیقه خواندن۱
اقتصاد هوش مصنوعی که هیچ‌کس در صفحه‌گسترده نمی‌گنجاند
زندگی با AI

چارچوب اقتصادی جدید: خطاهای مقیاس‌پذیر سودآوری اتوماسیون را می‌بلعند

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

۲ دقیقه خواندن
موتور ریاضی چندموتوره مبتنی بر شواهد برای مدل‌های زبانی بزرگ: محاسبه دقیق، نمادین، رسمی، بازه‌ای-گواهی‌شده و عددی با MathIR ت
آموزش کاربردی

چگونه MathKernel با ردپای کامل، محاسبات مدل‌های زبانی را تضمین می‌کند؟

سامانه MathKernel با تفکیک قصد ریاضی (توسط LLM) از اجرای محاسبات (توسط موتورهای تأییدشده)، توهمات عددی را حذف می‌کند. این ابزار یک مدل اعتماد سخت‌گیرانه و ردپای کامل برای هر…

۴۱ دقیقه خواندن۱
زن جوانی با موهای بلند مشکی که به شکل دم اسبی بسته شده، از نمای پشت سر.
آموزش کاربردی

Ponytail با فلسفهٔ کدنویسی حداقلی جلوی پیچیدگی بیش از حد عامل‌های هوش مصنوعی را

پلاگین Ponytail با اجبار عامل‌های کدنویس به استفاده از کتابخانه‌های استاندارد و الگوهای موجود، از تولید کدهای حجیم و غیرضروری جلوگیری می‌کند. این ابزار با اولویت دادن به…

۲ دقیقه خواندن
اثبات قضیه آخر فرما در نرم‌افزار اثبات‌ساز لیان توسط کلود فرمالی شد.

مدل پژوهشی آنتروپیک قضیه آخر فرمات را در زبان Lean 4 فرمال کرد

یک مدل داخلی آنتروپیک طی ۱۱ روز به‌صورت خودگردان، اثبات اندرو وایلز برای قضیه آخر فرمات را به زبان Lean 4 تبدیل کرد. این دستاورد مدیون لایه هماهنگی Prove2Me است که امکان حفظ حافظه…

۸ دقیقه خواندن۱