محصولات
چگونه با Claude و Spaces هف تصاویر حرفهای و رزولوشن بالا بسازیم
این مقاله، نحوه‑ای اتصال Claude به Spaces هف، جدیدترین مدلهای تولید تصویر و نکات عملی برای ایجاد تصاویر با کیفیت بالا را پوشش میدهد.
پژوهش
هوش مصنوعی و MCP: اتکا به داده و مدل در تحقیق علمی
MCP برای پژوهش، استانداردی است که ارتباط مدلهای هوش مصنوعی با ابزارهای پژوهشی را ساده میکند؛ بهرهبرداری از داده، کد و مدلهای Hugging Face را بهطور یکپارچه ممکن میسازد.
سختافزار
هوش مصنوعی: طراحی، ساخت و مقیاسپذیری کرنلهای CUDA برای تولید شتابدهنده
دانش کتابخانه kernel‑builder را به قلم دنیل کوک و دافید هولتز، سفورتی برای ساخت و کمیتسازی کرنلهای CUDA متناسب با تولید در اختیار ما میدهد، که در این مقاله گام به گام مراحل طراحی، ساخت، انتشار و مقیاسپذیری این کرنلها را پوشش میدهد.
پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیتهای جدیدی برای اثبات خودکار در حوزهی هوش مصنوعی ارائه میدهد.
پژوهش
هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL بهعنوان چراغ نیکخورده
کامیابترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متنباز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد.
محصولات
ExecuTorch 0.7: هوش مصنوعی نسل جدید در جهان موبایل بهدسترس
ExecuTorch 0.7، نسخه تازه معماری AI از آرم، با پشتیبانی پیشرفته از KleidiAI، عملکرد سرعتبخشی را به دستگاههای اندروید و کراس پلیفرم ارتقا میدهد، سرعت فراخوانی مدل، حافظه را کاهش و درهمچینگی را ساده میکند.
محصولات
هوش مصنوعی در گرافیک: NSS توانمندی تسریع آپسکالینگ مدرن
نرمافزار Neural Super Sampling (NSS) شرکت آرم، با استفاده از الگوریتمهای یادگیری ماشین، پردازش گرافیکی را در دستگاههای موبایل کاهش میدهد و کیفیت تصویر را دو برابر میکند.
پژوهش
هوش مصنوعی در زبان فیلیپین: بررسی جدید FilBench و چالشهای ترجمه
تحقیق FilBench ثابت کرده که مدلهای زبانی منطقهای هنوز از GPT‑4 عقبتر هستند. ترجمه فیلیپین دشوار است، ولی جمعآوری دادهها جهت آموزش مدلهای تازهساز امیدوارکنندهاست.