موضوع
Chain-of-thought, reasoning models (o-series, R-series), test-time compute
۱٬۶۷۲ مقاله منتشر شده
یک توسعهدهنده با شناسایی پدیده «لنگر انداختن» در بررسیهای چندمدلی، سیستمی را طراحی کرد که مدلها را مجبور به استدلال مستقل میکند. این رویکرد تخاصمی، نرخ تطابق با نتایج واقعی…
یک تحلیل تحریری بررسی میکند که ثبات مدلهای هوش مصنوعی نه از طریق حافظه، بلکه از طریق موقعیت ثابت آنها در یک فضای نهان چندبعدی تأمین میشود. این دیدگاه استدلال میکند که هویت یک…
دموکراتیزه شدن تحلیلهای مالی توسط هوش مصنوعی در حال تبدیل کردن الگوهای بازار به کالاهایی ارزان و بیارزش است. در این فضای جدید، مزیت رقابتی از داشتن ابزار به داشتن دادههای…
آنتروپیک سیستم پروژههای Claude Code را بازطراحی کرد تا بهجای مدیریت دستی پوشهها، از یک هماهنگکننده مرکزی برای توزیع وظایف بین چندین عامل موازی استفاده کند. این بهروزرسانی…
آنتروپیک اعلام کرد که مدلهای Claude اکنون بیش از یکچهارم تحقیق و توسعه داخلی این شرکت را بهطور خودکار هدایت میکنند. همزمان، گوگل با چارچوب Dream-RSI هزینه محاسباتی عاملها را…
جستوجوی برداری سنتی بهدلیل تکیه بر شباهت معنایی، اغلب دادههای قدیمی را بازیابی میکند. با پیادهسازی امتیازدهی شناختی ACT-R، توسعهدهندگان میتوانند نتایج را بر اساس تازگی و…
تیمهای مهندسی برای دستیابی به استدلال قطعی و بدون توهم در سیستمهای سازمانی، پردازش گرافهای پیچیده را مستقیماً در حافظه Node.js پیاده میکنند. این روش با جایگزینی اشیاء…
ابزار Jev از شرکت TypeSafe با عبور از تولید متن ساده، خروجیهای مدلهای زبانی را به تصمیمات ریاضی تبدیل میکند. برخلاف JSON Schema که فقط قالب را کنترل میکند، Jev بر احتمالاتی…
مهندسان ارشد هشدار میدهند که برونسپاری تفکر به عاملهای هوش مصنوعی منجر به تولید نرمافزارهای شکننده و نتایجی «بیشبرازششده» میشود. در حالی که این ابزارها در کارهای ساده…
مدل وزنباز Kimi K3 با ۲.۸ تریلیون پارامتر اکنون در پلتفرم Amazon Bedrock در دسترس است. این مدل با تمرکز بر کارهای پیچیده برنامهنویسی و تحلیل دادههای حجیم، قابلیت کشینگ پرامپت و…
میرو بانوارت ابزاری آزمایشی به نام GrassLobster ساخته است که به عاملهای هوش مصنوعی اجازه میدهد مدلهای پارامتریک در Rhino و Grasshopper را بسازند و تغییر دهند. این سیستم با…
یک غیرمتخصص ریاضی با استفاده از اکوسیستمی از عاملهای هوش مصنوعی و ابزار Lean، اثباتی برای حدس ۵۰ ساله جان کانوی ارائه داد. این پروژه نشان میدهد که ترکیب مدلهای زبانی با…