کلاؤڈ نے کریٹیکل لائن پر زیٹا کے صفرجات کے ثابت شدہ تناسب کو 67.2% تک پہنچا دیا — اور عدد سے زیادہ اہم طریقہ ہے

10 اگست کو Anthropic نے ایک ریسرچ نوٹ شائع کیا جس کا مصنف ایک بڑا لینگویج ماڈل ہے۔ نتیجہ: ریمن زیٹا فنکشن کے غیر بدیہی صفرجات میں سے کم از کم 67.2% کریٹیکل لائن Re(s) = 1/2 پر ہیں۔ بغیر کسی شرط کے۔ اس سے پہلے ثابت شدہ ریکارڈ 41.6% (5/12) تھا، ایک ایسا عدد جو Levinson طریقہ کی اصلاحوں کی چار دہائیوں تک قائم رہا۔

کلاؤڈ نے ریمن قیاس ثابت نہیں کیا۔ پیپر خود یہ دو بار کہتا ہے۔ اس نے جو کیا — اور یہی وہ حصہ ہے جس پر رک کر غور کرنا چاہیے — وہ ایک مشروط 67% کو بغیر شرط کے 67% میں بدلنا تھا، ایک ایسے طریقے سے جو حقیقی معنوں میں نیا ہے: نہ زیرو-ڈینسٹی تخمینے، نہ زیرو-فری ریجن، نہ ملفائر۔ ریاضی کا ان پٹ بالکل Montgomery کا پیئر-کوریلیشن سیکنڈ مومنٹ کا پرائم سائیڈ حساب ہے جب بینڈوتھ ≤ 1 ہو، جو 1973 سے بغیر شرط کے درست ہے۔ ہر وہ چیز جو پڑھنے کے لیے RH چاہتی تھی، ایک محدود میٹرکس پر لکیری الجبرا سے بدل دی گئی۔

اس عدد کا وزن کیوں ہے

ریمن قیاس کہتا ہے کہ ہر غیر بدیہی صفر کا اصلی حصہ بالکل 1/2 ہوتا ہے۔ 1859 سے ثابت نہیں؛ یہ Clay کی ملینیم پرابلمز میں سے ایک ہے جس پر دس لاکھ ڈالر کا انعام ہے۔ جزوی نتائج لائن پر صفرجات کے تناسب کے لیے نچلی حدیں ہیں، اور یہ سلسلہ مکمل بیان کرنے کے لائق ہے:

• Hardy (1914): لائن پر لامحدود صفر۔
• Selberg (1942): ایک مثبت تناسب۔
• Levinson (1974): کم از کم 1/3، ملفائر طریقے سے۔
• Conrey (1989): 2/5، Levinson کو بہتر بنا کر۔
• Bui–Conrey–Young، Feng، Pratt–Robles–Zaharescu–Zeindler: 5/12، اس ہفتے تک قائم ریکارڈ۔

اس فہرست کا ہر عدد تکنیک کے اسی خاندان سے آتا ہے — Levinson کا طریقہ اور اس کی اولاد۔ نیا 2/3 ایسا نہیں ہے۔ یہ Montgomery کے پیئر-کوریلیشن خیالات کے دائرے سے آتا ہے، جو پہلے صرف RH کے مشروط ہونے پر استعمال ہوتا تھا۔ یہ ایک ساختی تبدیلی ہے، اضافہ نہیں: یہ پہلی بار ہے کہ «RH-مشروط پیئر-کوریلیشن نتائج» کو اس طاقت پر خود RH سے الگ کیا گیا ہے۔

2/3 عدد کی اپنی تاریخ ہے۔ Montgomery نے 1973 میں دکھایا کہ RH فرض کرنے پر کم از کم 2/3 صفر سادہ ہیں (بعد میں Goldston اور دیگر نے 67.9% تک بہتر کیا)۔ یہاں 2/3 وہی مستقل ہے، اب بغیر شرط کے — لیکن لائن پر صفرجات کے لیے، اور الگ الگ صفروں کے طور پر شمار کیا جاتا ہے، نہ کہ Montgomery کے معنوں میں «سادہ»۔ یہ فرق اہم ہے: N₀* کریٹیکل لائن پر الگ الگ صفر شمار کرتا ہے، اس لیے کثیرت آپ کے خلاف نہیں گنی جاتی۔ پیپر یہ بھی ثابت کرتا ہے کہ کم از کم 5/6 صفر الگ الگ ہیں، جو اسی مشینری سے نکلتا ہے۔

