رضیات

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

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