شرکت OpenAI یک ریپوی جدید به اسم «Math» منتشر کرده که داخلش نتایج یک مدل داخلی و هنوز منتشرنشده این شرکت روی مسائل تحقیقاتی ریاضی قرار گرفته. 🤯
بین سؤال‌هایی که به مدل داده شده، «مسائل باز ریاضی» هم وجود داشته؛
یعنی مسائلی که هنوز جواب یا اثبات پذیرفته‌شده‌ای برای اون‌ها وجود نداشته.
📚 فعلاً داخل این مجموعه:
• ۷۲۲ مقاله و دست‌نوشته ریاضی
• ۳۷۲ خانواده از نتایج مختلف
• اثبات‌های رسمی با Lean برای بخشی از نتایج
• خلاصه‌ای از روند استدلال مدل برای تعدادی از مسائل
https://github.com/openai/math