دو مزید ساختی نکات۔ پہلا، تھیورم dyadic فاصلوں [T, 2T] کے بارے میں ہے جس میں o(1) ایرر ہے؛ جب T→∞ ہو تو liminf کم از کم 2/3 ہے، اور پیپر رپورٹ کرتا ہے کہ محدود T کا تناسب اپنی حد سے نیچے رہتا ہے کیونکہ کنورجینس سست ہے (ان کا Remark 5.9)۔ دوسرا، طریقہ 2/3 پر اٹکا نہیں ہے: بہترین Montgomery–Taylor ونڈو کے ساتھ مستقل 0.67250… بن جاتا ہے، جو بالکل وہی RH-مشروط Montgomery–Taylor مستقل ہے۔ 2/3 صاف ستھرا بیان ہے؛ طریقہ مفت میں تھوڑا بہتر کر سکتا ہے۔

ایک مختلف انجن

یہاں نتیجہ ریکارڈ بننا چھوڑ کر تکنیک بن جاتا ہے۔ Weil کا صریح فارمولا ٹیسٹ فنکشنز پر ایک مثبتیت کے بیان کو صفرجات کے بارے میں دعوے میں بدل دیتا ہے: اس سے وابستہ مربعی فنکشنل نیم مثبت معین ہے اگر اور صرف اگر RH درست ہو۔ یہ مساوات ہی طاقت بھی ہے اور جال بھی — «مثبتیت سے RH ثابت کرنے» کا ہر سادہ راستہ اسی پر مرتا ہے، اور کلاؤڈ کا کوآرڈینیٹر ایجنٹ رپورٹ کرتا ہے کہ پہلے ہزار-ایجنٹ سیشن میں، ہر مجوزہ راستے کا پہلا حقیقی قدم Weil کی مثبتیت یا اس کا بھیس بدلا ہوا مساوی نکلا۔

چال یہ ہے کہ پورے لامحدود-جہتی فارم کے بارے میں پوچھنا چھوڑ دیا جائے۔ کلاؤڈ جوڑے کو ٹیسٹ فنکشنز کی محدود-جہتی جگہ تک محدود کرتا ہے — ماڈیولٹڈ ونڈوز کا ایک «Gabor نظام»، جن کی تعداد d ≈ λN(T,2T) ہے — اور نتیجے میں بننے والی محدود اصلی سمیٹرک میٹرکس کا تجزیہ کرتا ہے۔ اب:

• کریٹیکل لائن پر صفر نیم مثبت معین رینک-ایک بلاکس بناتے ہیں؛
• لائن سے باہر صفر فنکشنل ایکویشن کے تحت {ρ, 1−ρ̄} کے جوڑے بناتے ہیں اور (1,1) قسم کے غیر معین بلاکس — یہ Kreĭn اسپیس کی signature ہے، Hilbert اسپیس کی نہیں؛
• Sylvester کا جڑت کا قانون پورے فارم کی signature کو محدود کرتا ہے؛
• ایک رینک–ٹریس نابرابری، جو von Neumann کے ٹریس نابرابری سے ثابت ہوتی ہے، signature کو قابلِ حساب ٹریس مومنٹس سے جوڑتی ہے؛
• ٹریس خود X = (T/2π)^λ تک کے پرائمز سے Montgomery–Vaughan کے ذریعے بغیر کسی شرط کے شمار ہوتے ہیں۔

صفر والی طرف اور پرائم والی طرف ایک Poisson-سمیشن آئیڈینٹی سے ملتی ہیں جو سیمپلنگ کرنل بالکل درست دیتی ہے، بغیر کسی aliasing کے۔ عددی طور پر دونوں طرف چھوٹی اونچائیوں پر 10⁻⁸ تک متفق ہیں۔ سب سے اہم قدم تصوراتی ہے: کلاسیکی طور پر RH کی ضرورت تھی تاکہ صفر والی طرف کو اصلی آرڈینیٹس پر مثبت جمع کے طور پر پڑھا جا سکے۔ یہاں لائن سے باہر جوڑوں کی غیر معینیت لکیری الجبرا کے ذریعے جذب ہو جاتی ہے — آپ کو کبھی یہ جاننے کی ضرورت نہیں کہ صفر لائن سے کتنا دور ہے، صرف یہ کہ اس کا (1,1) بلاک رینک میں محدود ہے۔ منفی انڈیکس جڑت کے قانون سے سنبھالا جاتا ہے، نہ کہ کسی غیر ثابت شدہ مفروضے سے صفر کیا جا کر۔

