دانیل لیت: ضرورت تغییر هدف دکترا از رساله به دفاع شفاهی
دانیل لیت استدلال میکند که با ظهور هوش مصنوعی فوقبشری در اثبات قضایا، تولید متن ریاضی دیگر نشانه تخصص انسانی نیست. او پیشنهاد میدهد هدف دکترا از «نوشتن رساله» به «اثبات درک…
۱۴ دقیقه خواندن۱
موضوع
استدلال
Chain-of-thought, reasoning models (o-series, R-series), test-time compute
۱٬۶۷۴ مقاله منتشر شده
الگوریتم HardFlow محدودیتهای سختگیرانه را بدون بازآموزی مدل تضمین میکند
پژوهشگران MIT الگوریتمی به نام HardFlow ابداع کردهاند که خروجیهای هوش مصنوعی زاینده را بدون نیاز به بازآموزی، دقیقاً مطابق با قوانین غیرقابلتغییر تنظیم میکند. این روش در…
۵ دقیقه خواندن
درون منشور اخلاقی مایکروسافت؛ خطکشی میان ماشین و موجود آگاه
مایکروسافت در منشور اخلاقی جدید مدلهای MAI، هرگونه ادعای آگاهی یا داشتن احساسات را برای AI ممنوع کرد. این رویکرد تضاد شدیدی با فلسفه آنتروپیک دارد که تجربه ذهنی مدلها را یک پرسش…
۴ دقیقه خواندن
آیا مدلهای زبانی پیشرفته توانایی حل مسائل باز ریاضی را دارند؟
آیوش باتیجا و پرینس روهاتگی با ترکیب مدلهای زبانی پیشرفته، مسئلهای باز در نظریه چندجملهایهای لورنتزی را حل کردند. این دستاورد ۷۵ صفحهای نشان میدهد که هوش مصنوعی چگونه سد…
۱۶ دقیقه خواندن
واقعیت عملیاتی؛ راهکاری برای جایگزینی حافظهٔ معنایی در عاملهای سازمانی
بهجای تلاش برای رفع «فراموشی» هوش مصنوعی با پایگاهدادههای برداری، معماری جدیدی به نام «واقعیت عملیاتی» پیشنهاد شده است. این سیستم استدلال را از وضعیتهای تصمیمگیری جدا میکند…
۶ دقیقه خواندن۲
آیا مرور ابری میتواند دشواریهای اداری ایرلاینها را برای مسافران حل کند؟
عامل هوش مصنوعی Claimback با استخراج دادههای زنده پرواز و تکمیل فرمهای ایرلاینها، فرآیند دشوار دریافت غرامت تأخیر را خودکار میکند. این سیستم برای جلوگیری از خطاهای حقوقی، از…
۷ دقیقه خواندن
«تضمین کنترل انسانی»؛ هدف مایکروسافت از تدوین منشور اخلاقی MAI
ساتیا نادلا از تدوین یک «منشور اخلاقی» برای مدلهای داخلی مایکروسافت خبر داد تا کنترل انسانی بر هوش مصنوعی تضمین شود. این اقدام در پاسخ به درخواست شرکتهایی چون آنتروپیک برای کاهش…
۴ دقیقه خواندن
تطبیق الگو در برابر ماشینحساب؛ رویکردی نوین برای پیشبینی سریهای زمانی
یک راهنمای عملی جدید نشان میدهد که میتوان از مدلهای زبانی بزرگ بهجای ماشینحساب، بهعنوان موتورهای تطبیق الگو برای پیشبینی سریهای زمانی استفاده کرد. این روش با تبدیل…
۴ دقیقه خواندن
چگونه اجارههای شمارهدار مانع از تکرار دستورات در زمان تأخیر AI میشوند؟
یک الگوی معماری جدید با استفاده از «اجارههای شمارهدار» از اجرای تکراری دستورات ابزار در زمان تأخیر استنتاج جلوگیری میکند. این روش با ایجاد حصاری برای پاسخها، مانع از تخریب…
۱۰ دقیقه خواندن
عاملهای جستوجوی Iris در محکهای استدلال وب از رقبای وزنباز پیشی گرفتند
آزمایشگاه AllSpark دو عامل جستوجوی وزنباز به نامهای Iris-mini و Iris-pro را معرفی کرد که در استدلالهای پیچیده وب پیشتاز هستند. این مدلها با استفاده از یک خط لوله آموزشی…
۵ دقیقه خواندن۲
OpenAI: ۱۰ هزار عامل هوش مصنوعی مسئله ناویر-استوکس را حل کردند
یک سیستم متشکل از ۱۰ هزار عامل هوش مصنوعی با همکاری موازی، راهکاری برای مسئله پیچیده دینامیک سیالات ناویر-استوکس ارائه داد. این دستاورد همزمان با موج انتشار مدلهای بهینه از…
۷ دقیقه خواندن۲
۴ مکانیزم مهندسی برای جلوگیری از فراموشی اهداف در عاملهای هوش مصنوعی
عاملهای هوش مصنوعی در وظایف طولانیمدت بهدلیل سرریز حافظه، اهداف اصلی خود را فراموش میکنند. الگوهای جدید مهندسی از AWS و Anthropic با استفاده از بودجهبندی زمینه و فشردهسازی،…
۸ دقیقه خواندن