کالبدشکافی برهان فرضیه شبه‌ریمان؛ وقتی هوش مصنوعی قفل ۱۶۰ ساله ریاضیات را می‌شکند

فرضیه ریمان ۱۶۰ سال در نقش یکی از تسخیرناپذیرترین درهای بسته در ریاضیات ایستاد و تلاش نسل‌های متوالی از دانشمندان را پس زد. در ۷ اکتبر ۲۰۲۶، یک سامانه هوش مصنوعی تنها با صرف میانگین سه ساعت محاسبات، مستحکم‌ترین قفل این معما را دور زد؛ دستاوردی که جامعه جهانی ریاضی‌دانان را در بهت فرو برده است.[1][2]

این جهش علمی بدون هیچ پیش‌درآمدی رونمایی شد: شرکت OpenAI ناگهان ۷۲۲ دست‌نویس ریاضی را در یک مخزن عمومی در گیت‌هاب بارگذاری کرد. این حجم عظیم از داده ادعا می‌کرد که ۳۷۲ خانواده از مسائل حل‌نشده را برطرف کرده است. در میان صدها لم مقدماتی، یک سند ۱۹۹ صفحه‌ای بیش از همه جلب توجه می‌کرد: سندی که مدعی اثبات فرضیه شبه‌ریمان بود.[2][3][4]

فرضیه شبه‌ریمان نسخه‌ای اندکی ملایم‌تر از حدس تاریخی سال ۱۸۵۹ درباره شیوه توزیع اعداد اول است. در حالی که فرضیه اصلی ریمان ادعا می‌کند تمام صفرهای ناصوری تابع زتای ریمان دقیقاً روی خطی عمودی با بخش حقیقی ۱/۲ قرار دارند، صورتِ شبه‌ریمان دالانی معین را به اثبات می‌رساند که هیچ صفری در آن راه ندارد.[1][5]

به بیان دقیق‌تر، این دست‌نویس اثبات می‌کند که برای توابع L دیریکله و رده‌هایی از توابع L هکه، هیچ صفری با بخش حقیقی بزرگ‌تر از ۷/۸ وجود ندارد. عقب راندن این مرز از ۱ و تثبیت آن روی ۷/۸، پیشرفتی بنیادین است که ریاضی‌دانان دهه‌ها برای رسیدن به آن در تلاش بودند.[5]

ماکسیم رادزیویل، ریاضی‌دان دانشگاه نیویورک، تأکید کرد: «پیامدهای حتی همین نتیجه محدودتر در فرضیه شبه‌ریمان نیز حیرت‌انگیز است.» او توضیح داد که بخش عمده نتایجی که جامعه علمی امیدوار بود از اثبات کامل فرضیه ریمان به دست آورد، با همین نتیجه شبه‌ریمان هم حاصل می‌شود.[1]

ترکیب ایده‌ها و کشف میانبر زتا

شگفتی اصلی پژوهشگران صرفاً خود نتیجه نبود، بلکه سازوکار زیرین آن بود. این مدل هوش مصنوعی شاخه جدیدی در ریاضیات نساخت یا مفاهیم ناشناخته‌ای برای درهم‌شکستن مسئله وضع نکرد؛ در عوض فرمول‌های موجود و فراموش‌شده را بازخوانی کرد و پیوندهایی را میان آن‌ها دید که سال‌ها از چشم تحلیلگران انسان پنهان مانده بود.[1][2]

الکساندر دان، از مؤسسه فناوری جورجیا، این فرایند را این‌گونه توصیف کرد: «این برهان سنتزی نامنتظره از ایده‌های آشنا است.» مدل از یک ساختار دومرحله‌ای سود برده است: ابتدا با استفاده از اتحادهای بازتابی مرز ۱۱/۱۲ را تعیین کرد و سپس با استفاده از تکنیکی که به میانبر زتا معروف شد، حاشیه را تا ۷/۸ فشرده ساخت.[1][5]

این میانبر به سامانه امکان داد مسیری مستقیم‌تر را در مسئله‌ای پیدا کند که حل آن نیازمند استدلال‌های به‌غایت طولانی و روش‌های اثبات بسیار تخصصی است. مدل با تلفیق اتحاد بازتابی و شگرد معکوس‌سازی، موانع محاسباتی پیچیده‌ای را که سد راه ذهن پژوهشگران بود، دور زد.[3][5]

برای محکم‌کاری، OpenAI نسخه صوری این برهان را نیز با زبان برنامه‌نویسی لین (Lean) که ویژه اعتبارسنجی قضایای ریاضی است، در دسترس قرار داد. کدهای لین تمامی گام‌های منطقی مرز ۱۱/۱۲ و سپس فشردگی آن تا ۷/۸ را تأیید کرده و دست‌نویس ۱۹۹ صفحه‌ای را به قطعیتی وارسی‌شده به‌دست ماشین بدل ساختند.[5]

