نظریه پیچیدگی | هکرنیوز بلاگ

انتشار مقالات ریاضی پیشرفته و اثبات‌های فرمال تولیدشده توسط مدل هوش مصنوعی OpenAI

شرکت OpenAI مخزن جدیدی شامل ۷۲۱ دست‌نویس ریاضی و اثبات‌های فرمال با زبان Lean منتشر کرده است که توسط یک مدل هوش مصنوعی داخلی تولید شده‌اند. این مجموعه شامل نتایج پژوهشی پیشرفته در حوزه‌های نظریه پیچیدگی و مسائل باز ریاضی است و به‌عنوان داده‌های خام تحقیقاتی ارائه شده است.

۴۵ امتیاز ۶ نظر ۳ دقیقه

openai.com ۵ آبان

همکاری با جوامع دانشگاهی برای درک علمی و چالش‌های نظریه پیچیدگی

شرکت OpenAI در گزارشی از اهمیت همکاری با جوامع دانشگاهی برای پیشبرد درک علمی هوش مصنوعی گفته است. در همین حال، بحث‌های داغی میان توسعه‌دهندگان و مهندسان در هکرنیوز پیرامون ادعاهای مرتبط با فرضیه زمان نمایی (Exponential Time Hypothesis) و نظریه پیچیدگی شکل گرفته است.

۱۸۵ امتیاز ۶۲ نظر ۲ دقیقه