پژوهش
هوش مصنوعی در اثبات نظریه: Kimina-Prover-RL و تأثیراتش
Kimina-Prover-RL، یک پایپلاین آموزش بازآفرینی در Lean 4، ترکیبی از استدلال ساختارمند و تولید متن است که قابلیت‌های جدیدی برای اثبات خودکار در حوزه‌ی هوش مصنوعی ارائه می‌دهد.
پژوهش
هوش مصنوعی در براهین ریاضیات: Kimina-Prover-RL به‌عنوان چراغ نیک‌خورده
کامیاب‌ترین پیشرفت در زمینهٔ آموزش ماشین برای اثبات قضایا: Kimina-Prover-RL، یک پایپلاین ارزان و متن‌باز برای Lean 4 که امکان بهبود اتوماسیون در ریاضیات را دارد.
پژوهش
هوش مصنوعی در بازی‌های ویدئویی متنی: عملکرد LLMs و چالش‌ها
این مقاله به بررسی توانایی مدل‌های زبان بزرگ در بازی‌های متنی می‌پردازد، روش‌های ارزیابی، چالش‌های فنی و راهکارهای بهبود را بررسی می‌کند.
پژوهش
هوش مصنوعی در سفینهٔ Multi‑GPU با راهنمای Accelarate ND‑Parallel
افزایش سرعت و کارایی آموزش مدل‌های بزرگ هوش مصنوعی با استفاده از ترکیب چندین شیوهٔ موازی‌سازی، به‌وسیلهٔ کتابخانهٔ Accelerate ND‑Parallel.
پژوهش
هوش مصنوعی در دسترس همه: معرفی AI Sheets، ابزار بدون کد برای ساخت دیتاست‌های هوش مصنوعی
AI Sheets، ابزار بدون‌کدی هوش مصنوعی، امکان ساخت، تکمیل و نثر دیتاست‌ها را با مدل‌های گوناگون در هاب Hugging Face فراهم می‌کند؛ راه‌حل ساده و متن‌باز برای پژوهشگران و توسعه‌دهندگان.
مدل‌ها
از امتناع‌های سخت تا تکمیل‌های ایمن: به سوی آموزش ایمنیِ خروجی‌محور
دریابید که چگونه رویکرد جدید تکمیل ایمن OpenAI در GPT-5، ایمنی و مفید بودن پاسخ‌های هوش مصنوعی را بهبود می‌بخشد - فراتر از امتناع‌های سخت به سمت آموزش ایمنی ظ
محصولات
هوش مصنوعی آینده‌ساز: معرفی GPT‑5، قهرمان جدید OpenAI جهان
GPT‑5 با پیشرفت فوق‌العاده در کدنویسی، ریاضیات، نوشتن، سلامت، درک بصری و سایر حوزه‌ها، پرچمدار هوش مصنوعی مدرن و پر قدرت می‌شود برای صنایع و پژوهشگران.
اخبار
چطور Cursor هوش مصنوعی GPT‑5 را در بهبود بهره‌وری جایگزین می‌کند
کُرسر با بهره‌گیری از GPT‑5، امکانات جدیدی در حوزه نوشتن و اتصال اطلاعات فراهم می‌کند. در این مقاله به نحوه اعمال فناوری هوش مصنوعی در این ابزار پرداخته‌است.
کسب‌وکار
هوش مصنوعی در کسب‌وکار: چگونه مشاور مجازی گپ‌جی‌پی‌تی طرح کسب‌وکار را در چند دقیقه تدوین می‌کند
در این مقاله به بررسی نحوه‌ی کار عامل گپ‌جی‌پی‌تی می‌پردازیم؛ از جست‌وجو و کدنویسی تا اقدامات آنلاین، همه در کمترین زمان برای تهیه‌ی طرح کسب‌وکار.
اخبار
هوش مصنوعی در خدمت دولت آمریکا: ارائه رایگان ChatGPT Enterprise به همه موظفین فدرال
OpenAI همکاری شگفت‌انگیزی با اداره خدمات عمومی فدرال اعلام کرده تا یک سال آینده، صعود ChatGPT Enterprise را به کل کارمندان فدرال آمریکا بدون هزینه ارائه کند.