اخبار
Meta ممکن است اجرای شرایط تجاری جدید تا بعد از ۲۰ نوامبر تأخیر بخورد
متا تصمیم گرفته تأخیر در اجرای شرایط تجاری جدیدش، که حقوق ناشران را در آموزش هوش مصنوعی میسنجد، تا مذاکرات بیشتر انجام شود و اقدامات تفاهمی انجام گردد.
پژوهش
هوش مصنوعی Smol2Operator: عامل GUI قدرتمند برای کامپیوتر
Smol2Operator یک عامل GUI مبتنی بر هوش مصنوعی است که پس از آموزش، تعامل با رابطهای کاربری کامپیوتر را فراهم میکند؛ در این مقاله به چالشها و راهحلها پرداخته میشود.
پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیتهای جدیدی برای اثبات خودکار در حوزهی هوش مصنوعی ارائه میدهد.
پژوهش
هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL بهعنوان چراغ نیکخورده
کامیابترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متنباز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد.
پژوهش
هوش مصنوعی در رباتیک: دیتاست LeRobot، درستگویی جدید روباتیک
دانشگاه LeRobot با ایجاد دیتاست گسترده و منسجم، پایهریزی میکند تا روباتها با مدلهای هوش مصنوعی در محیطهای جدید و اشیای ناشناخته عملکرد مطلوبی داشته باشند.
پژوهش
هوش مصنوعی در لامّا ۲: آموزش مستقیم با DPO و سادهسازی RLHF
در این مقاله، نحوهی آموزش مستقیم لامّا ۲ با روش DPO در Hugging Face بررسی میشود؛ سادهسازی یادگیری بازخورد انسانی و مزایای آن توضیح داده میشود.