یہی وجہ ہے کہ Bombieri کا 2000 کا پیپر، «نظریہ اعداد اول میں Weil کے مربعی فنکشنل پر ریمارکس، I»، حوالے کے لیے صحیح آباؤاجداد ہے: اس نے Weil فارم کے محدود truncations کا مطالعہ کیا اور دکھایا کہ اگر RH صرف چند برے صفروں کے ساتھ ناکام ہو، تو کافی بڑے truncation کے منفی ایگن ویلیوز کی تعداد برے صفروں کی تعداد کے نصف کے برابر ہوتی ہے۔ محدود compression کی signature کوڈ کرتی ہے کہ RH کیسے ناکام ہوتی ہے۔ کلاؤڈ کا کارنامہ یہ دکھانا ہے کہ آپ اس signature سے لائن پر صفروں کی گنتی نکال سکتے ہیں بغیر کبھی یہ طے کیے کہ لائن سے باہر کون سے صفر موجود ہیں۔

یہ کیا نہیں کہتا، اور حد کہاں ہے

پیپر اپنی حدود کے بارے میں غیر معمولی طور پر صریح ہے۔ اس قسم کا کوئی سرٹیفکیٹ 0.68185 سے آگے نہیں جا سکتا — بینڈوتھ λ ≤ 1 پر فرسٹ/سیکنڈ مومنٹ کی معلومات کی ایک سخت حد ہے، اور λ ≤ 1 دلیل کے لیے ضروری ہے (اس سے آگے آپ کو ایسی معلومات چاہیے جو غیر مشروط پرائم سائیڈ نہیں دیتی)۔ 0.70/0.80/0.90 تک پہنچنے کے لیے پیئر-کوریلیشن سپورٹ تقریباً 1.04/1.26/1.70 تک چاہیے، جس کا مطلب واقعی نیا ریاضیاتی ان پٹ ہے، نہ کہ زیادہ چالاک لکیری الجبرا۔

تو ایماندارانہ پڑھنا: یہ RH ثابت کرنے کی طرف کوئی قدم نہیں، اور مصنفین یہ دعویٰ نہیں کرتے۔ یہ پرانے اور زیادہ قابلِ حل پروجیکٹ کی طرف ایک قدم ہے — «RH کے نتائج کو غیر مشروط بنانے» کا پروگرام، Bombieri اور دیگر کے اس کام کی روح میں جو انہوں نے مختصر فاصلوں کے پرائمز کے ساتھ کیا۔ اور یہ ثابت کرتا ہے کہ پیئر-کوریلیشن مشینری، ایک بار RH سے آزاد ہو کر، اس خاص کام میں ملفائر مشینری سے زیادہ مضبوط ہے۔

اس کے پیچھے 54 گھنٹے کا سیشن

اپینڈکس زیادہ دلچسپ پڑھا جاتا ہے، اور اسے ورک فلو پیپر کے طور پر پڑھا جانا چاہیے، نہ کہ ایک رنگارنگ کہانی۔ ایک کوآرڈینیٹر ایجنٹ نے ڈیڑھ دن میں تقریباً 60 الگ تھلگ سب ایجنٹ چلائے: 2,400 شیل کمانڈز، سینکڑوں Python اسکرپٹس، 31 ملین آؤٹ پٹ ٹوکن۔ کوآرڈینیٹر نے خود تقریباً کوئی ریاضی نہیں کی؛ اس کا کردار سمت، ٹرائیز اور تصدیق تھا۔

