هوش مصنوعی
OpenFrontiers مجموعه‌ای از ۱۲٬۱۵۱ مسئلهٔ پژوهشی و بنچمارکی برای بازکشف علمی معرفی کرد
این منبع میان‌رشته‌ای، آرشیوی ساختاریافته از مسائل باز را با بنچمارکی شامل ۲۰۰ مسئلهٔ ریاضی ترکیب می‌کند؛ ۱۱۰ مسئله در سال ۲۰۲۶ حل شده‌اند و ۹۰ مسئله همچنان باز هستند.
پژوهشگران در پیش‌چاپی در arXiv از OpenFrontiers رونمایی کرده‌اند؛ منبعی برای گردآوری مسائل باز پژوهشی و ارزیابی مدل‌های زبانی بزرگ در حل مسئله‌های سطح پژوهش. نویسندگان می‌گویند ارزیابی این مدل‌ها با مسائل پژوهشی دشوار است و مجموعه‌ای جامع از چنین مسئله‌هایی در دسترس نبوده است.
مخزن OpenFrontiers اطلاعات ۱۲٬۱۵۱ مسئله، از جمله صورت مسئله، زمینه، وضعیت پیشرفت و جزئیات دیگر را ثبت می‌کند. بخش بنچمارک آن ۲۰۰ مسئلهٔ ریاضی دارد: ۱۱۰ مورد که در سال ۲۰۲۶ حل شده‌اند و ۹۰ مورد که هنوز باز هستند. برای هر مسئله، صورت‌بندی‌ای با زبان Lean 4 ارائه شده که با کاوشگرهای خودکار و دو بررسی مستقل ارزیابی شده است. زیرمجموعهٔ HQ-50 نیز با توجه به امتیاز کیفیت و معیارهای دیگر گزینش شده؛ چکیدهٔ در دسترس جزئیات بیشتری دربارهٔ این معیارها ارائه نمی‌کند.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: arXiv · AI (پیش‌چاپ) — مشاهده منبع اصلی ↗