خبر OpenAI درباره ریاضی خیلی مهمه، اما چند نکته باید دقیق گفته بشه. عدد «۷۲۲» به معنی حل ۷۲۲ مسئله مستقل نیست؛ OpenAI از ۷۲۲ دست‌نوشته در ۳۷۲ خانواده نتیجه صحبت می‌کنه که از آزمایش مدل روی حدود ۴۰۰۰ مسئله پژوهشی به دست اومدن. همه این نتایج هم هنوز به شکل مستقل تأیید نشدن؛ بخشی با Lean بررسی صوری شدن، اما خود OpenAI نوشته که بعضی نتایج غیرصوری ممکنه اشکال داشته باشن. پس فعلاً باید بین «تولید یک اثبات» و «پذیرفته شدن اون توسط جامعه ریاضی» فرق بذاریم.
با این حال ماجرا اصلاً کم‌اهمیت نیست. بعضی از نتایج، اگه تأیید بشن، واقعاً در سطح پژوهش جدی ریاضی هستن. واکنش ریاضی‌دان‌ها هم ترکیبی از هیجان و نگرانی بوده. گروه AGMAI با حضور چهره‌هایی مثل Timothy Gowers، Martin Hairer و Edward Witten تأکید کرده که تولید اثبات پایان کار نیست؛ فهمیدن نتیجه، بررسی اون و پیدا کردن جایگاهش در ریاضیات هنوز کار اساسی انسانه.
شاید سؤال مهم‌تر از خود این ۷۲۲ دست‌نوشته این باشه: اگه هوش مصنوعی بتونه اثبات‌های پژوهشی رو سریع و انبوه تولید کنه، نقش ریاضی‌دان چی میشه؟ شاید ارزش اصلی کم‌کم از «پیدا کردن اثبات» بره به سمت «پرسیدن سؤال درست، تشخیص نتیجه مهم، فهم ایده و پیدا کردن ارتباط بین نظریه‌ها».
شاید سؤال اصلی این دوران همین باشه: اگه تولید اثبات ارزون بشه، ریاضی‌دان بودن یعنی چی؟

منابع:
OpenAI Math: https://github.com/openai/math
AGMAI: https://agmai.org/
Terence Tao, Mathematics in the age of AI: https://arxiv.org/abs/2608.16753


@infinitymath