دو سب ایجنٹوں نے کلیدی آئیڈیاز بنائے۔ E2 نے ثابت کیا کہ نیگیٹو-انڈیکس راستہ خالی ہے — ایماندارانہ محدود نیگیٹو انڈیکس شناختی طور پر صفر ہے — اور پھر آئیڈیا کو الٹ دیا، پرائم سائیڈ ٹریس سے پازیٹو انڈیکس کو نیچے سے محدود کر کے دعویٰ کیا کہ کم از کم آدھے صفر لائن پر ہیں۔ E2-pairs نے 91 منٹ سوچا، عددی تجربے کیے جو اس کی اپنی بریفنگ سے متصادم تھے، اور رینک–ٹریس لیما لکھی جس نے 1/2 کو 2/3 تک اٹھایا۔ اسے لکھنے کے چار منٹ بعد، ایک انفراسٹرکچر فالٹ نے جملے کے درمیان رن ختم کر دیا۔ کوآرڈینیٹر نے مردہ ایجنٹ کی ڈائریکٹری پڑھی، نتیجے کو «آج رات کی سب سے اہم چیز» پہچانا، پانچ سطری ثبوت کو سطر بہ سطر چیک کیا، اور اسی ایجنٹ کو چیک لسٹ کے ساتھ دوبارہ شروع کیا۔

اس کے کام کرنے کے بارے میں کچھ چیزیں نمایاں ہیں۔ کوآرڈینیٹر کی اپنی دو تخلیقی پیش گوئیاں غلط تھیں — اس نے نصف قدم پر مشینری کو غلط سمت دکھائی اور دو تہائی قدم پر غلط ریکوری لیور دیا — جبکہ اس کا ریفری آرکیٹیکچر قائم رہا۔ سب ایجنٹ جان بوجھ کر الگ تھلگ تھے: وہ گفتگو یا ایک دوسرے کو نہیں دیکھ سکتے تھے، جس نے ان کی غلطیوں کو آزاد رکھا اور مخالفانہ جائزے کو معنی خیز بنایا۔ اور انسان کا کردار ایک لائن کے چند پرامپٹ تھے: «اپنا کام دوبارہ شروع کرو،» «اسے 2/3 تک دھکیلو،» «جاری رکھو۔» کلاؤڈ نے ابتدا میں خود کو کم سمجھا؛ ثابت قدمی باہر سے آئی۔

تصدیقی پروٹوکول ہی اصل دریافت ہے

یہاں نتیجہ نمبر تھیوری سے آگے معنی رکھتا ہے۔ AI ریاضی کے لیے اعتماد کا مسئلہ «کیا ماڈل کوئی ثبوت ڈھونڈ سکتا ہے» نہیں — یہ ہے کہ «کوئی اس پر یقین کیوں کرے»۔ یہ پائپ لائن اس سوال کے جواب کا ایک ٹیمپلیٹ ہے:

1. نابینا مخالف ریفری ایجنٹس، جن میں سے ہر ایک کو ایک الگ خلا اور حملے کا منصوبہ سونپا گیا، اور ایک دوسرے کو پڑھنے سے منع کیا گیا۔ انہیں ایک حقیقی غلطی ملی — ماس میٹرکس کے بارے میں ایک غلط بنیاد — اور انہوں نے وہ اصلاح تجویز کی جو آخرکار پیپر میں شامل ہوئی۔ ایک مخالفانہ لوپ نے ایک ہیلوسینیشن کو پکڑا؛ یہ سسٹم کا کام کرنا ہے۔
2. ایک نابینا ری-ڈیریویشن ایجنٹ جس نے بغیر ثبوت پڑھے نتیجہ ثابت کیا، اور کنٹرول کیسز جن میں معلوم ہے کہ RH ناکام ہوتا ہے۔ دونوں ری پروڈیوسیبلٹی کی سستے فارم ہیں۔
3. ایک لٹریچر ایجنٹ جس نے نیاپن چیک کرنے کے لیے 54 arXiv پیپر ڈاؤن لوڈ کیے — کوآرڈینیٹر نے صاف صاف اپنی یادداشت پر بھروسہ کرنے سے انکار کیا۔
4. ایک Lean 4 / Mathlib رسمیت تھیورمز A–E کی، بغیر کسی sorry کے، جو صرف تین معیاری مسلمات پر انحصار کرتی ہے (propext، Classical.choice، Quot.sound)۔ اس میں Weil کا صریح فارمولا، Riemann–von Mangoldt گنتی، Stirling تخمینے، Chebyshev–Mertens، اور Montgomery–Vaughan شامل ہیں — تحلیلی ڈھانچہ بھی رسمی شکل میں ہے، نہ صرف سرخی والا تھیورم۔
5. انسانی ماہرین: Anthropic کے اندرونی ریاضی دان Levent Alpöge اور Ralph Furman نے اسے درست قرار دیا؛ بیرونی ماہرین Brian Conrey اور Dan Goldston نے مختصر اطلاع پر اس کا جائزہ لیا۔

