در 6 اکتبر 2026، OpenAI 722 نسخه خطی تولید شده توسط هوش مصنوعی را منتشر کرد که 372 مسئله ریاضی را پوشش می‌دهد، از جمله یک نتیجه مرتبط با فرضیه ریمان. واکنش‌های ریاضیدانان از خواندن آن به عنوان یک نقطه عطف تاریخی تا هشدار دادن در مورد اینکه تایید از ادعاها عقب‌تر مانده است، متفاوت بود.
این نسخه ترجمهٔ ماشینی متن اصلی (English) است. خواندن متن اصلی
آنچه OpenAI منتشر کرد، و چه زمانی
در 6 اکتبر 2026، OpenAI 722 نسخه خطی را در GitHub منتشر کرد، گروه‌بندی شده در 372 خانواده از نتایج مرتبط، همگی توسط یک مدل درونی تولید شدهاند که این شرکت به صورت عمومی منتشر نکرده است، طبق xenospectrum.com و خبرنامه Latent.space که بر هوش مصنوعی متمرکز است. شرکت گفت که این مدل روی حدود 4000 مسئله ریاضی اعمال شده است، با میانگین هزینه محاسباتی برای هر نتیجه پذیرفته شده معادل حدود سه ساعت وقت تفکیر ChatGPT Pro، طبق گزارش Latent.space.
یک نسخه خطی به آنچه محققان "فرضیه ریمان شبه" نام‌گذاری کرده‌اند می‌پردازد: ادعایی مبنی بر اینکه هیچ صفری از توابع Dirichlet L معین وجود ندارد که جزء حقیقی آن از 7/8 بیشتر باشد. xenospectrum.com اشاره کرد که این فرضیه ریمان واقعی را حل نمی‌کند، که به اصفار در جزء حقیقی دقیقاً 1/2 مربوط است و همچنان مسئله حل‌نشده‌ی جایزه هزاره‌ای معهد Clay برای ریاضیات باقی میماند.
ستایش و نگرانی میان ریاضیدانان
واکنش‌ها تیزی به تقسیم شدند. Levent Alpöge، ریاضیدان، که Latent.space او را وابسته به Anthropic توصیف کرده است، این انتشار را "بوضوح مهم‌ترین لحظه در تاریخ ریاضیات" خواند. The Conversation گزارش کرد که سایر ریاضیدانان بسیار کم‌تر متاثر شدهاند: یکی از بازبین‌ها بخشی از دسته را به عنوان "توده‌ای غول‌پیکر از زباله در آستانه‌ی ما" رد کرد، و یک ریاضیدان ارشد گفت که یکی از مقالات آنقدر نامفهوم بود که اگر معمول به روزنامه ارائه می‌شد، مستقیماً به سطل زباله می‌رفت.
بوضوح مهم‌ترین لحظه در تاریخ ریاضیات است.
— Levent Alpöge، ریاضیدان، همان‌طور که Latent.space نقل کرده است
The Conversation همچنین گزارش کرد که خود ChatGPT حداقل یک نتیجه از دسته را به عنوان "هذیان جدی" علامت‌گذاری کرده است، و تعدادی از مقالات بعداً پس از یافتن خطاها کشیده شدهاند یا اصلاح شدهاند.
شکاف تایید
روایات مختلفی در مورد میزان آنچه واقعاً توسط ماشین بررسی شده است، وجود دارد. xenospectrum.com، در تتبع فهرس رسمی‌سازی OpenAI تا 7 اکتبر، 162 از 722 نسخه خطی را — حدود 22.4 درصد — با نتایجی که به صورت رسمی در زبان تایید اثبات Lean درآمده‌اند، شمارش کرد. The Conversation، برعکس، گزارش کرد که OpenAI 300 نتیجه اصلی را با استفاده از نرم‌افزار نوع Lean رسمی‌سازی کرده است. xenospectrum.com اضافه کرد که حتی رسمی‌سازی Lean تکمیل‌شده، فقط مراحل منطقی اثبات را تایید میکند، نه آن‌که هر ادعای توضیحی در یک مقاله بهطور مستقل تایید شده باشد.
tech-insider.org گزارش کرد که یک گروه مشاوره شامل برنده Fields Terence Tao برای کمک به مدیریت چگونگی رسیدن نتایج OpenAI به مردم تشکیل شد، اما نقش این گروه صریحاً برای مشاوره در مورد انتشار بود، نه برای تایید مستقل اینکه نتایج صحیح هستند. همان منبع به ادعایی در سپتامبر اشاره کرد مبنی بر اینکه مدل OpenAI، با استفاده از حدود 10000 عامل هوش مصنوعی که برای حدود 88 ساعت کار میکنند، اثباتی مرتبط با مسئله وجود و صاف‌بودن Navier-Stokes تولید کرده است — مسئله دیگری از جوایز هزاره — که معهد Clay برای ریاضیات همچنان آن را به عنوان فعال، نه حلشده، فهرست میکند، به معنای آن که هیچ تایید مستقلی تکمیل نشده است.
آنچه ریاضیدانان هنوز بر سر آن اختلاف دارند
فراتر از صحت، tech-insider.org از نگرانی گزارش داد که رویکرد OpenAI در انتشار اول و تایید بعد، روند سنتی ریاضیات را برعکس میکند، و بار بازبینی همتایان کند و متخاصم را بر جامعه‌ای از ریاضیدانان که قبلاً بیش‌ازحد کشیده شدهاند، منتقل میکند. The Conversation نگرانی اضافی در مورد سوءاستفاده‌ی گفته‌شده از داده‌ها که با ادعای قبلی Navier-Stokes مرتبط است، گزارش کرد — نگرانی‌هایی که توسط ریاضیدانان Tristan Buckmaster و Levent Alpöge مطرح شدهاند — ادعاهایی که OpenAI آن را رد کرده است — به علاوه نگرانی گسترده‌تر در این حوزه درباره اینکه تحقیق توسط سیستم‌های هوش مصنوعی "پیشی گرفته شود" و درباره اینکه رشد چنین ابزارهایی برای ریاضیات به عنوان یک حرفه چه معنایی دارد.
انتشار ریاضی OpenAI در اکتبر 2026 به اعداد و ارقام
معیار
رقم
منبع
نسخههای خطی منتشر شده
722
xenospectrum.com, Latent.space
خانواده‌های نتایج
372
xenospectrum.com, Latent.space
مسائل تلاش‌شده
~4,000
Latent.space
میانگین محاسبات در هر نتیجه
~3 ساعت از وقت تفکیر ChatGPT Pro
Latent.space
نسخههای خطی رسمی‌سازی‌شده در Lean
162 (22.4%)
xenospectrum.com
نتایج اصلی رسمی‌سازی‌شده در Lean (شمارش جایگزین)
300
The Conversation
تاریخ انتشار
6 اکتبر 2026
xenospectrum.com
پرسش‌ها
آیا مدل OpenAI فرضیه ریمان را حل کرده است؟
نه. یک نسخه خطی یک نتیجه مرتبط اما ضعیفتر، یعنی "فرضیه ریمان شبه" را مطالبه میکند: درباره اصفار توابع Dirichlet L با جزء حقیقی بیشتر از 7/8؛ فرضیه ریمان واقعی، که به اصفار در جزء حقیقی دقیقاً 1/2 مربوط است، طبق xenospectrum.com، هنوز حلنشده باقی میماند.
OpenAI چند مقاله منتشر کرد، و چه زمانی؟
OpenAI 722 نسخه خطی، سازماندهیشده در 372 خانواده نتایج، را در 6 اکتبر 2026 منتشر کرد، طبق xenospectrum.com و Latent.space.
آیا ادعای Navier-Stokes OpenAI بهطور مستقل تایید شده است؟
نه. tech-insider.org گزارش کرد که علیرغم ادعایی قبلی شامل حدود 10000 عامل هوش مصنوعی که حدود 88 ساعت کار میکنند، معهد Clay برای ریاضیات هنوز مسئله Navier-Stokes را به عنوان فعال، نه حلشده، فهرست میکند.
ریاضیدانان بیشتر چه چیز را درباره این انتشار نقد میکنند؟
نگرانیهای گزارششده بر عدم تطابق بین سرعت انتشار و سرعت تایید متمرکز هستند: فقط اقلیتی از نسخههای خطی بهطور رسمی در Lean بررسی شدهاند، برخی از مقالات دارای خطاهایی هستند که نیاز به کشیدن دارند، و رویکرد انتشاراول، فرایند بازبینی همتایان کند و سنتی را برعکس میکند، طبق The Conversation و tech-insider.org.
کدام مدل این نتایج را تولید کرد؟
OpenAI مدلی که برای تولید نسخههای خطی استفاده شده، را منتشر نکرده است؛ آن بهعنوان یک سیستم درونی، منتشرنشده، باقی میماند، طبق xenospectrum.com و Latent.space.
GPT-6 خانواده مدل جدیدترین OpenAI است که از سپتامبر 2026 به صورت مراحلی تحت نام‌های Astra، Sol و Luna منتشر شد، و Sol و Luna همه کاربران ChatGPT را در 7-8 اکتبر 2026 پوشش دادند. مانند سایر مدلهای زبانی بزرگ، این مدل‌ها پاسخ‌ها را با پیش‌بینی کلمه بعدی با استفاده از شبکه عصبی ترنسفورمر آموزش‌دیده بر روی مقادیر عظیمی از متن تولید میکنند، نه با استدلال به روشی که انسان انجام می‌دهد.
"Artificial"، یک درام تراژی‌کمدی کارگردانی شده توسط Luca Guadagnino، بحران هیئت مدیره OpenAI در سال 2023 را به نمایش می‌گذارد و اخراج و بازخواندن Sam Altman را به عنوان عدسه‌ای برای نگرانی وسیع‌تر جامعه درباره هوش مصنوعی نشان می‌دهد. فیلم با بازی Andrew Garfield، تطور هوش مصنوعی را از تحقیقات اولیه Geoffrey Hinton تا انتشار ChatGPT ردیابی میکند. این فیلم در سینماهای آمریکایی در 25 دسامبر 2026 به اکران می‌رسد.
رئیس‌اجرایی پالنتیر، Alex Karp، در مارس 2026 گفت که تنها دو نوع کارگر می‌توانند با اطمینان درباره داشتن آینده‌ای در یک اقتصاد تحت رهبری هوش مصنوعی باشند: کسانی که آموزش حرفه‌ای دارند، و کسانی که متفاوت‌عصبی هستند. او استدلال کرد که صنایع ماهرانه در برابر خودکارسازی مقاومت میکنند، در حالی‌که الگوهای تفکر متفاوت‌عصبی برای حل‌وفصل غیرمرسوم مسائل مناسب هستند، و Palantir برنامج‌های فلوشیپ پرداخت‌شدهای را برای هر دو گروه راه‌اندازی کرده است.
در 6 اکتبر 2026، OpenAI 722 دست‌نوشت تولید شده توسط هوش مصنوعی را منتشر کرد که در 372 خانواده مسئله سازمان‌دهی شدهاند، شامل ادعای مناقشه‌برانگیزی درباره مسئله جائزه هزاره Navier-Stokes. Hugo Duminil-Copin، برنده مدال فیلدز، گفت که پس از یافتن 16 سؤال تحقیقی خودش در میان مقالات، گریست و آن را «تخریب» حوزه خود نامید، درحالی‌که گروهی از ریاضیدانان هم‌کاران را خواستند با OpenAI کار نکنند.
