سختافزار
هوش مصنوعی: طراحی، ساخت و مقیاسپذیری کرنلهای 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 عقبتر هستند. ترجمه فیلیپین دشوار است، ولی جمعآوری دادهها جهت آموزش مدلهای تازهساز امیدوارکنندهاست.
پژوهش
هوش مصنوعی در بازیهای ویدئویی متنی: عملکرد LLMs و چالشها
این مقاله به بررسی توانایی مدلهای زبان بزرگ در بازیهای متنی میپردازد، روشهای ارزیابی، چالشهای فنی و راهکارهای بهبود را بررسی میکند.