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

موضوع

استدلال

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

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

موج‌های شگفت‌انگیز و پیچیده، نحوه کارکرد درون مغز را آشکار می‌کنند | کوانتامگزین

«موج‌های پیچیده»؛ کلید جدید پردازش اطلاعات در حافظه فضایی مغز

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

۹ دقیقه خواندن۱
توافق چندساله سیناپسیس و اوپن‌ای‌ای برای توسعه مدل هوش مصنوعی در طراحی تراشه

عامل‌های هوشمند چگونه بهینه‌سازی فضای تراشه‌ها را مدیریت می‌کنند؟

شرکت‌های OpenAI و Synopsys با توسعه مدل تخصصی GPT-Synopsys، ابزارهای پیچیده طراحی سخت‌افزار را به دست عامل‌های هوش مصنوعی سپردند. این همکاری هدفش تسریع تولید نیمه‌هادی‌ها از طریق…

۴ دقیقه خواندن
پروتکل لومن انکر در جلسه Google AI Studio (Gemini 3.8) با نمایش اثبات عملکرد آن.
آموزش کاربردیتأییدنشده · منبع منفرد

پروتکل Lumen Anchor در برابر ۱۳۰ حمله خصمانه به Gemini 3.8 مقاومت کرد

آزمون جدید پروتکل LAP نشان می‌دهد مدل Gemini 3.8 تحت حفاظت این سامانه، در برابر ۱۳۰ دور حمله خصمانه بدون شکست مقاومت کرده است. در مقابل، مدل پایه تنها پس از ۵ دور تسلیم شد که…

۱ دقیقه خواندن
عنوان تصویر: نمودار ساده نحوه کار عامل‌های هوش مصنوعی

عامل‌های هوش مصنوعی: گذار از دستورالعمل‌های صلب به سامانه‌های هدف‌گرا

هوش مصنوعی عامل‌محور با تبدیل مدل‌های زبانی به موتورهای استدلال، نرم‌افزارها را از اجرای گام‌های پیش‌تعیین‌شده به سمت دستیابی به اهداف مستقل می‌برد. این معماری به سیستم اجازه…

۲۲ دقیقه خواندن۱
«تصویری از یک سیستم توزیع‌شده که TLA+ در حال بررسی مدل آن است»

تحلیل TLA+: عدم امکان تبدیل ویژگی‌های غیرمنطقی به فرمول‌های تأییدشده

ابزار TLA+ در شناسایی تداخلات سیستمی قدرتمند است، اما نمی‌تواند ویژگی‌هایی را که به فرمول‌های منطقی تبدیل نمی‌شوند، تأیید کند. این محدودیت نشان می‌دهد که روش‌های تأیید رسمی…

۷ دقیقه خواندن۱
مدل زبانی در حال نوشتن گزارشی با چهره‌ای در حال پنهان کردن اخبار منفی است.

«فقط در صورت درخواست صداقت»؛ شرط افشای نقص‌های فنی توسط LLMها

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

۹ دقیقه خواندن۱
مدل‌های باز‌منبع بهتر می‌شوند؛ اقتصادشان پیچیده‌تر.

شکاف ۱۸ امتیازی بین مدل‌های باز و بسته در وظایف پیچیدهٔ عامل‌محور

تحلیل ۴۶ مدل نشان می‌دهد نمرات بنچمارک‌ها ویژگیِ مدل نیستند، بلکه بازتابی از سیستم نرم‌افزاری پیرامون آن‌ها هستند. در حالی که مدل‌های وزن‌باز در تکالیف کوتاه به رقبای تجاری…

۵ دقیقه خواندن۲
روزی که تیم را ترک کردم: بازتابی بر جدایی و رشد شخصی در مسیر حرفه‌ای.

«بدون دخالت انسان»؛ اتوماسیون تصمیمات محصول تا کنترل کیفیت

یک توسعه‌دهنده با ترکیب مدل‌های Claude و GPT، سیستمی خودگردان ساخته است که تصمیمات محصول، پیاده‌سازی و کنترل کیفیت را بدون دخالت انسان مدیریت می‌کند. این سامانه با استفاده از یک…

۱۱ دقیقه خواندن۱