تم التحقق من أكبر اختراق في فرضية كلود ريمان من قبل علماء الرياضيات البشرية

الملخص:

تم التحقق بدقة من أدلة كلود ذات الصلة بفرضية ريمان من قبل علماء الرياضيات البشريين. هذه المرة، أعلن عالم الرياضيات يونس لمزوري أن برهان كلود صحيح، وقدم برهانا جديدا أبسط وأكثر أناقة وأقوى.

الورقة: https://arxiv.org/pdf/2609.02882

عد إلى الشهر الماضي، عندما أثبت كلود أن أكثر من ثلثي نقاط زيتا صفر تم التأكد من وجودها على الخط الحرج وكانت عبارة عن نقاط صفر واحدة!

https://www-cdn.anthropic.com/95c246936988e43127bc6b2ceb7077c1dad2d68e.pdf

يحطم هذا الرقم بشكل مباشر الرقم القياسي الذي أثبتته فرضية ريمان - حيث ظل الحد السائد السابق عند حوالي 41.6%، ولم يتحسن علماء الرياضيات إلا بنسبة 0.8% في الأعوام الـ 37 الماضية.

وقد استخدم علماء الرياضيات في الأنثروبيك كلود الداخلي لتحسينه بشكل مباشر بنسبة 25.6%!

وعلى الرغم من أنها لم تثبت فرضية ريمان بشكل كامل، إلا أن هذه النتيجة كانت كافية لإحداث زلزال في عالم الرياضيات، وسيطرت الأنثروبيك بشكل مباشر على عناوين الأخبار.

لكن إثبات الذكاء الاصطناعي غامض ويصعب فهمه، و"الآلية الرئيسية ليست واضحة للوهلة الأولى".

الآن، قام عالم الأعداد يونس لمزوري بكتابة برهان مختصر وذكي وجميل لدرجة أنه يعد إنجازًا استثنائيًا.

في غضون ساعات قليلة، أكملت AxiomProver إضفاء الطابع الرسمي على هذا العمل.

هذا العصر مثير حقًا!

هذه ليست مجرد جمالية عنيفة للذكاء الاصطناعي، ولكنها أيضًا هجوم مضاد يائس للحكمة البشرية، وأخيرًا تم الانتهاء من أسطورة التعاون "بين الأنواع" بواسطة ذكاء اصطناعي آخر (Axiom Prover).

شهادة العجاف: https://github.com/AxiomMath/ZetaZeros

تمت إعادة كتابة المنطق الأساسي لتاريخ الرياضيات بالكامل في هذا اليوم.

"جماليات العنف" في الذكاء الاصطناعي تفتح الباب أمام فرضية ريمان

تُعتبر فرضية ريمان "الكأس المقدسة للرياضيات". لماذا؟ لأنه يتزامن مع الواقع الكوني الأكثر عمقا في أنقى تجريده.

أولاً، إنه المخطط النهائي لترويض "الأعداد الأولية".

تبدو الأعداد الأولية وكأنها موزعة بشكل عشوائي على محور الأعداد مثل الأشباح، لكن ريمان يربطها بنقاط الصفر في دالة زيتا.

إذا كان التخمين صحيحًا، فإنه يثبت أنه تحت مظهر الفوضى، هناك في الواقع سيمفونية متناغمة مثالية للغاية مخفية.

ثانيًا، إنه "الجدار الحامل" للرياضيات الحديثة.

اليوم، هناك الآلاف من النظريات عالية المستوى القائمة على فرضية أن "فرضية ريمان صحيحة". وإذا تم تزويرها، فإن نصف مبنى نظرية الأعداد التحليلية سيتحول في لحظة إلى نفايات ورقية.

من نظرية الأعداد والجبر والهندسة إلى التحليل الوظيفي، هناك حوالي 30 إلى 50 نموذجًا مكافئًا لفرضية ريمان والتي تعتبر علامة بارزة حقًا. حتى البحث عن مثل هذه الأشكال المكافئة في حد ذاته يعد موضوعًا ساخنًا في أبحاث الرياضيات الحديثة.

