هوش مصنوعی
OpenAI نتایج یک مدل پیشرفته را دربارهٔ مسائل باز ریاضی منتشر کرد
این شرکت می‌گوید نتایج مدل داخلی خود را همراه با صورت‌بندی‌های اثبات در Lean و جزئیات پژوهش در GitHub به اشتراک گذاشته است.
OpenAI از انتشار نتایج یک مدل پیشرفتهٔ داخلی دربارهٔ مسائل باز ریاضی خبر داده است. این شرکت همچنین صورت‌بندی‌های اثبات در Lean و جزئیات پژوهش را در GitHub منتشر کرده است. اطلاعات ارائه‌شده دربارهٔ این نتایج، مسئله‌های بررسی‌شده یا میزان پیشرفت مدل توضیح بیشتری نمی‌دهد.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: OpenAI — مشاهده منبع اصلی ↗
رد این داستان در رادار
خبرهای مرتبط از آرشیو منتشرشده