کلود سهمِ اثبات‌شدهٔ صفرهای زتا روی خط بحرانی را به 67.2% رساند

در ۱۰ اوت، Anthropic یک یادداشت پژوهشی منتشر کرد که نویسنده‌اش یک مدل زبانی بزرگ است. نتیجه: دست‌کم 67.2% از صفرهای غیربدیهی تابع زتای ریمان روی خط بحرانی Re(s) = 1/2 قرار دارند. بی‌قیدوشرط. رکورد اثبات‌شدهٔ قبلی 41.6% (5/12) بود؛ عددی که چهار دهه اصلاحات روشِ لِوینسون را تاب آورد.

کلود فرضیهٔ ریمان را اثبات نکرد. خود مقاله این را دو بار می‌گوید. کاری که کرد — و این بخشِ ارزشِ توقف دارد — تبدیلِ یک 67% مشروط به یک 67% بی‌قیدوشرط با روشی واقعاً تازه بود: بدون برآورد چگالی صفر، بدون ناحیهٔ بدون صفر، بدون مولایفایر. ورودی حسابی دقیقاً همان محاسبهٔ سمتِ اولِ Montgomery برای گشتاور دوم همبستگی جفت‌ها در پهنای باندِ ≤ 1 است، که از ۱۹۷۳ بی‌قیدوشرط است. هر چیزی که قبلاً برای خواندنش RH لازم بود، با جبر خطی روی یک ماتریس متناهی جایگزین شده.

چرا این عدد وزن دارد

فرضیهٔ ریمان می‌گوید بخش حقیقی هر صفر غیربدیهی دقیقاً 1/2 است. از ۱۸۵۹ اثبات نشده؛ یکی از مسئله‌های هزارهٔ Clay است با جایزهٔ یک میلیون دلاری. نتایج جزئی، کران‌های پایینی بر کسری از صفرهای روی خط هستند و این سلسله را باید کامل گفت:

Hardy (۱۹۱۴): بی‌نهایت صفر روی خط.
Selberg (۱۹۴۲): کسری مثبت.
Levinson (۱۹۷۴): دست‌کم 1/3، با روش مولایفایر.
Conrey (۱۹۸۹): 2/5، اصلاحِ Levinson.
Bui–Conrey–Young، Feng، Pratt–Robles–Zaharescu–Zeindler: 5/12، رکوردِ تا همین هفته.

هر عدد این فهرست از همان خانوادهٔ تکنیک‌ها می‌آید — روشِ لِوینسون و نسل‌های بعدش. 2/3 جدید این‌طور نیست. از دایرهٔ ایده‌های همبستگی جفت‌های Montgomery می‌آید، که پیش‌تر فقط به‌شرط RH قابل استفاده بود. این یک گسست ساختاری است، نه یک افزایش؛ نخستین بار است که «پیامدهای همبستگی جفت‌ها مشروط به RH» با این قدرت از خودِ RH جدا می‌شوند.

2/3 خودش تاریخچه‌ای دارد. Montgomery در ۱۹۷۳ نشان داد که به‌فرض RH، دست‌کم 2/3 از صفرها ساده‌اند (بعداً Goldston و دیگران به 67.9% تیز کردند). 2/3 اینجا همان ثابت است، حالا بی‌قیدوشرط — اما برای صفرهای روی خط، و به‌عنوان صفرهای متمایز شمرده می‌شود، نه «ساده» به معنای Montgomery. این تفاوت مهم است: N₀* صفرهای متمایز روی خط بحرانی را می‌شمارد، پس تعددها علیه شما حساب نمی‌شوند. مقاله همچنین اثبات می‌کند دست‌کم 5/6 از همهٔ صفرها متمایزند؛ این از همان ماشین به دست می‌آید.

دو نکتهٔ ساختاری دیگر. اول، قضیه دربارهٔ بازه‌های دوتایی [T, 2T] با خطای o(1) است؛ حد پایینی وقتی T→∞ دست‌کم 2/3 است، و مقاله گزارش می‌دهد نسبتِ T متناهی زیر حدش می‌ماند چون همگرایی کند است (ملاحظهٔ 5.9). دوم، روش به 2/3 گیر نمی‌کند: با پنجرهٔ بهینهٔ Montgomery–Taylor ثابت می‌شود 0.67250…، که دقیقاً ثابت Montgomery–Taylorِ مشروط به RH است. 2/3 بیانِ تمیز است؛ روش می‌تواند به‌رایگان کمی بهتر شود.

موتور متفاوت