کوآرڈینیٹر کی اپنی احتیاطیں سب سے زیادہ سبق آموز ہیں۔ «میں آپ کو یہ نہیں بتا رہا کہ آدھے صفر لائن پر ہیں۔ میں یہ بتا رہا ہوں کہ ایک ایجنٹ نے اس نتیجے والی ایک دلیل تیار کی ہے۔» «نتیجے کو ایک انسانی ماہر کی ضرورت ہے۔» حتمی مسودے کا فیصلہ: «اگلا قاری ایک انسان ہونا چاہیے۔»

یہ کام کی صحیح تقسیم ہے، اور اسے نام دینا مناسب ہے: جنریشن اور ایگزیکیوشن متوازی چلتے ہیں؛ تصدیق تہہ دار اور مخالفانہ ہوتی ہے؛ رسمیت گراؤنڈ ٹروتھ ہے؛ فیصلہ لوگوں کے پاس رہتا ہے۔ ریفریوں نے جو غلطی پکڑی وہ اس پائپ لائن کے وجود کی وجہ ہے — ایک ماڈل جو قابلِ قبول ثبوت بناتا ہے بالکل وہی صورت ہے جس میں غیر ناقد قاری جل جاتا ہے۔

ایماندارانہ احتیاطیں

یہ پری پرنٹ سطح کا تحقیقی دستاویز ہے جو اسی ہفتے جاری ہوا جس میں لکھا گیا۔ ماہر نوٹ خود غیر توسیع شدہ ایرر ٹرمز کی نشاندہی کرتا ہے (O(T^δ log T) اور O(T^{1/2−2δ}) کی دم صرف خاکہ شدہ ہے، مکمل تفصیل نہیں)۔ Lean رسمیت ایک جامد تحقیقی دستاویز ہے، نہ کہ دیکھ بھال والی لائبریری۔ اور سیشن سطح کے رویے — ایک کوآرڈینیٹر جس کی پیش گوئیاں دو بار غلط نکلیں، ایک ایجنٹ جسے نوٹس کرنے کے لیے انفراسٹرکچر کریش کی ضرورت پڑی — ابھی قابلِ تولید عمل نہیں؛ وہ اس بارے میں ایک ڈیٹا پوائنٹ ہیں کہ یہ ورک فلو کامیاب ہونے پر کیا پیدا کر سکتا ہے۔

لیکن ریاضی کا جائزہ زیادہ تر پری پرنٹس سے زیادہ سختی سے لیا گیا ہے: مشین سے جانچا گیا Lean ثبوت، ایک مخالفانہ ریفری لوپ، اور دو آزاد ماہرانہ مطالعے۔ حتمی فیصلہ پھر بھی کمیونٹی کا ہے، اور ایسا ہی ہونا چاہیے۔ لیکن اس چیز کی شکل — ایک AI سے بنایا گیا تھیورم، رسمی طور پر تصدیق شدہ، ماہرین سے جائزہ لیا گیا، جس کا طریقہ ایمانداری سے Bombieri اور Montgomery میں اپنے آباؤاجداد سے جوڑا گیا — نئی ہے۔ 67.2% عدد اس اعلان کا سب سے کم حیران کن حصہ ہے۔

حوالہ جات

• Anthropic: «کلاؤڈ ریمن قیاس سے نپٹتا ہے»
• Claude (Anthropic, 2026): «ریمن زیٹا فنکشن کے دو تہائی سے زیادہ صفر کریٹیکل لائن پر ہیں»
• Anthropic: ماہرین کے لیے غیر رسمی نوٹ
• Anthropic: دریافت کے عمل پر اپینڈکس
• Lean 4 رسمیت (GitHub)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: «ریمن زیٹا فنکشن کے صفرجات کی پیئر کوریلیشن کے لیے ایک غیر مشروط Montgomery تھیورم» (arXiv:2306.04799)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: «ریمن زیٹا فنکشن کے صفرجات کی پیئر کوریلیشن I» (arXiv:2501.14545)
• Bombieri (2000): «اعدادِ اولیٰ کے نظریے میں Weil کے مربعی فنکشنل پر ریمارکس، I»
• Montgomery کا پیئر کوریلیشن قیاس (ویکیپیڈیا)
• Clay Mathematics Institute: ملینیم پرابلمز