موضوع
Chain-of-thought, reasoning models (o-series, R-series), test-time compute
۱٬۷۷۳ مقاله منتشر شده
ابزار Jev از شرکت TypeSafe با عبور از تولید متن ساده، خروجی‌های مدل‌های زبانی را به تصمیمات ریاضی تبدیل می‌کند. برخلاف JSON Schema که فقط قالب را کنترل می‌کند، Jev بر احتمالاتی…
مهندسان ارشد هشدار می‌دهند که برون‌سپاری تفکر به عامل‌های هوش مصنوعی منجر به تولید نرم‌افزارهای شکننده و نتایجی «بیش‌برازش‌شده» می‌شود. در حالی که این ابزارها در کارهای ساده…
مدل وزن‌باز Kimi K3 با ۲.۸ تریلیون پارامتر اکنون در پلتفرم Amazon Bedrock در دسترس است. این مدل با تمرکز بر کارهای پیچیده برنامه‌نویسی و تحلیل داده‌های حجیم، قابلیت کشینگ پرامپت و…
می‌رو بان‌وارت ابزاری آزمایشی به نام GrassLobster ساخته است که به عامل‌های هوش مصنوعی اجازه می‌دهد مدل‌های پارامتریک در Rhino و Grasshopper را بسازند و تغییر دهند. این سیستم با…
یک غیرمتخصص ریاضی با استفاده از اکوسیستمی از عامل‌های هوش مصنوعی و ابزار Lean، اثباتی برای حدس ۵۰ ساله جان کانوی ارائه داد. این پروژه نشان می‌دهد که ترکیب مدل‌های زبانی با…
پژوهشگران مؤسسه دیپ‌مایند هشدار می‌دهند که مدل‌های پیشرفته در حال حرکت به سمت استدلال‌های غیرشفاف در «فضای عددی» هستند. این تغییر باعث می‌شود شناسایی دروغ یا برنامه‌ریزی‌های…
تحلیلی فنی روی ساختار عامل‌های کدنویس نشان می‌دهد مدیریت زمینه بر اساس قوانین ساده و رابط‌های مبتنی بر bash، هزینه‌ها را بدون کاهش دقت مدل‌های قدرتمند، به‌شدت کاهش می‌دهد. این…
گروهی از برجسته‌ترین ریاضی‌دان جهان، از جمله برندگان مدال فیلدز، هشدار دادند که هوش مصنوعی به‌سرعت در حال دستیابی به توانایی‌های ریاضی فرا-انسانی است. آن‌ها از دولت‌ها خواستند…
ترکیب مدل‌های زبانی بزرگ با گراف‌های دانش، حافظه‌ای قابل حسابرسی ایجاد می‌کند که جایگزین حدس‌های احتمالی مدل می‌شود. این معماری به‌ویژه در حوزه‌های حساس مانند پژوهش‌های زیست‌پزشکی…
علی‌بابا مدل جدید Qwen3.8-Omni-Flash را معرفی کرد که با ادغام درک صوت و تصویر در یک معماری واحد، هزینه‌های پردازش ویدیو را به‌شدت کاهش می‌دهد. این مدل با استفاده از یک مکانیزم…
طراحی زیرساخت‌های سنتی بر پایه میکروسرویس‌های بدون وضعیت، با ماهیت استدلالی عامل‌های هوش مصنوعی سازگار نیست. این تضاد باعث می‌شود سیستم‌های پایش سلامت، فرآیندهای سالم را به دلیل…
پلتفرم Oxlo.ai با جایگزینی هزینه توکن‌محور با نرخ ثابت به‌ازای هر درخواست، سد مالی پردازش پرونده‌های حجیم پزشکی را شکست. این رویکرد باعث می‌شود تحلیل اسناد طولانی و گردش‌کارهای…