پژوهش
هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL بهعنوان چراغ نیکخورده
کامیابترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متنباز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد.
پژوهش
هوش مصنوعی با گریدیو: سرور MCP برای یک دستیار خرید آنلاین
یک راهحل عملی برای توسعهدهندگان اPython: ایجاد سرور MCپی با گریدیو و پیوستن به هزاران مدل AI در هوستخانه هاجنگ فیس، که امکان خرید هوشمند و لبه مد را در یک پلتفرم پویا میآورد
محصولات
Trackio: کتابخانهٔ ردیابی آزمایشی سبک و رایگان از هافگی برای توسعه هوش مصنوعی
Trackio کتابخانهٔ ردیابی آزمایشی سبک، رایگان و متنباز هافگی است که محیط توسعهدهندگان هوش مصنوعی را با داشبورد محلی و همگامسازی آسان با Spaces ساده میکند.
پژوهش
هوش مصنوعی: سرعت جدید LoRA در مدل Flux برای تولید تصویر
با استفاده از Fast LoRA در مدل Flux، سرعت تولید تصویر تا 2.3× بالا رفت و امکان سفارشیسازی LoRAها با کدهای متنباز فراهم شد. برای پژوهشگران و توسعهدهندگان در جامعه هوش مصنوعی، این دستاورد امکان توسعه سریعتر مدلها و بهینهسازی در محیطهای پرکاربرد را فراهم میکند.
اخبار
Holo1: خانواده جدیدی از VLM های اتوماسیون رابط کاربری گرافیکی که عامل رابط کاربری گرافیکی Surfer-H را تقویت میکنند
یک پست وبلاگ از شرکت H در مورد Hugging Face