Free YouTube Transcribe

Video transcript

CLAUDE rompe la Hipótesis de RIEMANN (Lo Más Difícil en Matemática)

Math Rocks · 3,621 words · 17 min read

Want to search this transcript, jump the video from any line, or download it as TXT, SRT, or VTT?

Open in the transcript tool

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 .

More from Math Rocks

Recently added transcripts

Browse the whole transcript library

This transcript was generated from the captions YouTube publishes for this video. Get the transcript of any YouTube video atfreeyoutubetranscribe.com, free, unlimited, no sign-up.