پژوهش هوش مصنوعی GPT-5.2: شگفتی‌های جدید در ریاضی و علوم آکادمیک با کارایی بی‌سابقه GPT‑5.2، جدیدترین مدل OpenAI، با بهترین نتایج در آزمون‌های GPQA Diamond و FrontierMath، در حل مسائل ریاضی، تهیهٔ شواهد و پیشرفت پژوهش‌های علمی برتر عمل می‌کند. ۲۰ آذر ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در ریاضیات: معرفی DeepMath، عامل ریاضی سبک و سریع DeepMath، عامل هوش مصنوعی سبک و دقیق برای حل مسائل ریاضی، با استفاده از GRPO و مدل Qwen3-4B، طول خروجی را ۶⁶٪ کاهش می‌دهد و دقت را بهبود می‌بخشد. ۱۳ آذر ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی GPT‑5 نکته‌ای جدید در اشتراک‌گذاری نظریه بهینه‌سازی را حل می‌کند دانشمندان برجسته UCLA با همکاری GPT‑5، یکی از چالش‌های ریشه‌دار نظریهٔ بهینه‌سازی را حل کردند؛ این دستاورد نه تنها به تشخیص الگوریتم‌های جدید کمک می‌کند بلکه مسیر پیشرفت کشف ریاضی را با هوش مصنوعی تسریع می‌آورد. ۳ آذر ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی و سرعت‌ریزان علمی: GPT‑5 در حال تغییر ریاضیات، فیزیک، زیست‌شناسی و علوم کامپیوتر مقاله‌ی حاضر به بررسی اولین آزمایش‌های OpenAI با GPT‑5 می‌پردازد و نشان می‌دهد چگونه هوش مصنوعی می‌تواند اثبات‌های ریاضی، کشف‌های فیزیکی، تحلیل‌های زیستی و الگوریتم‌های کامپیوتری را تسریع کند. ۲۹ آبان ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL به‌عنوان چراغ نیک‌خورده کامیاب‌ترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متن‌باز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد. ۲۳ مرداد ۱۴۰۴ ۲ دقیقه محصولات هوش مصنوعی آینده‌ساز: معرفی GPT‑5، قهرمان جدید OpenAI جهان GPT‑5 با پیشرفت فوق‌العاده در کدنویسی، ریاضیات، نوشتن، سلامت، درک بصری و سایر حوزه‌ها، پرچمدار هوش مصنوعی مدرن و پر قدرت می‌شود برای صنایع و پژوهشگران. ۱۶ مرداد ۱۴۰۴ ۲ دقیقه پژوهش کِمینا‑پروور: هوش مصنوعی «Test‑Time RL» در جستجوی اثبات‌های رسمی مدل برجسته‌ی کِمینا‑پروور با استفاده از جستجوی RL در زمان آزمون، پیشروی‌های جدیدی در حل مسئله‌ی خودکار ریاضیات و منطق معرفی می‌کند. مزایا، روش و کاربردهای آن را بخوانید. ۱۹ تیر ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در ریاضیات: Kimina-Prover و جستجوی RL در زمان اجرا Kimina-Prover، یک الگوریتم هوش مصنوعی مبتنی بر جستجوی RL در زمان اجرا، می‌تواند مدل‌های بزرگ یادگیری رسمی را بهینه کند و خطاهای ریاضی را اصلاح نماید. ۱۹ تیر ۱۴۰۴ ۲ دقیقه مدل‌ها هوش مصنوعی عربی: مدل Falcon‑Arabic که استاندارد جدیدی تعریف می‌کند مدل Falcon‑Arabic با ۷ میلیارد پارامتر و معماری Falcon 3، استاندارد جدیدی در پردازش زبان عربی می‌سازد؛ عملکرد بالای آن در توضیح، ریاضیات و گفت‌وگوی مکالمه‌گرا بالاتر است. ۳۱ اردیبهشت ۱۴۰۴ ۲ دقیقه مدل‌ها DeepSeek-V3 0324: هوش مصنوعی جدید با مجوز MIT برای کدنویسی و ریاضی DeepSeek-V3 0324، مدل پیشرفته هوش مصنوعی برای کدنویسی و ریاضیات، با مجوز MIT روی Hugging Face عرضه شد. این نسخه بهبود یافته، قابلیت‌های درک دستور و استدلال را ارتقا می‌دهد. ۶ فروردین ۱۴۰۴ ۲ دقیقه