قامت مطبعة جامعة أكسفورد بنشر 3 مجلدات بعنوان "الأشكال المكافئة لفرضية ريمان"

بشكل غير متوقع، فإنه يتجاوز الحدود التأديبية.

لقد شعر الفيزيائيون بالرعب عندما اكتشفوا أن التوزيع التباعدي لنقاط الصفر الرياضية البحتة كان متسقًا بشكل إعجازي مع توزيع مستوى الطاقة للنوى الذرية الثقيلة في ميكانيكا الكم! إن إثبات ذلك ليس انتصارًا للرياضيات فحسب، بل هو أيضًا القفزة النهائية للبشرية للمس الكود الأساسي للكون.

كما نعلم جميعًا، فإن جوهر فرضية ريمان هو استكشاف أماكن نقاط الصفر غير التافهة لدالة زيتا لريمان.

في عام 1859، خمن ريمان بجرأة:

يتم ترتيب جميع نقاط الصفر غير التافهة بدقة على "خط حرج" بجزء حقيقي قدره 1/2.

إن إثبات أنها تقع على الخط الحرج بنسبة 100% يعني كسر فرضية ريمان. لقد كافحت البشرية سابقًا لإثبات أن أكثر من خمسي نقاط الصفر كانت عليها، ثم بدا أنها تتعثر.

حتى ينتهي الذكاء الاصطناعي.

في أحدث الأبحاث، أطلق كلود حملة لحل مشكلة هذا القرن.

لا يفهم الذكاء الاصطناعي معنى "ومضة الإلهام". إنها تؤمن بـ "النتائج المعجزة بقوة كبيرة".

استخدم كلود مجموعة من المصفوفات الضخمة التي نمت باستخدام N(T) لحساب التتبع ومعيار هيلبرت-شميت للمصفوفة. وأخيرًا، وبالاعتماد على مجموعة معقدة من متباينات الرتبة، نجح في تثبيت الحد الأدنى لنقطة الصفر ودفع الحد إلى 67.25%!

تم التحقق من هذه النتيجة مبدئيًا أيضًا من قبل علماء الرياضيات ألبوج وفورمان.

بمجرد ظهور النتائج، أصيب العالم بضجة كبيرة. الإنسانية تقترب من هزيمة فرضية ريمان بشكل كامل، ولم يتبق سوى 32.75% فقط!

ولكن عندما حصل علماء الرياضيات على عملية إثبات الذكاء الاصطناعي، كانوا جميعًا صامتين.

هذا الدليل قبيح جدًا. بمعنى آخر، إنه أمر "غير إنساني" أيضًا.

من خلال البحث الشامل والربط، تمكن كلود من تجميع أداتين رياضيتين "بعيدتي المنال" في الحدس البشري.

إنها مليئة بعدد كبير من الأدوات المعقدة وتحويلات المصفوفات الغامضة. كان الأمر أشبه بجرافة هائجة، تسحق طريقًا داميًا في الغابات الاستوائية المطيرة التي لا طرق لها.

هل هذا الطريق ممكن؟ قادر. هل هذا الطريق سهل المشي؟ حتى كبار علماء الرياضيات يصابون بالصداع بعد قراءته.

باعتباره الفائز بميدالية فيلدز والمعروف باسم "أذكى عقل اليوم"

اشتكى تاو زيكسوان ذات مرة بدقة

إن الدليل على هذا النوع من الذكاء الاصطناعي غامض للغاية ويصعب فهمه، ويحتاج البشر إلى قضاء الكثير من الوقت في "هضمه".

يمنح الذكاء الاصطناعي البشر الإجابات، لكنه لا يمنح البشر "الفهم".

هل مستقبل الرياضيات مجرد آلة حاسوبية لا تعرف الرحمة تنتج مجموعة من الحقائق التي لا يستطيع البشر فهمها؟

