اخبار
فاتق ۳: جدیدترین خانواده مدل‌های هوش مصنوعی بازمتنی از TII امارات
فاتق ۳ مدل‌های کوچک و میان‌رده هوش مصنوعی هستند که توسط مؤسسه فناوری در دبی عرضه شده و در زمینه علم، ریاضیات و برنامه‌نویسی عملکردی درخشان دارند.
مدل‌ها
NuminaMath برندهٔ جایزهٔ AIMO در مسابقهٔ AI: راه‌حل هوش مصنوعی ریاضی
Numina با مدل LLM خود در مسابقهٔ AIMO 29 از 50 سؤال ریاضی را حل کرد و جایزهٔ پیشرفت را کسب کرد؛ این دستاورد جدید در ادغام ابزارهای هوش مصنوعی است.
پژوهش
هوش مصنوعی با نظارت بر فرآیند استدلال، ریاضیات را بهتر حل می‌کند
OpenAI با روش «نظارت بر فرآیند» به جای پاداش‌دهی به پاسخ نهایی، مدلی آموزش داده که در حل مسائل ریاضی به دقت بی‌سابقه‌ای رسیده و قابلیت هم‌راستایی با انسان را بهبود می‌بخشد.
پژوهش
مدل زبانی مولد OpenAI برای اثبات خودکار قضیه‌های ریاضی چگونه کار می‌کند؟
OpenAI با توسعه یک مدل زبانی مولد، گامی بلند در اثبات خودکار قضیه‌های ریاضی برداشته است. در این مقاله به بررسی این دستاورد و کاربردهای آن می‌پردازیم.