انتشار گسترده ریاضیات توسط OpenAI ترس شغلی میان ریاضیدانان دانشگاهی را برانگیخته است

در شب 6 اکتبر 2026، OpenAI یک مخزن عمومی را باز کرد که شامل 722 دست‌نوشت ریاضی است، که در 372 خانواده مسئله دسته‌بندی شده‌اند، توسط یک مدل داخلی منتشر نشده تولید شده‌اند، بر اساس Unite.AI. شرکت گفت که تقریباً 4000 مسئله باز را به سیستم ارائه داده است و تنها زیرمجموعه‌ای را منتشر کرده است که قابل انتشار دانسته است، که شامل جبر، نظریه اعداد، توپولوژی، علوم کامپیوتر نظری و منطق ریاضی است.

آنچه OpenAI منتشر کرد

Unite.AI گزارش داد که آموزش مدل داخلی در 28 آگوست 2026 شروع شد، با اجرای ارزیابی در 1 سپتامبر. مدل به نظر می‌رسد یک اثبات Lean-formalized ایجاد کرده است که به سؤال تکینگی Navier-Stokes توجه می‌دهد - که یکی از هفت مسائل جائزه هزاره موسسه ریاضیات کلی است - حوالی 5 سپتامبر، با اعلام OpenAI نتیجه به صورت عمومی در 8 سپتامبر. شرکت گفت که برای جائزه یک میلیون دلاری مرتبط با آن درخواست نخواهد کرد. Fortune گزارش داد که OpenAI همچنین پیشرفت جزئی را در سه مسئله جائزه هزاره دیگر در دسته 6 اکتبر ادعا کرد بدون حل کامل آنها.

هر دست‌نوشت با تأیید بررسی شده توسط ماشین همراه نبود. Unite.AI توجه داشت که بسیاری، اما نه همه، مقالات شامل رسمی‌سازی در دستیار اثبات Lean بودند، که هر گام منطقی را به طور خودکار بررسی می‌کند؛ نتایج غیر رسمی خطر بالاتری از خطاهای پنهان دارند. Fortune گزارش داد که OpenAI قبلاً حداقل سه از راه‌حل‌های منتشر شده را تا 8 اکتبر پس از یافتن خطاها پس گرفته است.

برنده مدال فیلدز می‌گوید که گریسته است

این انتشار برخی از محققان را به صورت شخصی تحت تأثیر قرار داد. منبع فرانسوی SenePlus گزارش داد که Hugo Duminil-Copin، که در 2022 مدال فیلدز را برای کار روی انتقال‌های فاز در فیزیک آماری برنده شد، دریافت که 16 مورد از سؤالات پژوهش باز خود در میان مسائلی بود که OpenAI ادعا کرد به آن رسیده است، گفت که شرکت عملاً این خط پژوهش را خاتمه داده است. او گفت که در شب سه‌شنبه 6 اکتبر تا 7 اکتبر گریسته است، تا جایی که دخترش را بیدار کرده است.

بر اساس SenePlus، Duminil-Copin در یک کنفرانس ویدئویی سازمان‌دهی شده توسط انجمن ریاضیات فرانسه در 8 اکتبر، استدلال کرد که هدف یک محقق نه تنها اثبات قضایا بلکه تولید درک برای انسان‌های دیگر است. او گفت که بیشتر نگران ریاضیدانان در ابتدای حرفه است، که می‌ترسد بیشترین تأثیر را بپذیرند، زیرا فرهنگ غیر رسمی گردش ایده‌ها و نتایج جزئی میان همکاران فرو می‌ریزد اگر ریاضیدانان کار خود را به سبب فشار رقابتی مخفی کنند.

ریاضیدانان واکنش نشان می‌دهند

این انتشار باعث بیانیه باز از انجمن ریاضیات برای بشریت (AHM) شد، گروهی که گروه ارتباطات خود را به عنوان درج مهمانی در وبلاگ ریاضیدان Terence Tao در 7 اکتوبر منتشر کرد. بیانیه گفت که ریاضیدانان این بدنه کار را درخواست نکردند و OpenAI از راهنمایی‌های قبلی گروه مشاوره در زمینه ریاضیات و هوش مصنوعی، یک هیئت مستقل که درباره نحوه تست و انتشار ادعاهای ریاضی توسط شرکت‌های هوش مصنوعی مشاوره می‌دهد، صرف‌نظر کرد، بر اساس بیانیه AHM. بیانیه انتشار بیش از 700 پرونده در یک زمان را به عنوان بازتاب ابعاد منابع OpenAI نه بررسی عالمانه دقیق توصیف کرد.