لن يعترف علماء الرياضيات من البشر بالهزيمة أبدًا.

الهجوم المضاد للإنسانية، هجوم تقليل الأبعاد لـ "الذوق" و"الأناقة"

عندما كان برهان كلود العنيف مؤلمًا للمجتمع الأكاديمي، وقف عالم الرياضيات يونس لمزوري.

قال له الحدس:

هذا خطأ، والحقيقة لا ينبغي أن تكون منتفخة إلى هذا الحد. وبما أن الذكاء الاصطناعي أثبت أن هذا الاتجاه صحيح، فلا بد من وجود طريق مختصر أجمل!

بعد ذلك، أظهر يونس ما هي "الحكمة الإنسانية" الحقيقية.

لقد استخدم شفرة أوكام وقام بإزالة المصفوفات الزائدة والمعقدة والضخمة التي نمت مع مرور الوقت في برهان كلود.

لقد استخدم متباينة هيلبرت الفضائية المختصرة والأنيقة للغاية لإكمال تقليل المشكلة بشكل مباشر!

يتم تحويل مسألة الحد الأدنى المعقدة بشكل رائع إلى تقدير للمجموع المرتبط بها، ومن ثم يتم تطبيق النسخة غير المشروطة من نظرية مونتغمري (BGST) مباشرة.

بعد بضع ضربات بالفرشاة، تكون السحب هادئة والرياح لطيفة.

وهو أيضًا دليل على أن ">67% من نقاط الصفر تقع على الخط الحرج." إذا كان برهان كلود هو وحش محرك بخاري ذو جماليات عنيفة، فإن برهان يونس هو سيف منقطع النظير وطبيعي تمامًا وقد نسف شعره.

لم يكل فريق اكسيوم في مدحه على وسائل التواصل الاجتماعي:

وقد استنكر لامزوري النتيجة نفسها، إذ استبدل عددًا كبيرًا من الأدوات المعقدة بمتباينة هيلبرت الفضائية الأنيقة. دليل موجز وواضح على الذوق والحكمة الإنسانية.

لاحظ هذه الكلمة: الذوق.

يمكن للذكاء الاصطناعي أن يشق طريقًا من بين 650 فكرة فاشلة، لكن البشر وحدهم، بتقديرهم الطبيعي للهياكل الرياضية، هم من يستطيعون تقويم هذا المسار الموحل وتمهيده وتحويله إلى طريق سريع رائع.

اجتياز اللعبة بالجهاز خلال ساعات قليلة! لقد تغير عالم الرياضيات تمامًا

إذا كنت تعتقد أن القصة هنا مجرد عبارة مبتذلة عن "البشر يهزمون الذكاء الاصطناعي"، فأنت مخطئ تمامًا.

لقد بدأت الذروة للتو.

وفقًا لقواعد الرياضيات التقليدية، كتب يونس هذه الورقة الرائعة للغاية. ماذا يجب أن نفعل بعد ذلك؟

ابحث عن عدد قليل من أفضل الزملاء، وقم بعقد ندوات، وقضاء أشهر أو حتى سنوات في المراجعة والتحقق سطرًا تلو الآخر.

في نهاية المطاف، هذه هي فرضية ريمان! في ذلك الوقت، أثبت موتشيزوكي شينيتشي حدسية ABC. ونظرًا لأن البرهان كان معقدًا للغاية، فقد ظل المجتمع الرياضي يتجادل لمدة عشر سنوات تقريبًا دون التوصل إلى إجماع كامل.

لكن هذه المرة تغير الزمن.

بعد ساعات قليلة فقط من مشاركة يونس للمسودة الأولية! لاحظ أنها بضع ساعات!

تتخذ أداة الذكاء الاصطناعي AxiomProver الإجراء تلقائيًا وتقوم تلقائيًا بإضفاء الطابع الرسمي على إثبات يونس مباشرة بلغة التحقق الرسمية Lean، وتكمل عملية التحقق السلس على مستوى الآلة!

