پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیتهای جدیدی برای اثبات خودکار در حوزهی هوش مصنوعی ارائه میدهد.
پژوهش
کِمینا‑پروور: هوش مصنوعی «Test‑Time RL» در جستجوی اثباتهای رسمی
مدل برجستهی کِمینا‑پروور با استفاده از جستجوی RL در زمان آزمون، پیشرویهای جدیدی در حل مسئلهی خودکار ریاضیات و منطق معرفی میکند. مزایا، روش و کاربردهای آن را بخوانید.
پژوهش
سینر محیط دسکتاپ: ابزار بر پایه هوش مصنوعی برای خودکارسازی کامل دسکتاپ
Hugging Face با معرفی ScreenEnv، محیط دسکتاپ مجازی که امکان کنترل کامل دسکتاپ را فراهم میکند، به توسعه خودکارسازی و هوش مصنوعی در دسترس همه میگذارد.