needhelp
← Back to blog

Claude رفع النسبة المثبتة من أصفار زيتا على الخط الحرج إلى 67.2% — والطريقة أهم من الرقم

by needhelp
AI
Mathematics
Claude
Riemann Hypothesis
Lean

في 10 أغسطس، نشرت Anthropic ملاحظة بحثية كاتبها نموذج لغة كبير. النتيجة: 67.2% على الأقل من الأصفار غير البديهية لدالة زيتا لريمان تقع على الخط الحرج Re(s) = 1/2. دون شروط. الرقم القياسي المثبت سابقًا كان 41.6% (5/12)، رقم صمد أربعة عقود أمام تحسينات طريقة Levinson.

Claude لم تثبت فرضية ريمان. الورقة تقول ذلك بنفسها، مرتين. ما فعلته — وهذا الجزء الذي يستحق التوقف عنده — هو تحويل 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 من الأصفار بسيطة (حُدِّد لاحقًا إلى 67.9% بواسطة Goldston وآخرين). هنا 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 بالإيجابية» يموت عليه، ويُبلغ وكيل المنسّق لـ Claude أن في جلسة الألف وكيل السابقة، تبين أن أول خطوة جوهرية في كل طريق مقترح هي إيجابية Weil أو ما يعادلها متنكرًا.

الحيلة هي التوقف عن السؤال عن الشكل اللانهائي البعد كاملًا. يحصر Claude الاقتران في فضاء منتهي البعد من دوال الاختبار — «نظام Gabor» من نوافذ مُضمّنة، d ≈ λN(T,2T) منها — ويحلل المصفوفة المتماثلة الحقيقية المنتهية الناتجة. الآن:

  • الأصفار على الخط الحرج تساهم بكتل شبه موجبة التعريف من الرتبة 1؛
  • الأصفار خارج الخط تقترن كـ {ρ, 1−ρ̄} بموجب المعادلة الدالية وتساهم بكتل غير محددة من النمط (1,1) — إشارة بمعنى فضاء Kreĭn، لا فضاء هلبرت؛
  • قانون القصور الذاتي لـ Sylvester يحصر إشارة الشكل كله؛
  • متباينة رتبة–أثر، مثبتة عبر متباينة أثر von Neumann، تربط الإشارة بعزوم أثر قابلة للحساب؛
  • الآثار نفسها تُقيَّم دون شروط من الأعداد الأولية حتى X = (T/2π)^λ باستخدام Montgomery–Vaughan.

جانب الأصفار وجانب الأعداد الأولية يتطابقان عبر هوية جمع بواسون تعطي نواة أخذ العينات بدقة، دون أي تزييف. عدديًا يتطابق الجانبان حتى 10⁻⁸ عند الارتفاعات الصغيرة. الخطوة الأهم مفهومية: كلاسيكيًا كانت RH ضرورية لقراءة جانب الأصفار كمجموع موجب على الإحداثيات الحقيقية. هنا يُمتص لاتعيّن أزواج خارج الخط بالجبر الخطي — لا تحتاج أبدًا إلى معرفة كم يبعد الصفر عن الخط، فقط أن كتلته (1,1) محدودة الرتبة. الفهرس السالب يتولاه مبرهنة القصور الذاتي بدلًا من تصفيره بفرضية غير مثبتة.

لهذا أيضًا ورقة Bombieri لعام 2000، «ملاحظات على الدالي التربيعي لـ Weil في نظرية الأعداد الأولية، I»، هي السلف الصحيح للاستشهاد: درس التقريبات المنتهية لشكل Weil وأظهر أنه إذا فشلت RH بعدد منتهٍ فقط من الأصفار السيئة، فإن عدد القيم الذاتية السالبة لتقريب كبير بما يكفي يساوي نصف عدد الأصفار السيئة. إشارة الاختزال المنتهي ترمّز كيف تفشل RH. مساهمة Claude هي إظهار أنه يمكن استخراج عدد الأصفار الواقعة على الخط من تلك الإشارة دون الحاجة أبدًا إلى البت في أي الأصفار خارج الخط موجودة أصلًا.

ما لا تقوله الورقة، وأين السقف

