بهاشتراکگذاری پیشرفت هوش مصنوعی در ریاضیات
OpenAI نتایج تازهای دربارهٔ مسائل حلنشدهٔ ریاضی از یک مدل پیشرفتهٔ داخلی منتشر میکند و صورتبندیهای اثبات Lean و جزئیات پژوهش را در GitHub به اشتراک میگذارد.
زبان منبع اصلی · انگلیسی
خواندن متن اصلیبررسی شد · ۱۸ مهر ۱۴۰۵