این هفته OpenAI روز ۶ اکتبر یک ریپوی گیت‌هاب از ۳۷۲ خانواده نتیجه (یعنی ۳۷۲ تا تیپ مسئله‌ی مشابه) و ۷۲۲ مقاله‌ی ریاضی منتشر کرد که خیلی هم اخبارش همه‌جا پیچید. این خروجی‌ها از یک مدل داخلی منتشرنشده گرفته شده بودن که روی حدود ۴۰۰۰ مسئله open کار کرده. میانگین هزینه محاسباتی بیشتر نتایج معادل سه ساعت حالت Thinking تو ChatGPT Pro بوده. البته یکی از اصلی‌ترین پروژه‌ها که پروژه تابع زتای ریمان هست، خارج از این روند ثابت اجرا شده.
🧩 این ۷۲۲ مقاله چطور سازمان‌دهی شدن
اینا به ۳۷۲ خانواده نتیجه تقسیم شدن. هر خانواده شامل نتیجه اصلی، اثبات جایگزین، پیامدها یا چند مقاله وابسته بوده.
📌 دامنه موضوع‌ها
گفتن که ۱۷ شاخه ریاضی رو پوشش دادن. بیشترین سهم به علوم کامپیوتر نظری بوده با ۴۰ خانواده، بعدش ترکیبیات با ۳۷، هندسه جبری و مختلط با ۳۶ و نظریه اعداد با ۳۱ خانواده. فهرست مسائل جالب بود، تیتر یک سری رو می‌نویسم. چند مورد مثل ناگویابودن ثابت Catalan، مسئله دهم Hilbert روی اعداد گویا، Unique Games، کران ۹∕۴ برای ضرب ماتریسی و اثبات این‌که صفحه اقلیدسی با پنج رنگ رنگ‌آمیزی نمی‌شه احتمالا به گوش‌تون خورده.
از بین صدها نتیجه، فقط برای ۱۰ خانواده خلاصه‌ای از مسیر استدلال مدل منتشر شده. برای بقیه باید سراغ خود مقاله و فایل‌های اثبات رفت.
🔒 چه مقدار بررسی شده
تا ۷ اکتبر، نتیجه اصلی ۳۰۰ مورد از ۷۱۹ مقاله فعلی با Lean فرمالیزه شده، یعنی حدود ۴۲ درصد. همچنین یک خطای علامت باعث پس‌گرفتن سه مقاله وابسته شده که خب این ادیت رو تو تمام فایل‌های مربوطه هم می‌بینید. چهارده مقاله دیگه هم آپدیت شدن و ۱۳ متن هم ارجاعاتشون به‌روز شده. تعداد مقالات موجود از ۷۲۲ به ۷۱۹ تغییر پیدا کرده در نتیجه.
🔗 https://github.com/openai/math
✈️ @Mirage_Notes