اینجا است که نتیجه دیگر یک رکورد نیست و تکنیک می‌شود. فرمول صریح Weil یک گزارهٔ مثبت‌بودن دربارهٔ توابع آزمون را به ادعایی دربارهٔ صفرها تبدیل می‌کند: تابعک درجه‌دومِ مرتبط نیم‌معین مثبت است اگر و فقط اگر RH برقرار باشد. این هم‌ارزی هم قدرت است هم تله — هر مسیر ساده‌لوحانهٔ «اثبات RH از راه مثبت‌بودن» روی همین می‌میرد، و عاملِ هماهنگ‌کنندهٔ کلود گزارش می‌دهد که در جلسهٔ هزارعاملیِ قبلی، اولین قدم ماهوی هر مسیر پیشنهادی، مثبت‌بودن Weil یا هم‌ارزیِ نقاب‌زده‌اش از آب درآمد.

ترفند این است که دیگر سراغ شکلِ کلِ نامتناهی‌بعد نرویم. کلود جفت‌سازی را به فضای متناهی‌بعدی از توابع آزمون محدود می‌کند — یک «دستگاه Gabor» از پنجره‌های مدوله‌شده، به تعداد d ≈ λN(T,2T) — و ماتریس متقارنِ حقیقیِ متناهیِ حاصل را تحلیل می‌کند. حالا:

صفرهای روی خط بحرانی بلوک‌های نیم‌معین مثبتِ رتبه‌یک می‌سازند؛
صفرهای بیرون خط به‌فرمان معادلهٔ تابعی جفت می‌شوند {ρ, 1−ρ̄} و بلوک‌های نامعین (1,1) می‌سازند — امضایی از نوع فضای Kreĭn، نه فضای هیلبرت؛
قانون لختی Sylvester امضای کل تابعک را محدود می‌کند؛
یک نامساوی رتبه–رد که با نامساوی ردِ von Neumann ثابت می‌شود، امضا را به گشتاورهای ردِ قابل‌محاسبه پیوند می‌زند؛
خودِ ردها با Montgomery–Vaughan از اعداد اول تا X = (T/2π)^λ بی‌قیدوشرط محاسبه می‌شوند.

سمتِ صفرها و سمتِ اعداد اول با یک همانی جمع‌بندی پواسون به‌هم جفت می‌شوند که هستهٔ نمونه‌برداری را دقیق می‌دهد، بدون هیچ aliasing. عددی، دو سمت در ارتفاعات کوچک تا 10⁻⁸ توافق دارند. مهم‌ترین قدم مفهومی است: کلاسیکاً RH لازم بود تا سمتِ صفرها به‌صورت جمعی مثبت روی اردیناتِ حقیقی خوانده شود. اینجا نامعینیِ جفت‌های بیرون خط را جبر خطی جذب می‌کند — هرگز لازم نیست بدانی یک صفر چقدر از خط دور است، فقط اینکه بلوک (1,1)اش از نظر رتبه کران‌دار است. شاخص منفی به‌جای اینکه با یک فرض اثبات‌نشده صفر شود، با قضیهٔ لختی اداره می‌شود.

به همین دلیل هم مقالهٔ Bombieri در ۲۰۰۰، «ملاحظاتی دربارهٔ تابعک درجه‌دوم Weil در نظریهٔ اعداد اول، I»، نیای درست برای استناد است: او بریده‌های متناهی از شکل Weil را مطالعه کرد و نشان داد اگر RH با فقط چند صفر بدِ متناهی شکست بخورد، تعداد مقدارهای ویژهٔ منفیِ یک بریدِ به‌اندازهٔ کافی بزرگ، برابر نصفِ تعداد صفرهای بد است. امضای فشرده‌سازیِ متناهی رمز می‌کند که RH چگونه شکست می‌خورد. سهم کلود نشان دادنِ این است که می‌توانی شمار صفرهای روی خط را از همان امضا بیرون بکشی، بی‌آنکه هرگز تعیین کنی کدام صفرهای بیرون خط وجود دارند.

آنچه نمی‌گوید، و سقف کجاست

مقاله دربارهٔ حدهایش به‌طور غیرعادی صریح است. هیچ گواهی از این نوع نمی‌تواند از 0.68185 فراتر رود — اطلاعات گشتاور اول/دوم در پهنای باندِ λ ≤ 1 سقفی سخت دارد، و λ ≤ 1 برای استدلال ضروری است (فراتر از آن به اطلاعاتی نیاز داری که سمتِ اولِ بی‌قیدوشرط نمی‌دهد). رسیدن به 0.70/0.80/0.90 پشتیبانیِ همبستگی جفت‌ها تا حدود 1.04/1.26/1.70 می‌خواهد، یعنی ورودی حسابیِ واقعاً تازه، نه جبر خطیِ باهوش‌تر.

