Full transcript
Lo advertí: El salto gigantesco de Claude
0:00لم يمضِ وقت طويل منذ
0:01أن حذرتك من ذلك .
0:02بالأمس كنت أسجل دورة
0:04حول أجمل براهين
0:05التفاضل والتكامل ،
0:07وفجأة فتحت وسائل
0:08التواصل الاجتماعي
0:09ورأيت هذا الخبر . لقد
0:11حققت " كلاود " قفزة
0:13هائلة في إثبات أصعب
0:15مسألة لدينا في
0:16الرياضيات .
0:17>> مهلاً ، مهلاً ، تمهل يا
0:19عبقري .
0:20>> فرضية ريمان . حسناً ،
0:21تلك هي دالة زيتا
0:22لريمان ، لها علاقة
0:24بهذه الدالة . في هذا
0:25الفيديو سأشرح لك ذلك .
0:26اضطررت للركض ، في
0:27الواقع تركت التسجيل
0:28متوقفاً مؤقتاً . أنا
0:29على وشك إنهاء تلك
0:30الدورة حول أجمل
0:31براهين التفاضل
0:32والتكامل ،
0:33>> مع الرسوم المتحركة
0:34وكل التفاصيل ، وقلت : "
0:36لا ،
0:36>> هذا الأمر يستحق كل
0:38اهتمامي " . أوقفته
0:39مؤقتاً والآن سأريك ،
¿Qué es la Hipótesis de Riemann? (Explicación fácil)
0:41انظر ، في هذا الفيديو
0:43ستتعلم ما هي فرضية
0:44ريمان بأسلوب مبسط
0:46للغاية لتفهمها ، ومع
0:47الرسوم المتحركة
0:49ستدرك ماهية هذه
0:50المسألة وماذا تقول ،
0:52وما هي الآثار
0:53المترتبة على فرضية
0:55ريمان . يا للروعة . هذا
0:56الأمر يثير اهتمامي
0:58حقاً ، أليس كذلك ؟
0:59>> وبعد أن أشرحها لك ،
1:00سنحلل بالكامل هذه
1:02الورقة البحثية ، هذا
1:04الإثبات الذي قدمته "
1:05كلاود " وجاء عالم
1:06رياضيات لتحسينه ،
1:08لأننا في النهاية
1:09احتجنا إلى مساعدة
1:11خبير رياضي لضبط
1:12التفاصيل ، لكن العمل
1:14كله قامت به " كلاود " .
1:15إذا أعجبك الفيديو ،
1:17اضغط على زر الإعجاب ،
1:18وصدقني أن هذا الإثبات
1:20، وهذا العمل الذي
1:22قامت به " كلاود " للتو ،
1:23هو شيء مثير للإعجاب ،
1:25لأنه ليس مجرد مسألة
1:27عادية ، بل هو أصعب
1:28مشكلة لدينا ، وبمعنى
1:30ما ، من المثير للقلق
1:31حقاً أن الذكاء
1:32الاصطناعي بدأ بالفعل
1:34في تحقيق مثل هذه
1:35القفزات المذهلة . أنا
1:37الأستاذ جون ، وهذه
1:39قناة " Math Fing Rocks " .
¿La IA resolvió el problema?
1:44السؤال البسيط ، هل حل
1:45الذكاء الاصطناعي
1:47للتو فرضية ريمان ؟
1:48الجواب هو لا . لكن قول
1:50ذلك بهذه البساطة
1:52سيقلل من شأن ما حدث
1:54للتو . في سبتمبر 2026 ظهر
1:56إثبات جديد غير مشروط
1:58لنتيجة ضخمة . أكثر من
2:0167.25 % من الأصفار غير
2:03التافهة لدالة زيتا هي
2:05أصفار بسيطة وتقع
2:06بالضبط على الخط الحرج
2:08. الفرضية الكاملة
2:10تتطلب نسبة 100 % . نحن لم
2:12نصل إلى هناك بعد ، لكن
2:14القفزة تاريخية ، وقد
2:15شارك الذكاء
2:16الاصطناعي بطريقة بدت
2:18حتى وقت قريب وكأنها
2:19خيال علمي . لفهم ذلك ،
El Problema de Basilea y el origen de la Función Zeta
2:21يجب أن نعود إلى مجموع
2:23يبدو وكأنه من المرحلة
2:24المدرسية . مسألة بازل
2:26هذه تأخذ مربعات
2:28الأعداد الطبيعية 1 ، 4 ،
2:309 ، 16 وتجمع مقلوباتها 1
2:33+ 1/4 + 1/9 + 1/16 وهكذا إلى
2:35الأبد . لعقود من الزمن
2:36لم يعرف أحد القيمة
2:38الدقيقة لهذا المجموع .
2:39حتى عام 1735 ، أعلن
2:41ليونارد أويلر عن
2:42إجابة استثنائية . باي
2:45تربيع مقسوماً على 6 .
2:46ثابت هندسي ظهر دون
2:48دعوة واضحة داخل مجموع
2:50حسابي بحت . كانت تلك هي
2:52مسألة بازل ، وخلف حلها
2:54كانت تكمن بذور دالة
2:56زيتا ، نفس المجموع
2:57ولكن بأس يمكننا
2:58تغييره . ولكن دعونا
De la suma de Euler al Producto de Euler:
3:00نعبر ذلك الجسر نحو
3:01الأعداد الأولية ، لأن
3:02هذا هو ما يهمنا .
3:03بالنسبة للقيم
3:04الحقيقية الأكبر من
3:06واحد ، تُعرّف زيتا لـ s
3:07بجمع 1 على n مرفوعًا
3:08للأس s . اكتشف أويلر
3:10شيئًا أعمق من ذلك .
3:11يمكن أيضًا كتابة ذلك
3:13المجموع كحاصل ضرب يمر
3:14فقط عبر الأعداد
3:16الأولية . هذا ليس صدفة
3:17جمالية ، بل هو
3:18المبرهنة الأساسية في
3:19الحساب وقد تحولت إلى
3:20متطابقة تحليلية . كل
3:22عدد صحيح يتكون بشكل
3:23فريد من عوامل أولية .
3:25لذلك ، عندما تجمع زيتا
3:26كل الأعداد الصحيحة ،
3:28فهي في الواقع ترمز
3:29لجميع الأعداد
3:30الأولية . زيتا هي
3:31مترجم بين عالمين ،
3:32والآن نقفز لأننا
3:34نحتاج إلى توسيع
3:35نطاقها للأعداد
Riemann y el salto a los Números Complejos
3:36المركبة . قام ريمان
3:38بتلك القفزة الحاسمة
3:40في عام 1859 . بدلاً من
3:42السماح لـ s بأن تكون
3:44مجرد عدد حقيقي ، كتب s =
3:46سيجما + i * t ، إحداثي
3:47أفقي وآخر رأسي في
3:49المستوى المركب .
3:51تتقارب المتسلسلة
3:52الأصلية عندما يكون
3:53الجزء الحقيقي من s
3:55أكبر من 1 . ولكن من خلال
3:56التمديد التحليلي ،
3:57يمكن توسيع الدالة
3:59لتشمل تقريبًا كامل
4:00المستوى . هناك تفرد
4:02وحيد ، قطب عند s يساوي 1
4:04. بالإضافة إلى ذلك ،
4:06يظهر تناظر عميق يُعبر
4:08عنه بنسخة كاملة من
4:10زيتا ، كسي لـ s يساوي
4:12كسي لـ 1 - s . ذلك التناظر
4:14يطوي الخريطة حول الخط
4:161/2 ، وهنا يتغير السؤال .
4:18لم نعد نبحث عن قيمة
4:19مجموع ، بل نبحث عن
4:20النقاط التي تكون
4:22عندها الدالة بأكملها
4:23مساوية للصفر . وهنا
Ceros Triviales vs. Ceros No Triviales
4:25نصل إلى الأصفار
4:26التافهة وغير التافهة .
4:28الصفر هو ببساطة قيمة
4:30لـ s تجعل دالة زيتا لـ
4:32s مساوية للصفر . هناك
4:34أصفار سهلة الوصف عند
4:36-2 ، وعند -4 ، وعند -6
4:38وهكذا دواليك . تسمى
4:40بالأصفار التافهة .
4:41بينما تأتي الأصفار
4:42الأخرى في الشريط
4:43الحرج بين جزء حقيقي
4:45صفر وجزء حقيقي واحد ،
4:46وبسبب المعادلة
4:47الدالية وترافق
4:48الأعداد المركبة ،
4:49تظهر بتناظر . تنص
4:50فرضية ريمان على أن
4:52جميع تلك الأصفار غير
4:53التافهة تقع بالضبط في
4:55المنتصف ، عند جزء
4:57حقيقي يساوي 1/2 . في
4:58الرسم البياني على
4:59اليمين ، نرى دالة
5:00هاردي الحقيقية . على
5:02ذلك الخط ، كل تقاطع مع
5:04الصفر يقابل صفرًا
5:06لدالة زيتا ، تقريبًا
5:08عند 14.13 ، 21.02 ، 25.01
5:09وتستمر إلى ما لا
5:11نهاية . تم التحقق من
5:12كميات هائلة من
5:14الأصفار بواسطة
5:15الحاسوب ، لكن أي حساب
5:16محدود لا يثبت ادعاءً
5:18حول أصفار لا نهائية .
5:19تتطلب الفرضية سببًا
5:21يعمل للجميع . ولكن ، ما
¿Por qué importan los ceros?
5:23علاقة هذا بحق الجحيم
5:24بالأعداد الأولية ؟
5:25لماذا يهم موقع تلك
5:27الأصفار ؟ لأنها تتحكم
5:28في الخطأ الذي يمكننا
5:30من خلاله التنبؤ
5:31بتوزيع الأعداد
5:32الأولية . تحسب الدالة (
5:33pi of x ) عدد الأعداد
5:35الأولية حتى x . نموها
5:37المتوسط يشبه x
5:38مقسوماً على لوغاريتم
5:40x . لكن السلم الحقيقي
5:41لا يتبع منحنىً ناعماً
5:43تماماً . إنه يتذبذب في
5:45صيغ ريمان الصريحة . كل
5:47صفر غير تافه يساهم
5:48بنوع من الموجات . بجمع
5:50تلك الموجات ، نستعيد
5:51التفاصيل الدقيقة لعد
5:52الأعداد الأولية . يحدد
5:54الخط الحرج الحجم
5:55الأقصى لتلك
5:56الانحرافات . إثبات
5:57الفرضية لن يمنحنا
5:58قائمة سحرية للأعداد
6:00الأولية ، لكنه
6:01سيعطينا أدق تحكم ممكن
6:03في عدم انتظامها
6:04الظاهري . وبعض التاريخ
Breve historia: De Hardy y Selberg al récord de la IA
6:06. منذ عام 1859 ، جاء
6:08التقدم عبر خطوات . في
6:10عام 1914 ، أثبت هاردي أن
6:11هناك عدداً لا نهائياً
6:13من الأصفار على الخط
6:14الحرج . في عام 1942 ، حصل
6:16سيلبيرج على نسبة
6:18إيجابية . في عام 1974 ،
6:20تجاوز ليفينسون ثلث
6:22النسبة . في عام 1989 ،
6:23تجاوز كونري 2/5
6:25للأصفار البسيطة على
6:26الخط . رفعت النتائج
6:28اللاحقة الرقم
6:29القياسي غير المشروط
6:30ذي الصلة إلى ما يزيد
6:32قليلاً عن 40.75 % . والآن
6:33ما فعله الذكاء
6:35الاصطناعي هو أنه وصل
6:37إلى 67.25 % . الكلمة
6:39الجوهرية هي " غير
6:41مشروط " . البرهان لا
6:42يفترض أن فرضية ريمان
6:44صحيحة . إنه يستخلص
6:45معلومات حول موقع
6:46الأصفار دون استعارة
6:48النتيجة التي يبحث
6:49عنها . وهذه النتيجة
6:51لها رقمان . أكثر من 67.25 %
6:53من الأصفار غير
6:54التافهة هي أصفار
6:55بسيطة وتقع على الخط
6:57الحرج . بسيط يعني
6:59تعددية واحد . أكثر من
7:0283.62 % هي أصفار متميزة .
7:04في هذه النسبة يتم
7:05استبعاد التكرارات
7:07بسبب التعددية . لا
7:08يوجد رقم يقول 100 % . لذا
7:10لا تزال الفرضية
7:12مفتوحة . حسناً ، لنفتح
Análisis del artículo de Youness Lamzouri
7:14المقال . أريد تحليله
7:16معك . لننتقل إلى الجزء
7:17المثير للاهتمام . انظر
7:19، هذا مقال لجون نينز
7:20لامسوري والعنوان
7:22يحدد بالفعل حدود
7:23الخبر . يقول : " برهان
7:25جديد على أن أكثر من
7:26ثلثي الأصفار بسيطة
7:28وتقع على الخط الحرج " .
7:30لا يقول " البرهان " ،
7:31لكننا اقتربنا . أي
7:32أنها خطوة لم يتخذها
7:34علماء الرياضيات ، ولا
7:35تيرنس تاو ولا أي شخص
7:36آخر . تم إرساله إلى "
7:37أرشيف " في 2 سبتمبر ، أي
7:39أنني أخبرك أنني كنت
7:40أراقبه ، وحسناً ، كان
7:41لا بد من صنع هذا
7:42الفيديو . إذن ،
7:43المخطوطة مؤرخة في
7:45اليوم الثالث . حتى
7:46الآن هي مسودة أولية ،
7:47أي أنها ليست مراجعة
7:49من قبل خبراء ومعتمدة
7:50رسمياً ولا تزال لا
7:51تعادل تحكيماً كاملاً
7:52من مجلة علمية . يجب قول
7:54ذلك أيضاً . هذا الخبر
7:56ظهر للتو ، أي أنه " خبز
7:57ساخن " ، خرج للتو . والآن
7:58، ماذا يقول الملخص ؟
8:00إنه يحتوي على أربع
8:01رسائل . أولاً ، أكثر من
8:0367.25 % من الأصفار غير
8:04التافهة بسيطة ، وتقع
8:06على الخط الحرج .
8:07ثانياً ، ما لا يقل عن
8:1083.62 % تعد متميزة . ثالثاً
8:13، النتيجة غير مشروطة ،
8:15ولا تفترض صحة فرضية
8:17ريمان . ورابعاً ، هذا
8:19ليس الإثبات الأصلي
8:21الذي اكتشفه كلاود .
8:22كلاود ، الذكاء
8:23الاصطناعي . يقدم
8:24لامسوري إثباتاً
8:26جديداً وأبسط من
8:27الناحية المفاهيمية .
8:28إثبات كلاود ، الذي
8:30تحققت منه ليفين أبولك
8:31ورالف فورمان ، استخدم
8:33مصفوفة محدودة ، وشكل
8:35هيرميت لـ ويل ،
8:36ومتباينة بين الرتبة
8:38والأثر . يستبدل لامس
8:39هذه الآلية المصفوفية
8:41بمتباينة في فضاء
8:42هيلبرت . ينتهي
8:43المساران بقياس نفس
8:45نوع الكائن ، وهو شكل
8:46تربيعي أو عزم ثانٍ
8:47مبني من أزواج الأصفار
8:49. حسناً ، إذا كنت لا
8:50تفهم شيئاً ، انضم إلى
8:52أعضاء القناة . هناك
8:53لدي دورة كاملة . من
8:55الواضح أنك ستحتاج
8:56أولاً إلى دورة
8:57التفاضل والتكامل ، ثم
8:58المتغيرات المركبة ،
8:59لأن كل هذا هو أصعب
9:00مسألة في الرياضيات .
9:01لا أعرف ماذا كنت
9:03تتوقع . إذا كنت تظن أن
9:04المقال سيكون بسيطاً ،
9:06يحتوي على دالة مثل ( f ( x
9:07) = x ^ c وأن تحسب
9:08مشتقتها ، فالأمر ليس
9:10كذلك .
9:10>> سيمبسون ، أنت شيطاني .
9:12>> إنه مقال معقد . بعد
9:15الملخص ، ننتقل مباشرة
9:17إلى المقدمة عن فرضية
9:19ريمان . فرضية ريمان .
9:21وهنا في هذا المقال ،
9:23لاحظ ، لاحظ ، ثلاثة
9:25عدادات NIT ، هذا ما
9:26يفعله هناك . سأشرحه لك
9:28، لكنه لا يزال معقداً
9:29، وأنصحك بالانضمام
9:30إلى أعضاء القناة ،
9:31وسأقدم قريباً دورة
9:33حول أجمل إثباتات
9:34التفاضل والتكامل ،
9:35وسأعطيك ملاحظات
9:36المحاضرات بصيغة PDF .
9:37هذا هو الجديد الذي
9:38أعمل عليه هنا في
9:39القناة . يحسب جميع
NT, NS y ND: Entendiendo los contadores de ceros
9:40الأصفار غير التافهة
9:41حتى الارتفاع T. هذا هو
9:43( N ( T . هذا الموجود هنا ،
9:44انظر ، هذا الموجود هنا
9:45. آه ، لقد ظهرت الآن .
9:47لقد جعل المؤشر كبيراً
9:48، ما يفعله هو عدها .
9:50إذن يقول بعد ذلك ، بما
9:52في ذلك التعددية ، N تحت
9:54الرمز S ، يحسب تلك التي
9:56تستوفي شرطين في آن
9:57واحد . أنها تقع على
9:59الخط الحرج ولها
10:00تعددية واحد . N تحت
10:02الرمز D يحسب المواقع
10:03المتميزة بحيث يتم
10:04احتساب الجذر المتكرر
10:05مرة واحدة فقط . هذا
10:07الاختلاف يفسر سبب
10:08ظهور نسبتين مئويتين .
10:09ذكرنا 80 وشيئاً ، و 60
10:11وشيئاً هنا . هذا أمر
10:13مهم . إذاً ، صيغة ريمان .
10:15آه ، حسناً ، لها اسم
10:16آخر هنا . ريمان - فون
10:18مانجولت . تقول إن ( N ( T
10:20تنمو تقريباً مثل T على
10:222 باي في لوغاريتم T.
10:23تتحدث النظرية عن
10:25السلوك عندما تؤول
10:26الأمور إلى اللانهاية
10:28، وليس عن حساب عدد
10:30محدود من الأصفار . في
10:31التاريخ الحديث ، كان
10:33الرقم القياسي غير
10:34المشروط للأصفار
10:35البسيطة على الخط هو
10:3640.75 % . لقد رأيته بالفعل .
10:38والنتيجة الجديدة هي 67
10:40% . إذن ، هذا ما يتم
10:41القيام به هنا في هذا
10:42الجزء . ها هو ذا . انظر ،
10:44هذا الجزء هنا . لدينا
10:46التعريفات ، ثم ننتقل
El corazón del artículo: El límite inferior de 0.6725
10:48إلى النظرية ومصدر
10:49الذكاء الاصطناعي .
10:51بمعنى ، كما قلت لك ،
10:52ليس بالأمر البسيط
10:54جداً . هذا هو جوهر
10:55المقال . أي بعد أن يقوم
10:57بكل هذا ، انظر ، ها هو
10:59هنا . هذا هو الحد
11:00الأدنى لـ n sub0 أس s
11:02مقسوماً على n ، وهو
11:03يساوي على الأقل c0 . ها
11:05هو لدينا ، انظر ، إنه
11:06موجود في هذا الجزء . آه
11:07، لا يمكن رؤيته بوضوح .
11:08انتظرني . ها هو ذا .
11:10جاهز . كنت أراه ، لكن
11:12الصورة مقصوصة . ها هو
11:13ذا . إذن ذلك الأس
11:15مقسوماً على n هو 0.6725007 .
11:18وبعض الأرقام العشرية
11:20الأخرى . حسناً ، يمكنك
11:21رؤيته هناك الآن .
11:23بالنسبة للأصفار
11:24المختلفة ، الحد
11:25الأدنى لـ CE1 هو 0.83625 .
11:27ها هو لدينا ، انظر ،
11:29إنه موجود تحت وجنتيّ .
11:31>> يا له من شخص لطيف .
11:32>> ثم انظر ، رمز الحد
11:34الأدنى يسمح بتقلبات
11:35صغيرة ، أي أنه قد
11:37يتغير ، لكنه يؤكد أنه
11:38عند الارتفاع الكبير ،
11:40تذكر أن الارتفاع هو t
11:41الذي ذكرته أعلاه ، فإن
11:43النسبة لا تنخفض عن
11:44تلك الثوابت بالمعنى
11:46التقاربي . بعد ذلك
Cómo Claude descubrió la prueba de forma autónoma
11:47يأتي المصدر ، نظام بحث
11:49داخلي اكتشفه " كلاود "
11:51ذاتياً ، حتى أن الأمر
11:53يثير القشعريرة كونه
11:54قام به الذكاء
11:56الاصطناعي . قام " بوليج "
11:58و " فورمان " بالتحقق منه
11:59ونشره ، وهذا المقال لا
12:01يخفي ذلك المصدر ، بل
12:03يقارنه صراحة بطريقه
12:05الأكثر مباشرة . هذا
12:07مهم من الناحية
12:08العلمية . إنه يفصل بين
12:09الاكتشاف ، والتحقق
12:11البشري ، والتبسيط
12:12الرياضي ، والصياغة
12:13الآلية . ها هو قادم . ها
12:15هو ذا . انظر في هذا
12:16الجزء ، انظر . أعني ،
12:18هذا حقاً ، لا أعرف ،
12:19إنه أمر لا يصدق . بمعنى
12:21، عملياً . آه ، حسناً .
12:24أوه ، لا ، لا ، لا . إنه
12:26أمر مثير للاهتمام ،
12:28أليس كذلك ؟ ولنرى ، هنا
12:30سنتطرق قليلاً إلى جزء
12:31، لا أعرف كيف يُنطق ،
12:33إنه " مونتغمري " ، مثل "
12:34مونتغمري بيرنز " في
12:36مسلسل عائلة سيمبسون .
12:37إنه أمر معقد بعض
12:39الشيء ، لكن يجب العمل
Estrategia de Montgomery y el núcleo de Fejér
12:40هنا . الاستراتيجية
12:41الكلاسيكية التي
12:42يستخدمها في ما لدي
12:44هنا ، كل هذا يربط
12:44الأصفار البسيطة
12:45بمجموع أزواج الأصفار .
12:47الرياضيات جميلة جداً
12:48لدرجة أنني أستطيع
12:49شرحها لك هكذا . عند
12:50افتراض فرضية ريمان ،
12:52تكون الاختلافات ذات
12:53الصلة حقيقية ويمكن
12:54اختيار نواة موجبة مثل
12:56نواة فيجر . سواء كانت
12:57فيجر أو ستكون فيجر .
12:59وهكذا يتحكم المجموع
13:00في المساهمة القطرية
13:02دون افتراض ريمان . قد
13:03تكون بعض الأصفار خارج
13:05الخط . عندها تدخل
13:07الاختلافات إلى
13:08المستوى المركب
13:09وتتوقف الإيجابية لكل
13:11حد عن كونها متاحة . في
13:12الواقع ، تشير المقالة
13:14حتى إلى وجود حاجز
13:15مفاهيمي . انظر إلى هذا
13:17الجزء . ذلك الحاجز
13:18الذي ينص على عدم وجود
13:20نواة صحيحة غير ثابتة ،
13:21ها هو ذا . يقول إذن إن
13:23جزأها الحقيقي يكون
13:24موجباً في كامل
13:25المستوى المركب . أي أن
13:26البحث ببساطة عن نواة
13:27أفضل لا ينهي المشكلة .
13:29تكمن الفكرة الجديدة
13:30في التخلي عن ذلك
13:32الوجود المحلي
13:33واستعادة الإيجابية
13:34على مستوى عالمي . بعد
13:35جمع كل طاقة النظام ،
13:37ها هي . انظر كيف تجمع
13:39باستخدام تكامل . هذا
13:41ما يجب القيام به . إذن ،
13:43هنا يأتي دور ، انظر ،
13:45المتباينة في فضاء
13:47هيلبرت . إذن تلك
13:50المتباينة هي ما
13:52سنستخدمه هنا . انظر ،
13:55هنا يأخذ لامزوري
13:56مجموعة متعددة Z يتم
13:58إنشاؤها تحت الاقتران .
El truco maestro: Desigualdades en espacios de Hilbert
14:00سوف يحول لاحقاً هذه
14:01الأصفار إلى أصفار
14:02دالة زيتا لريمان بحيث
14:04تتوافق النقاط
14:05الحقيقية لـ Z تماماً
14:06مع الأصفار الموجودة
14:07على الخط الحرج . يا له
14:09من تلاعب عبقري قام به
14:10هذا الرجل ، بصراحة . يا
14:12له من تلاعب ، أليس
14:13كذلك ؟
14:14>> أعني ، هذه النقطة بدت
14:16لي ، ما فعله أمزوري
14:17ببرهان كلاود ، جعله
14:19أكثر أناقة بما ذكرته
14:21لك للتو ، أي أنه يربط
14:23كل نقطة Z بدالة
14:24تذبذبية f sub . إذا كانت f
14:26، حسناً ، إذا لم تكن z
14:27حقيقية ، فهو يفصل تلك
14:28الدالة إلى مكونتين G و
14:30H ، مرتبطتين بالاقتران
14:31ثم ينظم تلك الدوال في
14:33ثلاثة فضاءات جزئية
14:34متداخلة . V مع غرام
14:36شميت . أوه ، لا . غرام
14:38شميت ، هذا ما طبقته
14:39أنا . دعني أرى ، كان هنا
14:41في مكان ما . المشكلة أن
14:43ملفي هنا أكبر ، ولكن
14:45ما يفعله بغرام شميت ،
14:47هاهو ذا . غرام شميت
Gram-Schmidt aplicado al problema más difícil de la matemática
14:51الذي شرحته لك في دورة
14:53الجبر الخطي يُستخدم
14:55هنا لحل أهم مشكلة
14:56لدينا في الرياضيات .
14:58وماذا تفعل عملية
14:59التعامد لغرام شميت ؟
15:01تباً ، من فضلكم . قاعدة
15:03متعامدة . آه لا ،
15:05متعامدة معيارية .
15:07عذراً ، لقد تحمست
15:08قليلاً . متباينات
15:09بيسيل ومتطابقات
15:11بارسيفال ، انظر ،
15:12تخبرنا بلغة بصرية أن
15:13الطاقة التي تلتقطها
15:14المساقط لا يمكن أن
15:15تتجاوز الطاقة الكلية .
15:17وعند فصل تلك النقاط
15:18الحقيقية البسيطة ،
15:19والنقاط الحقيقية
15:20المتكررة ، والأزواج
15:21المترافقة غير
15:22الحقيقية ، فإن حساب
15:23الطاقة هذا ينتج حدين .
15:24واحد للعناصر
15:25الحقيقية ، انتبه ،
15:27واحد للحقيقية ، انتبه
15:28، هنا يكمن المهم ،
15:30المتكررة والأزواج
15:31المترافقة غير
15:32الحقيقية . وهذا الحساب
15:34للطاقة ينتج حدين ،
15:35أحدهما للعناصر
15:36الحقيقية البسيطة
15:38والآخر للعناصر
15:39المختلفة . والمفتاح هو
15:40أنه لا يلزم أن يكون أي
15:42حد فردي موجبًا .
15:43المجموع التربيعي
15:45الكامل له هيكل ضروري .
15:47وهذا هو بديل المصفوفة
15:48الكاملة المستخدمة في
15:50برهان " كلاود " . بمعنى ،
15:51ما فعله هنا هو
15:52استبدال ما استخرجه "
15:54كلاود " وبدلاً من وضع
15:56تلك المصفوفة استخدم
15:57هذا . أي ، ما قلته لك
15:59للتو هو يتعلق
16:00بمتراجحة فضاء هيلبرت .
La constante de Montgomery-Taylor
16:02بما أننا نملك هذه
16:03المتراجحة ، متراجحة
16:05مجردة . ها هي . انظر إلى
16:07المتراجحة في هذه ،
16:08الآن تقدير ملموس
16:09للمجموع على أزواج
16:11الأصفار . " موتورين " هو
16:12نسخة غير مشروطة من
16:13مبرهنة ارتباط الزوج
16:15لـ " مونتغومري " . استخدم
16:16" مونتغومري بيرنز "
16:18التي تم الحصول عليها ،
16:19من قام بها ؟ انتبه ،
16:20كان " فالهوت غولسون " و "
16:22سوريجايا " والاسم
16:24الآخر ، لا أعلم ، إنه "
16:26تورناش باتربوند " .
16:27وهذه المبرهنة كان لها
16:28وزن إضافي يسمى W ، لكن
16:30الافتراض يحتاج
16:31للمجموع بدون ذلك
16:32الوزن . أي أن " لامسوري "
16:33يصحح التفاوت بدمج
16:34دالتين اختباريتين Q
16:36ومشتقتهما الثانية
16:37المقيسة بـ 4 لوغاريتم
16:39t . انظر ، ها هي هنا .
16:40دعني أرى ، أين هي ؟ هنا
16:42يوجد ما يتعلق بأربعة
16:43لوغاريتم . ها هي هنا .
16:45انظر ، هذا هو هنا .
16:48والآن لاحظ ما يفعله
16:50بذلك الجزء ، أي لماذا
16:52صححه بهذا الأربعة
16:53لوغاريتم . تحويل فورير
16:55يحول ذلك التصحيح
16:56التفاضلي مرة أخرى إلى
16:58جانب الفضاء العامل
17:00الجبري الذي هو W. ثم
17:01يختار دالة شبه متطرفة
17:03تعتمد على جيب تمام
17:05جذر 2 في x ، مُنَعَّمة
17:06عند الحواف . إذن طبق
17:08فورير ، هذا مذهل ، كيف
17:10يتم استخدام العديد من
17:11الأدوات . لدي أيضًا
17:13دورة في طرق ... لا ، في
17:15تحليل فورير ، عذرًا .
17:17وهنا يظهر ثابت "
17:18مونتغومري وتايلور " .
17:19نعم ، الأمر معقد
17:20للغاية . إنها المسألة
17:22الأكثر صعوبة . ربما لا
17:23تفهم حتى ما أقوله ،
17:24بخلاف أنني مضطرب جدًا
17:26. وما هو الثابت ؟ إنه
17:28تقريبًا 1.327499 ، وبطرحه
17:31من اثنين نحصل على 0.67 .
17:35دعني أبحث عنه لك . ها
17:37هو هنا . هنا ما كنت
17:38أخبرك به عن
17:39اللوغاريتم وتلك هي
17:41براهين الليمات . نعم ؟
17:43إذن ، تحسين النسبة
17:44سيتطلب فكرة إضافية .
17:46آه ، ليس فقط تسجيل نفس
17:48الدالة . إذن ، انظر ، في
17:50هذا الجزء هذا هو كل ما
17:52يفعله . نعم ، أتفهم أن
17:54هناك المزيد من الأمور
17:55. انظر ، هنا ما كنت
17:56أقوله لك عن
17:57اللوغاريتم ، هو
17:58التعديل الذي تم
17:59إجراؤه ، وها هي
18:00الثابتة . مم ، ها هي .
18:02نستخدم تحويل فوريه
18:04وفي النهاية يوجد
18:05البرهان . انظر ، لقد
18:07استخرجوا المراجع
18:08بالفعل . لكن انظر ، في
La traducción decisiva: Z_t y la simetría por conjugación
18:10الصفحة الأخيرة ، هذه
18:11هنا ، انظر ، في هذه
18:12الصفحة الأخيرة من
18:13البرهان ، يتم تغيير
18:15مقياس الأصفار ونقلها
18:16لتشكيل Z subt . هذا هو
18:17الخدعة ، انظر . أي ، ما
18:19قلته سابقاً ، بفضل
18:20المعادلة الوظيفية ،
18:22تلك المجموعة متماثلة
18:24بالنسبة للمرافق وهنا
18:25تحدث النقلة الحاسمة ،
18:27عنصر z subt يكون حقيقياً
18:28. نعم ، فقط إذا كان
18:30للجذر الأصلي جزء
18:32حقيقي يساوي نصفاً .
18:34إذن ، لاحظ ، الاقتراح
18:362.1 ، ذلك الذي يضعه هنا
18:38بالأسفل ، آه ، ها هو ،
18:40كان لدينا من هذا
18:42الجانب ، ذلك الاقتراح
18:44الذي كان يتم استخدامه
18:46. لنرى ، فلنصعد للأعلى .
18:483.3 ، المبرهنة ،
18:50المبرهنة . هي كل
18:52النتائج المستخدمة ،
18:53أليس كذلك ؟ ذلك
18:54الاقتراح 2.1 يقدم
18:56القيد الهندسي
18:57والمبرهنة 3.2 تحسب
18:58العزم الثاني ، وعند
19:00دمجها يظهر اثنان ناقص
19:02C لمونتغومري وتايلور ،
19:03وثلاثة ناقص نصف تلك
19:05الثابتة ، النسب
19:06المئوية المعلنة . إذن ،
19:08لاحظ ، هذا ما فعله . جمع
19:10كل شيء والصفحة
19:12الأخيرة ، لنرى ، ها هي ،
19:14انظر ، هنا قام بطرحها .
19:17ثم ، ماذا تفعل ؟ حسناً ،
19:19تأخذ إبسيلون وتجعله
Verificación mecánica y certificados formales en Lean
19:21يؤول إلى الصفر . في
19:22الواقع ، ملحق هذا
19:24الجزء الذي لدينا هنا ،
19:26الملحق ، ها هو ، هذا
19:27الملحق ما يفعله هو
19:29إضافة طبقة أخرى من
19:31الذكاء الاصطناعي ،
19:32action power ، وأنشأ شهادات
19:34رسمية في LINE للاقتراح
19:36الرئيسي وللنظرية تحت
19:38النتائج التحليلية
19:40المذكورة . وهذا يسمح
19:41بالتحقق الآلي من هذه
19:43الأجزاء . لا يعني هذا
19:45أن كل الأدبيات
19:46السابقة قد تمت
19:47معالجتها من
19:48البديهيات داخل هذا
19:49الملف . نظريات معينة
19:52ثابتة تدخل كفرضية .
19:54لذا ، هذا أمر مذهل
19:56حقاً . أمر مذهل . أعني ،
19:58أجد الأمر مفاجئاً
20:00للغاية . في الواقع ،
20:01تركت ما كنت أفعله
20:02بالأمس للبدء في العمل
20:04على هذا . ليس بالأمر
20:05السهل ، فأنا أدرك أنها
20:07أصعب مسألة في
20:08الرياضيات . شرحها لك
20:09هكذا أمر معقد . الخبر
¿Cuándo se resolverá el primer Problema del Milenio con IA?
20:11ليس أن ذكاءً
20:12اصطناعياً قد حل فرضية
20:14ريمان . أراهنك على ما
20:15تريد ، أنه قريباً جداً
20:16سيتم حل واحدة من
20:17مسائل الألفية السبع
20:19باستخدام الذكاء
20:20الاصطناعي . لقد راهنتك
20:21على ذلك ، ولا أعتقد
20:22أنه مر حتى شهر منذ حل
20:24معضلة إيردوس ، والآن
20:25يحلون هذه . هذه أكثر
20:27دقة . تخيل ، وجدت
20:28إحداها برهاناً لكسر
20:30حاجز تاريخي . تحقق
20:32منها علماء الرياضيات
20:33، ودرسها آخرون ،
20:34ووجدوا طريقاً أقصر ،
20:36وأنتج نظام ثانٍ
20:37شهادات رسمية . الفرضية
20:38لا تزال مفتوحة ، وما
20:40زلنا لا نملك برهاناً ،
20:41لكنها غيرت حدود ما
20:42يمكننا إثباته دون
20:43افتراض صحتها ، وربما
20:45أيضاً الطريقة التي
20:46يستكشف بها البشر
20:47والآلات الرياضيات
20:48العميقة معاً . هذا أمر
20:50مذهل للغاية . أخبرني
20:51أنت في التعليقات
20:52برأيك حول هذا الموضوع
20:54. أنا مندهش . لا أجد
20:55كلمات . يعني ، لقد شرحت
20:57لك المقال بالفعل ،
20:58ويمكنك تحميله . سأترك
20:59لك الرابط في الوصف ،
21:01كما تعلم ، لا توجد أي
21:02مشكلة في ذلك . لكن ما
21:04فعله الذكاء
21:05الاصطناعي للتو لا
21:07يصدق ، ونحن نقترب جداً
21:09من إثبات فرضية ريمان .
21:11وفي هذه الأثناء ، انضم
21:12إلى أعضاء القناة قبل
21:14أن يستبدلني الذكاء
21:15الاصطناعي ، وآخر دورة
21:17سأصدرها هي تلك التي
21:19تتناول أجمل براهين
21:20التفاضل والتكامل ،
21:21وآمل أن تفيدك . يا له
21:24من برهان رائع قدمه
21:26كلود للتو . وقاموا
21:27بتحسينه . حسناً ، أنا
21:29الأستاذ جون ، وهذا كان
21:32برنامج Mating Rocks .