پژوهش
کِمینا‑پروور: هوش مصنوعی «Test‑Time RL» در جستجوی اثباتهای رسمی
مدل برجستهی کِمینا‑پروور با استفاده از جستجوی RL در زمان آزمون، پیشرویهای جدیدی در حل مسئلهی خودکار ریاضیات و منطق معرفی میکند. مزایا، روش و کاربردهای آن را بخوانید.
محصولات
هوش مصنوعی با Reachy Mini: ربات متن باز برای آموزش ساده و سرگرمکننده
رتیبیتر در حوزهٔ هوش مصنوعی: Reachy Mini، یک ربات متن باز کوچک و قدرتمند برای آموزش، تحقیق و پروژههای خلاقانهی کودکان و توسعهدهندگان.
پژوهش
هوش مصنوعی: رقابت E2LM 2025 – ارزیابی زودهنگام مدلهای زبانی
در قالب جدید پیشآموزش مدلهای زبانی، رقابت E2LM 2025 مهندسان را میطلبد؛ نتایج در NeurIPS 2025 اعلام خواهد شد با سه ماه برای ثبتنام
پژوهش
هوش مصنوعی: چگونه پرامپتهای طولانی صفهای پیشبینی را مسدود میکنند
در این مقاله به بررسی چالشهای پرامپتهای طولانی در مدلهای زبان بزرگ و راهحلهای پیشنهادی برای بهبود تأخیر و کارایی پرداختهایم.
محصولات
هوش مصنوعی در تولید صدا به صورت زنده روی پردازنده آرم: آزادی خلاقانه
یک اپ خانه صدای تولیدی در زمان واقعی، بر پایه پردازندههای آرم، بهصورت آن‑روی، خصوصی و با سرعت بالا، صدای استودیوی را مستقیماً در نرمافزارهای DAW ایجاد میکند.