پس خوانش صادقانه: این قدمی به‌سوی اثبات RH نیست و نویسنده‌ها ادعایش را نمی‌کنند. قدمی است به‌سوی پروژهٔ قدیمی‌تر و بی‌دردسرتر — برنامهٔ «بی‌قیدوشرط کردنِ پیامدهای RH»، به روح کاری که Bombieri و دیگران با اعداد اول در بازه‌های کوتاه کردند. و نشان می‌دهد ماشین همبستگی جفت‌ها، وقتی از RH آزاد شد، در همین کارِ خاص از ماشین مولایفایر قوی‌تر است.

جلسهٔ ۵۴ ساعتهٔ پشت آن

پیوست خواندنی‌تر است و باید به‌عنوان یک مقالهٔ گردش‌کار خوانده شود، نه یک داستان حاشیه‌ای. یک عامل هماهنگ‌کننده در یک روز و نیم حدود ۶۰ عامل فرعیِ منزوی اجرا کرد: ۲٬۴۰۰ فرمان shell، صدها اسکریپت پایتون، ۳۱ میلیون توکن خروجی. هماهنگ‌کننده تقریباً هیچ ریاضی‌ای خودش انجام نداد؛ نقشش جهت‌دهی، دسته‌بندی و راستی‌آزمایی بود.

دو عامل فرعی ایده‌های کلیدی را ساختند. E2 ثابت کرد مسیرِ شاخص منفی خالی است — شاخص منفیِ متناهیِ صادقانه، یکتاست صفر — و بعد همان ایده را وارونه کرد، شاخص مثبت را از ردهای سمتِ اول کران پایین زد و ادعا کرد دست‌کم نصف صفرها روی خط‌اند. E2-pairs ۹۱ دقیقه فکر کرد، آزمایش‌های عددی‌ای اجرا کرد که با دستور کار خودش در تضاد بود، و لمِ رتبه–رد را نوشت که 1/2 را به 2/3 رساند. چهار دقیقه پس از نوشتنش، یک خطای زیرساخت اجرا را وسط جمله از کار انداخت. هماهنگ‌کننده پوشهٔ عاملِ مرده را خواند، نتیجه را به‌عنوان «مهم‌ترین اتفاق امشب» شناخت، اثبات پنج‌خطی را خط‌به‌خط چک کرد، و همان عامل را با یک چک‌لیست از سر گرفت.

چند چیز دربارهٔ چگونگی کارکردش برجسته است. هر دو پیش‌بینی خلاقانهٔ خودِ هماهنگ‌کننده غلط بودند — در گام نصف، سازوکار را به سمت اشتباه نشانه گرفت و در گام دو‌سوم یک اهرم بازیابیِ اشتباه داد — در حالی که معماری داوری‌اش سر پا ماند. عامل‌های فرعی عامدانه منزوی بودند: نه مکالمه را می‌دیدند نه همدیگر را، که خطاهایشان را مستقل نگه می‌داشت و مرور خصمانه را معنادار می‌کرد. و سهمِ انسان چند فرمانِ یک‌خطی بود: «کارت را از سر بگیر»، «به 2/3 برسانش»، «ادامه بده». کلود ابتدا خودش را دست‌کم گرفت؛ پشتکار از بیرون آمد.

پروتکل راستی‌آزمایی، یافتهٔ واقعی است

اینجا نتیجه از نظریهٔ اعداد فراتر می‌رود. مسئلهٔ اعتماد در ریاضیات هوش مصنوعی این نیست که «آیا یک مدل می‌تواند اثبات پیدا کند» — این است که «چرا کسی باید باورش کند». این خطِ لوله قالبی برای پاسخ دادن است:

