پژوهش هوش مصنوعی OpenAI یک حدس مهم ۸۰ ساله در هندسه گسسته را رد کرد مدل جدید هوش مصنوعی OpenAI با رد یک حدس مرکزی در هندسه گسسته، مسئله فاصله واحد را پس از ۸۰ سال حل کرد و نقطه عطفی در ریاضیات مبتنی بر هوش مصنوعی رقم زد. ۳۰ اردیبهشت ۱۴۰۵ ۲ دقیقه آموزش هوش مصنوعی در آموزش ریاضی و علوم: رابط‌های تعاملی و بصری ChatGPT با اضافه‌کردن توضیحات بصری تعاملی، راهکارهای نوینی برای یادگیری ریاضیات و علوم ارائه می‌دهد؛ دانش‌آموزان می‌توانند فرمول‌ها و مفاهیم را به صورت زنده بررسی کنند. ۱۹ اسفند ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی در ریاضیات: معرفی DeepMath، عامل ریاضی سبک و سریع DeepMath، عامل هوش مصنوعی سبک و دقیق برای حل مسائل ریاضی، با استفاده از GRPO و مدل Qwen3-4B، طول خروجی را ۶⁶٪ کاهش می‌دهد و دقت را بهبود می‌بخشد. ۱۳ آذر ۱۴۰۴ ۲ دقیقه پژوهش هوش مصنوعی و سرعت‌ریزان علمی: 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 عرضه شد. این نسخه بهبود یافته، قابلیت‌های درک دستور و استدلال را ارتقا می‌دهد. ۶ فروردین ۱۴۰۴ ۲ دقیقه