با وجود این راستی‌آزمایی ماشینی، ریاضی‌دانان خواهان زمان کافی هستند تا منطق گام‌به‌گام آن را تحلیل کنند. پیتر سارناک، متخصص نام‌آشنای نظریه اعداد، اعلام کرد تا زمانی که انسان‌ها نتوانند تمام جزئیات ساختار استدلال را خط‌به‌خط بررسی و هضم کنند، این ادعا را یک قضیه تثبیت‌شده نخواهد دانست.[1][2]

افشای داده‌ها با رویکردی شبه‌مافیایی

حجم بی‌سابقه و سرعت ناگهانی این افشاگری موجی از نارضایتی و انتقاد را نسبت به نحوه تعامل آزمایشگاه‌های هوش مصنوعی با بدنه دانشگاهی برانگیخته است. OpenAI صدها دست‌نویس را یک‌شبه منتشر ساخت، بدون آنکه داوری همتا، چاپ در نشریات آکادمیک یا سنت‌های هم‌رسانی و مشارکت جمعی در ریاضیات را رعایت کند.[2][3]

چندین پژوهشگر رفتار این شرکت را شبیه به رفتارهای مافیایی خواندند و اشاره کردند که انتشار عمومی بدون اطلاع، درخواست‌های مطرح‌شده در نشست محرمانه اوت ۲۰۲۶ برای رعایت پروتکل‌های رایج نشر را نادیده گرفته است. این تنش با اتهام‌های پیشین مبنی بر سبقت‌گیری OpenAI از تحقیقات مشارکتی محققان درباره معادلات ناویر-استوکس تشدید شده است.[2][3]

یک کارگروه مشورتی مستقل از OpenAI خواسته تا تمامی پرامپت‌های به‌کاررفته و هزینه‌های دقیق پردازشی برای تدوین این براهین را شفاف سازد. OpenAI تا این لحظه صرفاً آمارهای میانگین را اعلام کرده و گفته پردازش هر برهان حدود سه ساعت به طول انجامیده؛ پاسخی که آتش اختلافات بر سر شفافیت را فرونشانده است.[3]

جامعه ریاضیات اکنون با واقعیتی دوگانه دست‌وپنجه نرم می‌کند: آرامش ناشی از حل مسئله‌ای که بیش از یک قرن مقاومت کرده بود، و دلخوری از به‌حاشیه‌رانده‌شدن در برابر الگوریتم‌های انحصاری. به نظر می‌رسد دوران اکتشاف‌های ریاضی با عاملیت انحصاری انسان برای همیشه پایان یافته است.[2]

رمزنگاری و رفتار اعداد اول

فراتر از مناقشات آکادمیک، این برهان پیامدهایی فوری برای علوم کامپیوتر دارد. فرضیه ریمان گره‌خوردگی عمیقی با شیوه توزیع اعداد اول دارد؛ اعدادی که شالوده سیستم‌های رمزنگاری امروزی مانند رمزنگاری نامتقارن RSA را تشکیل می‌دهند.[1][5]

هرچند اثبات مرز ۷/۸ رمزنگاری RSA را بی‌اعتبار نمی‌کند، اما حدس‌ها و تقریب‌های ریاضی برای سنجش رفتار اعداد اول را بسیار دقیق‌تر و محدودتر می‌سازد. این دستاورد به پیاده‌سازی الگوریتم‌های قطعی کارآمدتر کمک می‌کند و نقشه روشن‌تری از موقعیت صفرها در صفحه مختلط فراهم می‌آورد.[5]

تعداد بالای مقالات نشان می‌دهد هوش مصنوعی توانسته کار مفید ریاضی را در مقیاسی صنعتی تولید کند، نه آنکه صرفاً به یک سؤال خاص دست‌چین‌شده جواب دهد. جرد دوکر لیختمن، از دانشگاه استنفورد، این رویداد را برجسته‌ترین گام عملی هوش مصنوعی در حوزه ریاضیات تا به امروز خواند.[1][3]

در شرایطی که پژوهشگران مشغول رمزگشایی و تبدیل برهان ۱۹۹ صفحه‌ای به شهود قابل‌درک انسانی هستند، مخزن گیت‌هاب همچنان در معرض ارزیابی همگانی قرار دارد. فرضیه شبه‌ریمان از پای درآمده و کارشناسان مشتاق‌اند ببینند کدام‌یک از ۳۷۱ مسئله حل‌شده دیگر قرار است شاخه‌های تخصصی‌شان را دستخوش بازبینی کند.[1][4]

آزمون غایی این خواهد بود که آیا میانبر زتا می‌تواند مرز را به ۱/۲ برساند و صورت کامل فرضیه ریمان را حل کند یا خیر. تا آن زمان، دالان ۷/۸ نمادی از یک هوش تازه خواهد بود؛ هوشی که همان کتاب‌های درسی انسان‌ها را می‌خواند اما خطوط پیوند متفاوتی میان آن‌ها رسم می‌کند.[1][5]