پژوهش هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیت‌های جدیدی برای اثبات خودکار در حوزه‌ی هوش مصنوعی ارائه می‌دهد. ۲۳ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL به‌عنوان چراغ نیک‌خورده کامیاب‌ترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متن‌باز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد. ۲۳ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در زبان فیلیپین: بررسی جدید FilBench و چالش‌های ترجمه تحقیق FilBench ثابت کرده که مدل‌های زبانی منطقه‌ای هنوز از GPT‑4 عقب‌تر هستند. ترجمه فیلیپین دشوار است، ولی جمع‌آوری داده‌ها جهت آموزش مدل‌های تازه‌ساز امیدوارکننده‌است. ۲۱ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در بازی‌های ویدئویی متنی: عملکرد LLMs و چالش‌ها این مقاله به بررسی توانایی مدل‌های زبان بزرگ در بازی‌های متنی می‌پردازد، روش‌های ارزیابی، چالش‌های فنی و راهکارهای بهبود را بررسی می‌کند. ۲۱ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در سفینهٔ Multi‑GPU با راهنمای Accelarate ND‑Parallel افزایش سرعت و کارایی آموزش مدل‌های بزرگ هوش مصنوعی با استفاده از ترکیب چندین شیوهٔ موازی‌سازی، به‌وسیلهٔ کتابخانهٔ Accelerate ND‑Parallel. ۱۷ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در دسترس همه: معرفی AI Sheets، ابزار بدون کد برای ساخت دیتاست‌های هوش مصنوعی AI Sheets، ابزار بدون‌کدی هوش مصنوعی، امکان ساخت، تکمیل و نثر دیتاست‌ها را با مدل‌های گوناگون در هاب Hugging Face فراهم می‌کند؛ راه‌حل ساده و متن‌باز برای پژوهشگران و توسعه‌دهندگان. ۱۷ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در پزشکی: نقش GPT‑5 در تسریع پژوهش‌های درمانی فردا شکاف علمی بزرگ: چگونه GPT‑5 توانسته پژوهش‌های پزشکی را تسریع کرده، تشخیص بیماری‌ها را بهبود بخشد و درمان‌های شخصی‌سازی‌شده را تسهیل کند. ۱۶ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی: نحوه همسو سازی مدل‌های دید-زبان در TRL جدید و به‌روز در این مقاله به بررسی روش‌های نوین همسو سازی مدل‌های دید‑زبان در فریم‌ورک TRL پرداخته، مقایسه‌ای بین MPO، GRPO و GSPO ارائه کرده و کاربردهای عملی در علوم و صنعت را بررسی می‌کنیم. ۱۶ مرداد ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی: معرفی سیستم کارت GPT‑5 و راهکارهای روتینگ مؤثر در این مطلب به بررسی کارت سیستم GPT‑5 پرداخته و نقش سامانه روتینگ یکپارچه در سرعت و هوش پاسخ‌ها، مدل‌های gpt‑5‑main و نسخه‌های سبک بحث می‌شود. ۱۶ مرداد ۱۴۰۴ ۲ دقیقه پژوهش انتشار وزن‌های آزاد: گامی نو در دموکراتیک‌سازی هوش مصنوعی OpenAI با انتشار مدل‌های وزن‌ی آزاد، هدف دسترسی گسترده به هوش مصنوعی را دنبال می‌کند؛ این حرکت شفافیت، انعطاف‌پذیری و دسترسی جهانی را تقویت می‌نماید. ۱۴ مرداد ۱۴۰۴ ۲ دقیقه