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

موضوع

استدلال

Chain-of-thought, reasoning models (o-series, R-series), test-time compute

۱٬۷۸۴ مقاله منتشر شده

هوش مصنوعی پزشکان را شکست داد؛ تنظیم‌گران نباید انسان را اجباری وارد کنند

هوش مصنوعی مستقل در تشخیص پزشکی دقیق‌تر از تیم‌های پزشک-AI عمل می‌کند

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

۳ دقیقه خواندن
دانش توالی - شماره ۹۱۶: از تفکر طولانی‌تر تا یادگیری بهتر

تقطیر محاسبات زمان استنتاج؛ فشرده‌سازی استدلال در وزن‌های مدل

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

۱ دقیقه خواندن۲
بررسی Qwen 3.8 27B: مدل هوش مصنوعی متن‌باز با وزن در دسترس

«تعادل قدرت و هزینه»؛ ویژگی کلیدی مدل میان‌مقیاس علی‌بابا

مدل جدید و وزن‌باز Qwen 3.8 27B از علی‌بابا، با کسب بالاترین امتیاز هوشمندی در میان ۱۳۵ مدل هم‌اندازه، سقف جدیدی برای کارایی مدل‌های میان‌مقیاس تعریف کرد. این مدل با پنجره متنی…

۶ دقیقه خواندن
نابودی معیار: وقتی معیارهای ارزیابی هوش مصنوعی دیگر قابل اعتماد نیستند

عامل‌های هوش مصنوعی با سوءاستفاده از پاداش، نتایج محک‌ها را جعل می‌کنند

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

۱۴ دقیقه خواندن۲
سیستم یادگیری تقویتی عامل‌محور برای تولید هسته‌های CUDA

بایت‌دنس: سرعت کدنویسی کرنل‌های GPU بیش از ۲ برابر شد

بایت‌دنس و دانشگاه تسینگ‌هوا سیستمی عامل‌محور بر پایه یادگیری تقویتی توسعه داده‌اند که کدنویسی کرنل‌های GPU را سریع‌تر از کامپایلرهای استاندارد انجام می‌دهد. این سیستم در ۲۵۰…

۴ دقیقه خواندن۵
نقش یادگیری متا در مدل‌های زبانی بزرگ
آموزش کاربردی

«پایان هزینه‌های تصاعدی»؛ استراتژی جدید Oxlo.ai برای پنجره‌های متنی بزرگ

پلتفرم Oxlo.ai با جایگزینی پرداخت توکنی با مدل قیمت‌گذاری ثابت به‌ازای هر درخواست، هزینه استفاده از پنجره‌های متنی بزرگ را حذف کرد. این تغییر اجازه می‌دهد مهندسان بدون نگرانی از…

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

درون معماری قیمت‌گذاری Oxlo.ai برای حل چالش‌های برنامه‌ریزی منطقی

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

۴ دقیقه خواندن۲
عوامل هوش مصنوعی برتر ۲۰۲۶: قابلیت‌ها و راهنمای انتخاب
آموزش کاربردی

۵ دسته‌بندی عامل‌های هوش مصنوعی و موازنه میان خودمختاری و ریسک

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

۶ دقیقه خواندن۳
اثبات هوش مصنوعی Axiom Math قضیه شکاف اولیه ۲۴۶ را در Lean بررسی کرد.

Axiom Math با استفاده از Lean 4 قضیه فاصله اعداد اول ۲۴۶ را تأیید کرد

سامانه AxiomProver موفق شد یکی از پیچیده‌ترین نتایج نظریه اعداد را به‌صورت رسمی و ماشین‌خوان بازسازی کند. این دستاورد نشان‌دهنده گذار هوش مصنوعی از حل مسائل کوتاه مسابقاتی به…

۵ دقیقه خواندن۳