مدل‌ها پروژه بازسازی هوش مصنوعی R1: دیتاست جدید OpenR1-Math-220k پروژه متن‌باز Open R1 در به‌روزرسانی دوم، دیتاست بزرگ OpenR1-Math-220k را منتشر کرد تا بازسازی کامل مدل DeepSeek R1 و پایپ‌لاین آموزش آن را ممکن سازد. ۲۲ بهمن ۱۴۰۳ ۲ دقیقه آموزش آموزش ریاضی با هوش مصنوعی؛ تجربه ساخت معلم خصوصی با ChatGPT با ChatGPT می‌توان یک معلم خصوصی ریاضی ساخت که مثل یک سگ وفادار همیشه در دسترس است. در این مقاله از تجربه اپن‌ای‌آی، روش ساخت و نکات کلیدی را می‌خوانیم. ۱۶ بهمن ۱۴۰۳ ۲ دقیقه اخبار فاتق ۳: جدیدترین خانواده مدل‌های هوش مصنوعی بازمتنی از TII امارات فاتق ۳ مدل‌های کوچک و میان‌رده هوش مصنوعی هستند که توسط مؤسسه فناوری در دبی عرضه شده و در زمینه علم، ریاضیات و برنامه‌نویسی عملکردی درخشان دارند. ۲۷ آذر ۱۴۰۳ ۲ دقیقه مدل‌ها معرفی OpenAI o1: فصل جدیدی در دقت و استدلال‌های زنجیره‌ای شرکت OpenAI پیش‌نمایش مدل o1 را معرفی کرد؛ مدلی که با استفاده از استدلال‌های زنجیره‌ای طولانی، دقت حل مسائل پیچیده ریاضی، علوم و برنامه‌نویسی را به شدت افزایش می‌دهد. ۲۲ شهریور ۱۴۰۳ ۲ دقیقه مدل‌ها NuminaMath برندهٔ جایزهٔ AIMO در مسابقهٔ AI: راه‌حل هوش مصنوعی ریاضی Numina با مدل LLM خود در مسابقهٔ AIMO 29 از 50 سؤال ریاضی را حل کرد و جایزهٔ پیشرفت را کسب کرد؛ این دستاورد جدید در ادغام ابزارهای هوش مصنوعی است. ۲۱ تیر ۱۴۰۳ ۲ دقیقه پژوهش هوش مصنوعی با نظارت بر فرآیند استدلال، ریاضیات را بهتر حل می‌کند OpenAI با روش «نظارت بر فرآیند» به جای پاداش‌دهی به پاسخ نهایی، مدلی آموزش داده که در حل مسائل ریاضی به دقت بی‌سابقه‌ای رسیده و قابلیت هم‌راستایی با انسان را بهبود می‌بخشد. ۱۰ خرداد ۱۴۰۲ ۲ دقیقه پژوهش هوش مصنوعی در حل مسایل ریاضی آکادمیک: موفقیت پرایوم در مسابقات AMC12 و AIME یک سیستم هوش مصنوعی جدید، پروانه‌سازی قضایا برای Lean، توانست در مسابقات آکادمیک AMC12، AIME، و دو مسأله انتخابی از IMO خودکار و با دقت حل‌های کامل ارائه کند؛ نشان از قدرت دلال‌سازی پیشرفته دارد. ۱۳ بهمن ۱۴۰۰ ۲ دقیقه مدل‌ها استاندارد جدید: مدل هوش مصنوعی OpenAI با دقت دو برابر در حل مسائل ریاضی OpenAI مدلی را معرفی کرد که در حل مشکلات ریاضی مشابه‌بردار شیوه‌ی تکین GPT‑3 است؛ در تست‌های دانش‌آموزان ۹ تا ۱۲ سالیم ۵۵٪ نمره کسب و ۹۰٪ از مقیاس کودکان را رعایت می‌کند. ۷ آبان ۱۴۰۰ ۲ دقیقه پژوهش مدل زبانی مولد OpenAI برای اثبات خودکار قضیه‌های ریاضی چگونه کار می‌کند؟ OpenAI با توسعه یک مدل زبانی مولد، گامی بلند در اثبات خودکار قضیه‌های ریاضی برداشته است. در این مقاله به بررسی این دستاورد و کاربردهای آن می‌پردازیم. ۱۷ شهریور ۱۳۹۹ ۳ دقیقه آموزش GamePad از OpenAI: محیط یادگیری هوش مصنوعی برای اثبات قضایا و توسعه دانش منطق GamePad، محیط تعاملی و هوشمندی است که توسط OpenAI ارائه شده و امکان آموزش و توسعه مهارت‌های اثبات قضایا در منطق ریاضی را با کارایی بالای GPT فراهم می‌کند. ۱۲ خرداد ۱۳۹۷ ۲ دقیقه