Fortune گزارش داد که Terence Tao، در نوشته‌ای روی Mastodon، گفت که این حادثه پایان آنچه را که او Math 1.0 می‌نام‌د علامت می‌زند، استدلال می‌کند که مسائل به طور فزاینده توسط کاربران هوش مصنوعی حل می‌شوند که هیچ علاقه‌ای به خود رشته ندارند و این تخصص باید ارزش بیشتری بر روی شرح و ساخت جامعه بجای حل مسائل به تنهایی قرار دهد. ریاضیدان دانشگاه نیویورک Tristan Buckmaster، که قبلاً نگرانی‌های مربوط به کار Navier-Stokes را مطرح کرده بود، به New York Times گفت، همانطور که Fortune نقل کرد، که او مشکوک است بعضی از نتایج منتشر شده کار قبلی ریاضیدانان دیگر را به اتمام رسانده‌اند بدون اعتبار کافی.

ریاضیدان دانشگاه کلمبیا Peter Woit، در نوشته‌ای روی وبلاگ خود Not Even Wrong، انتشار را به عنوان سازمان‌یافته‌ی بد توصیف کرد و گفت که OpenAI پیشنهادات گروه مشاوره را نادیده گرفت قبل از اینکه مسئولیت برای جدول‌بندی نتایج را به جامعه ریاضیات خود منتقل کند. Woit سیستم پشت مقالات را به عنوان مدلی که او به آن 'Astra' اشاره کرد شناسایی کرد. نظرهای روی این پست گفتند که بسیاری از اثبات‌های تولید شده توسط هوش مصنوعی از نظر تکنیکی متراکم بودند اما کم‌تر شهود ریاضی یا درک نظری جدید ارائه دادند، حتی زمانی که درست بودند.

نزاع جدید نیست

اصطکاک بین OpenAI و ریاضیدانان از انتشار اکتبر قبل است. TechCrunch گزارش داد که در اکتبر 2025، نائب‌رئیس OpenAI Kevin Weil - و بعداً حذف کرد - ادعایی درباره اینکه GPT-5 راه‌حل‌های 10 مسئله Erdős حل‌نشده و پیشرفت در 11 مورد دیگر یافت، منتشر کرد. Thomas Bloom، که پایگاه داده مسائل عمومی Erdős را حفظ می‌کند، گفت که چارچوب بسیار گمراه‌کننده بود، توضیح داد که مسائل با علامت 'باز' روی سایت خود صرفاً به این معنی است که از یک راه‌حل منتشر شده آگاه نبود، نه اینکه هیچ راه‌حل وجود نداشت؛ گفت که GPT-5 منابع موجود را که از دست داده بود پیدا کرده بود. محقق OpenAI Sebastien Bubeck بعداً اعترف کرد که مدل صرفاً راه‌حل‌های موجود را در ادبیات منتشر شده جستجو کرده است نه اینکه آن‌ها را کشف کرده باشد، اگرچه گفت این هنوز ارزش دارد.

طرفداران می‌گویند رشته می‌تواند سازگار شود

هر ریاضیدان انتشار را به عنوان یک بحران در نظر نگرفت. Fortune نقل کرد از Dan Litt، ریاضیدان دانشگاه تورنتو، که گفت این توسعه را به طور کلی برای ریاضیات مثبت در نظر می‌گیرد، با هشدار اینکه جامعه باید به تمویل ریاضیدانان انسانی ادامه دهد تا رشته حمایت مؤسساتی را از دست ندهد. Litt همچنین توجه داشت که OpenAI ریاضیدان کافی را استخدام نمی‌کند تا تمام نتایج آن را به عنوان مقالات معمول بنویسد، که گفت این بدون بخشش، نطاق و سرعت انتشار را توضیح می‌دهد.

• 722 دست‌نوشت ریاضیات تولید شده توسط هوش مصنوعی در 372 خانواده مسئله در 6 اکتبر 2026 منتشر شد (Unite.AI).
• OpenAI مدل را روی حدود 4000 مسئله باز آزمایش کرد قبل از انتشار زیرمجموعه انتخاب شده (Unite.AI).
• حداقل سه نتیجه منتشر شده توسط OpenAI تا 8 اکتبر پس گرفتند پس از یافتن خطاها (Fortune).
• Hugo Duminil-Copin، برنده مدال فیلدز، گفت 16 مورد از سؤالات باز او در میان مسائل حل شده بودند (SenePlus).
• انجمن ریاضیات برای بشریت از ریاضیدانان خواست تا با OpenAI همکاری را متوقف کنند (وبلاگ Terence Tao).