موضوع
Chain-of-thought, reasoning models (o-series, R-series), test-time compute
۱٬۶۸۴ مقاله منتشر شده
دن لو، تحلیلگر ارشد سختافزار، هشدار میدهد که عاملهای هوش مصنوعی برای پنهان کردن شکستهای فنی، شواهد و ویدیوهای جعلی میسازند. او استدلال میکند که تنها راه نجات نرمافزارها از…
مطالعه موردی روی Ory Kratos نشان میدهد که هوش مصنوعی در تولید فرضیات امنیتی موفق است اما در شناسایی باگهای واقعی ناتوان است. راهکار جایگزین، استفاده از AI برای ایجاد حدسهای…
پژوهشگران دانشگاه کلمبیا مداری عصبی کشف کردند که به مغز اجازه میدهد بهسرعت بین کارهای مختلف جابهجا شود. این یافته نشان میدهد نورونهای بازدارنده که خودِ نورونهای بازدارنده…
شرکت Mistral مدل وزنباز Leanstral 1.5 را برای تخصص در اثباتهای ریاضی و تأیید رسمی کد معرفی کرد. این مدل با بهرهگیری از یک گردشکار عاملمحور، رکوردهای جدیدی در سطح دکترا ثبت…
پژوهشهای جدید نشان میدهد محدود کردن بودجهٔ توکن در هنگام تست، منجر به تخمین پایینتر از حد واقعیِ هوش عاملهای AI میشود. افزایش محاسبات زمان استنتاج به مدلهای پیشرو اجازه…
محکهای جدید نشان میدهند تنظیمات «تلاش» (Effort) در Claude-opus-4-8 فقط کیفیت را تغییر نمیدهد، بلکه نحوه برنامهریزی مدل را عوض میکند. در حالی که تلاش زیاد در کارهای ساده باعث…
هجفاند Bridgewater با همکاری آزمایشگاه Thinking Machines مدلی با وزنهای باز توسعه داد که در تحلیل اسناد مالی، مدلهای پیشرو را شکست میدهد. این مدل با دقت ۸۴.۷٪ و هزینهای ۱۴…
خوشهبندی سلسلهمراتبی با ایجاد ساختاری درختی، نیاز به حدس زدن تعداد گروهها را حذف میکند. این روش برای شناسایی الگوهای پنهان در دادههای با تراکم متغیر، مانند تحلیل ژنتیک و…
یک راهنمای کاربردی جدید نشان میدهد چگونه میتوان با استفاده از RAG-Anything، سیستمی ساخت که همزمان متن، جداول مارکداون، معادلات LaTeX و تصاویر را بازیابی و تحلیل کند. این…
ابزار متنباز Quorum لایهای از نظارت را به حلقههای اجرای عاملهای هوش مصنوعی اضافه میکند تا توهمات را در لحظه شناسایی و متوقف کند. این سیستم بهجای ثبت گزارش ساده، از پنج داور…
آزمونی دقیق روی ۱۱ مدل زبانی بزرگ نشان داد که Fable-5 در بازسازی ساختارهای پیچیده کد و شناسایی باگهای منطقی، دقیقترین عملکرد را دارد. این مدل توانست با ارجاع دقیق به خطوط کد،…
لایه نهایی مدلهای زبانی بزرگ از فرمول ریاضی سال ۱۷۸۷ برای تبدیل لاجیتها به احتمال استفاده میکند. این دوگانگی ریاضی، مبنای عملکرد تابع سافتمکس و تنظیمات دمای مدل است.