پژوهش
هوش مصنوعی در اثبات نظریه: 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 و چالشها
این مقاله به بررسی توانایی مدلهای زبان بزرگ در بازیهای متنی میپردازد، روشهای ارزیابی، چالشهای فنی و راهکارهای بهبود را بررسی میکند.
پژوهش
هوش مصنوعی در سفینهٔ Multi‑GPU با راهنمای Accelarate ND‑Parallel
افزایش سرعت و کارایی آموزش مدلهای بزرگ هوش مصنوعی با استفاده از ترکیب چندین شیوهٔ موازیسازی، بهوسیلهٔ کتابخانهٔ Accelerate ND‑Parallel.