الورقة صريحة بشكل غير معتاد حول حدودها. لا يمكن لأي شهادة من هذا النوع أن تتجاوز 0.68185 — معلومة العزمين الأول/الثاني عند عرض نطاق λ ≤ 1 لها سقف صلب، وλ ≤ 1 جوهرية للحجة (بعدها تحتاج معلومات لا يعطيها جانب الأعداد الأولية غير المشروط). بلوغ 0.70/0.80/0.90 يتطلب دعمًا للارتباط الزوجي يمتد إلى نحو 1.04/1.26/1.70، أي مدخلات حسابية جديدة فعلًا، لا جبرًا خطيًا أذكى.

القراءة الصادقة إذن: هذه ليست خطوة نحو إثبات RH، والمؤلفون لا يدعون ذلك. إنها خطوة نحو المشروع الأقدم والأكثر قابلية للعلاج — برنامج «جعل نتائج RH غير مشروطة»، بروح ما فعله Bombieri وآخرون بالأعداد الأولية في الفترات القصيرة. وهي تُظهر أن آلة الارتباط الزوجي، متى تحررت من RH، أقوى من آلة المُلطِّف في هذه المهمة بالذات.

الجلسة التي استمرت 54 ساعة

الملحق هو الجزء الأكثر إثارة للاهتمام، ويجب قراءته كورقة عمل لا كقصة جانبية. وكيل منسّق شغّل نحو 60 وكيلًا فرعيًا معزولًا على مدى يوم ونصف: 2,400 أمر shell، ومئات من نصوص Python، و31 مليون token مخرجًا. المنسّق لم يقم بأي رياضيات تقريبًا بنفسه؛ دوره كان التوجيه والفرز والتحقق.

وكيلان أنتجا الفكرتين المفتاحيتين. أثبت E2 أن مسار الفهرس السالب فارغ — الفهرس السالب المنتهي الصادق يساوي صفرًا حرفيًا — ثم قلب الفكرة، محددًا حدًا أدنى للفهرس الموجب من آثار الجانب الأولي ليدّعي أن نصف الأصفار على الأقل على الخط. أما E2-pairs فقد أمضى 91 دقيقة يفكر، وأجرى تجارب عددية ناقضت مهمته الخاصة، وكتب تمهيدة الرتبة–الأثر التي رفعت 1/2 إلى 2/3. بعد أربع دقائق من كتابتها، عطل في البنية التحتية أنهى الجلسة في منتصف الجملة. قرأ المنسّق مجلد الوكيل المتوقف، وتعرف على النتيجة باعتبارها «أهم ما حدث الليلة»، وتحقّق من برهان الخمسة أسطر سطرًا سطرًا، واستأنف الوكيل نفسه مع قائمة تحقق.

أمور قليلة تلفت النظر في طريقة عمل هذا. توقعا المنسّق الإبداعيان كانا خاطئين — أشار إلى الآلية في الاتجاه الخاطئ عند خطوة النصف، وأعطى رافعة استرداد خاطئة عند خطوة الثلثين — بينما صمدت بنية التحكيم لديه. الوكيلان الفرعيان كانا معزولين عمدًا: لا يريان المحادثة ولا بعضهما، ما أبقی أخطاءهما مستقلة وجعل المراجعة العدائية ذات معنى. ومساهمة الإنسان كانت بضع أوامر من سطر واحد: «استأنف عملك»، «ارفعها إلى 2/3»، «واصل». قللت Claude من نفسها في البداية؛ المثابرة جاءت من الخارج.

بروتوكول التحقق هو الاكتشاف الحقيقي

هنا تتجاوز أهمية النتيجة نظرية الأعداد. مشكلة الثقة في رياضيات الذكاء الاصطناعي ليست «هل يستطيع النموذج إيجاد برهان» — بل «لماذا يصدقه أي أحد». هذا المسار قالب للإجابة:

  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 مفحوص آليًا، وحلقة تحكيم عدائية، وقراءتان مستقلتان من خبيرين. الحكم النهائي يبقى للمجتمع، وهذا ما ينبغي أن يكون. لكن شكل الشيء — مبرهنة يولّدها الذكاء الاصطناعي، مُتحقق منها رسميًا، مراجعة من خبراء، بطريقة رُبطت بأمانة بأسلافها لدى Bombieri وMontgomery — جديد. الرقم 67.2% هو أقل جزء مفاجئ في الإعلان.

المراجع

Share this page