شرکت «اوپن‌ای‌آی»، خالق دستیار هوش مصنوعی «چت جی‌پی‌تی»، مجموعه‌ای گسترده از نتایج جدید معادلات ریاضی را منتشر کرده که توسط یک مدل پیشرفته داخلی هوش مصنوعی حل شده است. این شرکت می‌گوید هدف از انتشار این دستاوردها کمک به گسترش مرزهای دانش بشری و فراهم کردن زمینه پیشرفت بیشتر در ریاضیات است.
شرکت «اوپن‌ای‌آی»، خالق دستیار هوش مصنوعی «چت جی‌پی‌تی»، مجموعه‌ای گسترده از نتایج جدید معادلات ریاضی را منتشر کرده که توسط یک مدل پیشرفته داخلی هوش مصنوعی حل شده است. این شرکت می‌گوید هدف از انتشار این دستاوردها کمک به گسترش مرزهای دانش بشری و فراهم کردن زمینه پیشرفت بیشتر در ریاضیات است. نتایج در یک مخزن «گیت‌هاب» منتشر شده‌اند که شامل سازوکارهایی برای اصلاح مقالات و شیوه استناد به آنها است. اوپن‌ای‌آی همچنین بسیاری از اثبات‌های ریاضی را با استفاده از زبان برنامه‌نویسی «لین» رسمی‌سازی کرده…
Read the full story at alarabiya_far ↗