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

دسته‌بندی

تحلیل و بررسی تخصصی

تحلیل‌های عمیق مدل‌ها، مقالات و بنچمارک‌ها — پیش‌چاپ‌ها، ارزیابی‌ها، مدل‌های زبانی پیشرو و پژوهش همراستاسازی.

۵٬۷۴۹ مقاله منتشر شده

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

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

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

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

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

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

۷ دقیقه خواندن۲
بازرسی هوشمند قراردادهای هوشمند با هوش مصنوعی در ۲۰۲۶
آموزش کاربردی

ترکیب تحلیل ایستا و مدل‌های زبانی، بازرسی قراردادهای هوشمند را خودکار کرد

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

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

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

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

۸ دقیقه خواندن
طراحی ابزارهایی که عامل واقعاً بتواند فراخوانی کند
آموزش کاربردی

۵ قانون طراحی ابزار برای جلوگیری از شکست عامل‌های هوش مصنوعی در مقیاس واقعی

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

۶ دقیقه خواندن۲
آیا ریاضیات در آستانه ورود به موزه است؟

«آسیب‌پذیری ریاضیات محض»؛ دستاورد جدید پژوهشگران چینی با کمک Codex

پژوهشگران دانشگاه هونان با کمک مدل Codex توانستند حدس کروی هادویگر را که از سال ۱۹۷۴ باز بود، اثبات کنند. این دستاورد نشان می‌دهد که حتی پیچیده‌ترین حوزه‌های ریاضیات محض نیز در…

۴ دقیقه خواندن۱
خلاصه هفتگی هوش مصنوعی: دوشنبه ۱۷ شهریور

سخت‌افزارهای بومی در برابر تراشه‌های آمریکایی در مدل Xinghuo X2.5

آزمایشگاه iFlytek مدل ۲۹۳ میلیارد پارامتری Xinghuo X2.5 را برای پایان دادن به وابستگی به سخت‌افزارهای آمریکایی عرضه کرد. هم‌زمان، OpenAI در پی یک حادثه در ویکی، چارچوبی برای افشای…

۳ دقیقه خواندن
یادگیری بازنمایی فدراسیونی پراکنده برای ماموریت‌های نقشه‌برداری زمین‌شناسی سیاره‌ای با قابلیت پایش اخلاقی
آموزش کاربردی

پژوهش SFRL: کاهش ۷۳ درصدی ترافیک ارتباطی در شبکه‌های سیاره‌ای

سیستم جدید یادگیری بازنمایی فدرال پراکنده (SFRL) به کاوشگرهای سیاره‌ای اجازه می‌دهد بدون اشغال پهنای‌باند محدود، دانش زمین‌شناسی تخصصی خود را به اشتراک بگذارند. این رویکرد با…

۹ دقیقه خواندن
پژوهشگر کارآموز خودکار اوپن‌ای‌ای در حال تحلیل داده‌ها روی صفحه نمایشگر

عامل‌های OpenAI چگونه حجم کارهای پژوهشی را به ۳.۱ برابر رساندند؟

OpenAI با دستیابی به هدف ساخت «کارآموز پژوهشی خودکار»، حجم عملیات داخلی خود را به شدت افزایش داده است. اکنون در سازمان پژوهشی این شرکت، هر یک روز کاری انسان با بیش از سه روز تلاشِ…

۶ دقیقه خواندن۱
سیستم ساخت عامل‌محور برای سیستم‌های عامل‌محور مبتنی بر هستی‌شناسی، قابل حسابرسی، یک باینری Rust.
آموزش کاربردی

meclaw حلقه‌های تکرار عامل‌های هوش مصنوعی را با توپولوژی فایل جایگزین کرد

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

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