https://github.com/AxiomMath/ZetaZeros

وهذا يعني أنه عندما رأت الجماهير للتو عنوان الورقة ولم تفهم ما هو فضاء هيلبرت، قامت الآلة بلا رحمة بتمزيق سلسلة الإثبات المنطقية بأكملها من البداية إلى النهاية واتخذت القرار النهائي.

في تاريخ البشرية، حدث إنجاز كبير فيما يتعلق بالصعوبة الملحمية لفرضية ريمان،

في "اليوم الأول" لإصدار الورقة، تم التحقق الآلي!

لا يستطيع فريق اكسيوم إخفاء حماستهم:

نحن نؤمن إيمانًا راسخًا بأنه سيكون مستقبلًا حتميًا أن يصاحب التحقق الرسمي من الآلات اكتشافات جديدة في الرياضيات المتطورة.

في أقل من 24 ساعة، أعلن فريق اكسيوم أنهم كانوا على بعد خطوة واحدة من التخمين الأولي:

هناك عدد لا نهائي من أزواج الأعداد الأولية، والمسافة بينها لا تزيد عن 212.

تنص حدسية التوأم الأولية على وجود عدد لا نهائي من أزواج الأعداد الأولية التي يكون فرقها 2.

على مدى قرون، لم يعرف العالم ما إذا كانت هناك أزواج لا حصر لها من الأعداد الأولية التي يمثل فرقها قيمة محدودة.

في عام 2014، حقق كل من Zhang Yitang وJames Maynard وTao Zhexuan ومشروع Polymath طفرة تاريخية، حيث قلصوا هذا الفارق إلى 246.

بالنسبة للمساهمات ذات الصلة، فاز جيمس ماينارد بميدالية فيلدز.

في 31 أغسطس من هذا العام، قلصت عالمة الرياضيات جوليا ستادلمان الفارق إلى 240.

https://arxiv.org/pdf/2608.31126

في 3 سبتمبر، حقق خبراء في نظرية الأعداد وعلماء الرياضيات التطبيقية والمهندسين وAxiomProver نتائج 212 من خلال إجراء تجارب مكثفة على مجموعات كبيرة موزعة بناءً على عمل جوليا ستادلمان.

قالوا إن المسافة بين أحلام الإنسان والإثبات يمكن أن تكون مجرد ساعات قليلة، وليس بضعة أعمار.

في الوقت الحالي، تم نشر المسودة، ويتم الالتزام بنشر النسخة النهائية والدليل الرسمي على arXiv.

الورقة: https://primegaps.axiommath.ai/bgp212.pdf

وبعد ساعات قليلة، استخدمت OpenAI أحدث طراز Astra لتقليل هذا العدد إلى 186 باستخدام طريقة جديدة.

والأمر الأكثر إثارة للصدمة هو أن نظرية فيرما الأخيرة قد تمت صياغتها بشكل كامل بواسطة كلود.

هذا هو الجزء الأكثر إثارة للأعصاب في هذه الحادثة الكبيرة:

إن العصر الكلاسيكي غير الفعال للرياضيات التقليدية المتمثل في "اقتراح التخمينات - الإثبات - مراجعة النظراء اليدوية المطولة - التأكيد" قد وصل إلى نهايته رسميًا اليوم.

النهاية: الأخير 32.75%، من سيكسر التعادل؟

اليوم، يمكننا أن نحتسي الشمبانيا للاحتفال.

أكثر من 67% من نقاط زيتا صفر مثبتة على ذلك الخط الحرج السحري. إن الخط الذي رسمه ريمان بشكل عرضي قبل 167 عامًا يتم إضاءته بوصة بوصة بواسطة البشر والآلات التي تعمل معًا.

ولكن لا تنس أن هذه الرحلة التي دامت قرنًا من الزمان لم تنته بعد.

فرضية ريمان، و32.75% الأخيرة غامضة مثل المادة المظلمة.