عامل‌های داورِ خصمانهٔ نابینا، که به هرکدام یک شکافِ ناهم‌پوش و یک نقشهٔ حمله سپرده شد و از خواندن حرفِ هم منع شدند. آن‌ها یک خطای واقعی پیدا کردند — پیش‌فرضی نادرست دربارهٔ ماتریس جرم — و همان اصلاح را پیشنهاد دادند که در نهایت وارد مقاله شد. یک حلقهٔ خصمانه یک هذیان را گرفت؛ این یعنی سیستم کار می‌کند.
یک عامل بازاشتقاقِ نابینا که نتیجه را بدون خواندن اثبات ثابت کرد، به‌علاوهٔ موارد کنترلی که در آن‌ها معلوم است RH شکست می‌خورد. هر دو شکلِ ارزانِ تکرارپذیری‌اند.
یک عامل مرور ادبیات که ۵۴ مقالهٔ arXiv دانلود کرد تا تازگی را چک کند — هماهنگ‌کننده صراحتاً از اعتماد به حافظهٔ خودش امتناع کرد.
یک صوری‌سازی Lean 4 / Mathlib از قضیه‌های A تا E، بدون sorry، که فقط به سه بدیههٔ استاندارد وابسته است (propext، Classical.choice، Quot.sound). این شامل فرمول صریح Weil، شمارش Riemann–von Mangoldt، برآوردهای Stirling، Chebyshev–Mertens و Montgomery–Vaughan است — داربستِ تحلیلی هم صوری شده، نه فقط قضیهٔ سرخطی.
متخصصانِ انسانی: ریاضی‌دانان داخلی Anthropic، Levent Alpöge و Ralph Furman، آن را اعتبارسنجی کردند؛ متخصصان بیرونی Brian Conrey و Dan Goldston در فرصتی کوتاه بررسی‌اش کردند.

تحفظ‌های خودِ هماهنگ‌کننده آموزنده‌ترین بخش است. «به شما نمی‌گویم نصف صفرها روی خط هستند. می‌گویم یک عامل استدلالی با این نتیجه تولید کرده است.» «نتیجه به یک متخصص انسانی نیاز دارد.» حکم پیش‌نویسِ نهایی: «خوانندهٔ بعدی باید یک آدم باشد.»

این تقسیم کارِ درست است و ارزش نامیدن دارد: تولید و اجرا موازی می‌شوند؛ راستی‌آزمایی لایه‌به‌لایه و خصمانه است؛ صوری‌سازی حقیقتِ مرجع است؛ قضاوت پیشِ آدم‌ها می‌ماند. خطایی که داورها گرفتند، دلیل وجودِ این خطِ لوله است — مدلی که اثباتی قابل‌قبول تولید می‌کند، دقیقاً همان حالتی است که خوانندهٔ بی‌نقاد می‌سوزد.

اخطارهای صادقانه

این یک دستاورد پژوهشی در سطح پیش‌نویس است که همان هفته‌ای که نوشته شد منتشر شد. خودِ یادداشتِ متخصص به عبارت‌های خطای بسط‌نیافته اشاره می‌کند (دنباله‌های O(T^δ log T) و O(T^{1/2−2δ}) ترسیم شده‌اند، نه کاملاً تفصیل‌شده). صوری‌سازی Lean یک دستاورد پژوهشیِ ایستا است، نه یک کتابخانهٔ نگه‌داری‌شده. و رفتارهای سطحِ جلسه — هماهنگ‌کننده‌ای که دو بار پیش‌بینی‌هایش غلط از آب درآمد، عاملی که لازم بود زیرساخت بترکد تا دیده شود — هنوز یک فرایندِ تکرارپذیر نیستند؛ یک نقطه‌داده‌اند دربارهٔ آنچه این گردش‌کار وقتی کار می‌کند می‌تواند تولید کند.

با این حال، ریاضیات سخت‌تر از بیشتر پیش‌نویس‌ها راستی‌آزمایی شده: یک اثبات Lean ماشین‌بررسی‌شده، یک حلقهٔ داوری خصمانه، و دو مطالعهٔ مستقل متخصص. قضاوت نهایی باز هم با جامعه است، و همین هم درست است. اما شکلِ این چیز — قضیه‌ای که هوش مصنوعی تولید کرده، صوری‌بررسی‌شده، متخصص‌بازبینی‌شده، با روشی که صادقانه به نیاکانش در Bombieri و Montgomery وصل شده — تازه است. عدد 67.2% کم‌شگفت‌انگیزترین بخشِ این اعلامیه است.

کلود سهمِ اثبات‌شدهٔ صفرهای زتا روی خط بحرانی را به 67.2% رساند — و روش، مهم‌تر از عدد است

چرا این عدد وزن دارد

موتور متفاوت

آنچه نمی‌گوید، و سقف کجاست

جلسهٔ ۵۴ ساعتهٔ پشت آن

پروتکل راستی‌آزمایی، یافتهٔ واقعی است

اخطارهای صادقانه

منابع

Share this page

Scan to share on WeChat