Full transcript
¡Hito histórico! OpenAI apunta a Navier-Stokes tras Riemann
0:00لا يمكن أن يكون هذا
0:01حقيقياً . نحن أمام
0:03معلم تاريخي . لم يمر
0:04حتى أسبوع على فيديو
0:06فرضية ريمان . لقد
0:08اقتربت من 40 إلى 60
0:09بالمئة ، لدينا تقدم في
0:11فرضية ريمان ، أصعب
0:12مسألة في الرياضيات .
0:14وقد قلت إن المسألة
0:15التالية هي نافييه -
0:17ستوكس . لم تمر 7 أيام
0:18حتى بدأت OpenAI تقول
0:20إنها حطمتها . لم أنتهِ
0:22حتى من تسجيل دورة
0:23أجمل براهين التفاضل
0:24والتكامل ، تلك
0:25الفيديوهات الأربعين
0:27التي أجهزها لك إذا
0:28انضممت لأعضاء القناة
0:29قبل أن تستبدلني
0:30الذكاء الاصطناعي .
0:32وبينما أنهي تسجيل تلك
0:33الدورة ، وفجأة ، بوم ،
0:35يلقون في وجهي هذا
0:36الخبر . ثم لا يزال
0:37لدينا دراما على أسلوب
0:39المسلسلات المكسيكية .
0:41>> وقد تحولت إلى رواية :
0:42أنت فعلت ، أنا فعلت ،
0:44لكن الأسوأ هو أنهم
0:46يبنون أمثلة مضادة ،
0:47ويجب أن يمر عامان حتى
0:49يتحقق معهد كلاي منها .
0:51>> حدث هذا قبل 84 عاماً .
0:54>> ودعك من المليون دولار
0:55، فهي أقل ما في الأمر .
0:56تخيل ما هو المليون
0:58دولار بالنسبة لـ OpenAI
0:59أو Anthropic . اربط أحزمة
1:01نظرياتك لأن هذا
1:02الموضوع مثير . لدينا
1:03دراما على أسلوب
1:04المسلسلات ، ولدينا
1:06الجانب التاريخي
1:07لمعادلات نافييه -
1:08ستوكس . سأشرحها لك
1:10ببساطة شديدة ،
1:12وأخيراً سأوضح ما
1:14فعلته OpenAI و Anthropic في
1:16هذا البرهان المكون من
1:18166 صفحة من الألم
1:20الرياضي . إذا أعجبك
1:22الفيديو ، اضغط على زر
1:24الإعجاب وشاركه ، لأن
1:25هذا ، صدقني ، هو
1:27التاريخ . أنا
1:28البروفيسور جون ، وهذا
1:29هو " ماس فوكينج روك " .
El salseo: Controversia de prioridad entre OpenAI y Claude
1:33ونبدأ بفقرة الدراما .
1:34لا يوجد سرقة أدبية
1:36مثبتة . هناك جدل حول
1:38الأولوية والوصول
1:39والنسبة . تريستان
1:41بوكماستر وليفين أبلك
1:43، موظف في Anthropic لكنه
1:44يعمل بصفة شخصية ، عملا
1:46مع " كلود " وأيضاً مع
1:48نماذج OpenAI . هنا تبدأ
1:50الرواية . بوكماستر
1:51يشكك في التسلسل
1:52الزمني للمحادثات حول
1:54التقدير . تؤكد OpenAI
1:55أنها لم ترَ برهانهم
1:57قبل نشره ، رغم أنها
1:58تعترف بأنها لا تستطيع
2:00استبعاد أن البيانات
2:01مجهولة الهوية من
2:03استخدام منتجاتها
2:04ربما حسنت نماذجها
2:05بشكل غير مباشر . كلا
2:07الروايتين موجودتان
2:08في تصريحات كل طرف ورد
2:10OpenAI ، إنهم يتشاجرون ،
2:12وهناك " قيل وقال " ،
2:13وأوضح أنهم لا يثبتون
2:14المعادلات ، بل يبنون
2:16أمثلة مضادة . تدعي OpenAI
Contraejemplos y singularidad en tiempo finito
2:18بناء حل لمعادلات
2:19نافييه - ستوكس مع لزوجة
2:21وقوة خارجية ناعمة
2:23تطور تفرداً في زمن
2:24محدود . إذا كان
2:26البرهان صحيحاً ، فإنه
2:28سيحل معضلات معهد كلاي
2:29من خلال مثال مضاد .
2:31بوكماستر وأبولك
2:32يبنيان مثالاً مضاداً
2:34مشابهاً لمعادلات
2:35أويلر بقوة ناعمة .
2:36معادلات أويلر لا
2:37تحتوي على لزوجة ، لذا
2:38فهي لا تحل شيئاً فيما
2:39يخص نافييه - ستوكس .
2:40بالإضافة إلى ذلك ، يقر
2:42كلا العملين بالأفكار
2:43التي طرحها
2:44الإسبانيان دييغو
2:45كوردوبا ولويس
2:46مارتينيز أوروا
2:46كخلفية أساسية .
2:47والخلاف حالياً يدور
2:49حول التأثير المحتمل
2:50والاعتراف بالفضل ،
2:51وليس حول تهمة سرقة
2:52أدبية . والآن ، لنبدأ ،
2:54وأريدك أن تنضم إلى
2:55أعضاء القناة . لقد
2:56أخبرتك بالقصة ، والآن
2:58سأحدثك عن المعادلات .
2:59ستحصل على 25 دورة في
3:00الرياضيات الجامعية
3:02أكاديمية بالكامل ومن
3:03الصفر ، ادعم هذا
3:04المشروع ومع تلك
3:05الدورات الـ 25 ستصبح
3:06عبقرياً . ستحصل على
3:07التفاضل والتكامل ،
3:08والجبر الخطي ،
3:09والمعادلات التفاضلية
3:10، كل المواد التي
3:11ستدرسها في الجامعة
3:12ستجدها هنا . بضغطة زر
3:13واحدة . تبدأ القصة
Historia: De las ecuaciones de Euler (1757) a la viscosidad
3:14بفكرة بسيطة . يتحرك
3:16الماء لأن هناك شيئاً
3:17يدفعه . لقرون ، درسوا
3:18التدفقات والقنوات
3:20والسفن باستخدام
3:21الهندسة والضغط
3:22والتجارب . وفي عام 1757 ،
3:24كتب ليونارد أويلر
3:26معادلات لسائل مثالي .
3:28لم يطبق قانون نيوتن
3:30الثاني على كرة ، بل
3:31على كل جزء صغير من
3:33السائل . سمح نموذج
3:35أويلر بتسارع التدفق
3:36بفعل الضغط والقوى
3:38الخارجية ، لكنه تجاهل
3:40عنصراً يومياً ، وهو
3:41الاحتكاك الداخلي . يا
3:43لها من خدعة ذكية
3:44قدمها أويلر . في
3:45السائل الحقيقي ، تعمل
3:46الطبقتان المتجاورتان
3:47على كبح حركة بعضهما
3:48البعض . العسل يفعل ذلك
3:50أكثر بكثير من الماء .
3:51هذا التأثير هو
3:52اللزوجة . في عام 1822 ،
Navier (1822) y Stokes (1845)
3:54قدم الفرنسي كلود لويس
3:56نافييه قانون حركة
3:58للسوائل اللزجة .
3:59تفسيره المجهري لم يكن
4:01حديثاً ، لكنه قدم
4:02الصيغة الرياضية
4:03الأساسية للاحتكاك .
4:05وفي عام 1845 ، أعاد جورج
4:07غابرييل ستوكس بناء
4:08تلك النظرية من
4:10ميكانيكا الأوساط
4:11المتصلة وأوضح متى يجب
4:13أن تعمل . لهذا السبب
4:14نتحدث عن معادلات
4:16نافييه - ستوكس . من هنا
4:17جاءت . كانت مساهمته
4:19الكبرى هي إضافة مصطلح
4:20إلى معادلات أويلر
4:21يقوم بتوزيع فروق
4:22السرعة . إذا تحركت
4:24طبقة بسرعة كبيرة
4:25بجانب أخرى شبه ساكنة ،
4:27تحاول اللزوجة تخفيف
4:28هذا التباين مثل قطرة
4:30حبر تنتشر . ولنمذجة
El campo de velocidades, presión e incompresibilidad
4:32السائل ، لا نتتبع كل
4:33جزيء ، بل نقسم المساحة
4:35إلى نقاط ونسأل عن
4:37سرعة المادة في كل
4:39مكان وكل لحظة . هذا
4:40يخلق مجال سرعات u عند
4:42الموقع x والزمن t . سهم
4:44في كل نقطة . نحدد أيضاً
4:46الضغط P والكثافة rho .
4:48الجسيم الذي يسافر عبر
4:50المجال يغير موقعه ،
4:51لكن المجال نفسه يتغير
4:53أيضاً مع مرور الوقت .
4:54هذا التغير المزدوج هو
4:56السبب في أن المعادلة
4:57غير خطية . في السائل
4:58غير القابل للانضغاط ،
5:00نضيف شرطاً آخر . تباعد
5:01u يساوي صفراً . اللغة
5:03بسيطة ، الحجم لا يظهر
5:05ولا يختفي داخل التدفق
5:06، وأريدك أن تنضم إلى
5:08أعضاء القناة وتستفيد
5:10من دوراتي الـ 25 مقابل
5:11دولارين زهيدين فقط .
Desglose término a término de la ecuación de Navier-Stokes
5:13يمكن قراءة المعادلة
5:14الرئيسية على أنها
5:16حساب للتسارعات . أولاً
5:17، المشتق الجزئي لـ U
5:18بالنسبة للزمن . كيف
5:20تتغير السرعة هنا
5:21تحديداً ؟ ثانياً ،
5:22حاصل ضرب u في تدرج u .
5:24كيف تتغير الجسيمات ؟
5:25لأنها تنتقل إلى منطقة
5:27يكون فيها التدفق
5:28مختلفاً . إنه النقل
5:30وهو أيضاً مصدر عدم
5:31الخطية . في الطرف
5:33الآخر يظهر سالب تدرج P
5:34مقسوماً على الكثافة ،
5:36أي الدفع من مناطق
5:37الضغط المرتفع إلى
5:39مناطق الضغط المنخفض ،
5:41ثم nu في لابلاسيان u ،
5:42وهي اللزوجة التي تسوي
5:44الفروق الحادة . نعم ،
5:46إنه معقد ، وهو من أصعب
5:47المسائل في الرياضيات .
5:49وأخيراً ، f ، وهو
5:51الجاذبية أو مروحة أو
5:53أي قوة خارجية .
5:54المعادلة الثانية هي
5:56تباعد u يساوي صفراً .
5:57تفرض عدم القابلية
5:58للانضغاط . كل حد غير
6:00مفهوم عند دراسته بشكل
6:02منفصل . تنشأ الصعوبة
6:03لأنها كلها تعمل في
6:04وقت واحد في ثلاثة
6:06أبعاد ، والحركة نفسها
6:07تعدل الحركة
6:08المستقبلية . في
Casos exactos (Couette y Poiseuille)
6:09الحالات شديدة
6:10التماثل ، يمكن حل
6:11المعادلات بشكل دقيق .
6:13بين صفيحتين وأخرى
6:14ثابتة ، يظهر مقطع عرضي
6:16شبه خطي للسرعة . إنه
6:17تدفق كويت . في أنبوب
6:19بضغط ثابت ، تشكل
6:20السرعة قطعاً مكافئاً
6:21وتكون في أقصى قيمتها
6:23في المركز . إنه تدفق
6:24بوازيه . باستخدام هذه
6:25الأفكار نفسها تُنمذج
6:27المضخات ، وأعضاء
6:27الجسم التي يمر بها
6:28الدم ، والغلاف الجوي .
6:30لكن حل حالة محددة لا
6:31يجيب على سؤال الألفية
6:33. هذا السؤال لا يطلب
6:34التنبؤ بحالة طائرة أو
6:36أنبوب ، بل يطلب إثبات
6:37ما يمكن أن يحدث لكل
6:38فئة من البيانات
6:40الملساء في ثلاثة
Número de Reynolds, turbulencia y estiramiento de vorticidad
6:41أبعاد . أظهر أوزبورن
6:42رينولدز في عام 1883 أن
6:44تدفق الأنبوب يمكن أن
6:46يتحول من منظم إلى
6:47مضطرب . يقارن رقم
6:48رينولدز بين القصور
6:50الذاتي واللزوجة .
6:51عندما تسود اللزوجة ،
6:52تتقدم الطبقات بشكل
6:53منظم . عندما يسود
6:55القصور الذاتي ، يمكن
6:56للاضطرابات الصغيرة
6:57أن تنمو وتشكل دوامات
6:58في ثلاثة أبعاد . يمكن
6:59لهذه الدوامات أن
7:01تتمدد وتصبح أنحف ، وقد
7:02تشتد سرعة الدوران ،
7:04وهنا تصبح الأمور
7:05معقدة . تمدد الدوامة
7:07هذا هو أحد أسباب
7:08صعوبة المشكلة ثلاثية
7:10الأبعاد ، ولكن انتبه ،
7:12الاضطراب المرئي لا
7:13يعني تلقائياً وجود
7:15تفرد رياضي . يمكن
7:16للمحاكاة أن تظهر فوضى
7:18بسرعات محدودة . يسأل
7:20مسألة كلاي عما إذا
7:21كان أي حل مقبول يمكن
7:23أن يفقد سلاسته أو
7:25يصبح لانهائياً في زمن
7:26محدود . بما أنه لا توجد
7:28صيغة مغلقة تقريباً ،
7:29يقوم المهندسون
7:30بتحويل الفضاء المتصل
7:32إلى شبكة . في كل خلية
7:33يخزنون السرعة والضغط .
7:35ثم يستبدلون المشتقات
7:36بالفروق بين الخلايا
7:37المجاورة ، ويتقدمون
7:38بخطوة زمنية صغيرة ،
7:39ويصححون الضغط ليبقى
7:41التدفق غير قابل
7:42للانضغاط . في عام 1965 ،
7:43اشتهرت طريقة هارلو
7:45وويلش " Marker and Cell "
7:46للأسطح الحرة ، وفي عام
7:481968 قدم ألكسندر تشورين
7:50طريقة الإسقاط التي
7:52تفصل بين تقدم السرعة
7:53وتصحيح الضغط . نستخدم
7:55اليوم الفروق
7:56المحدودة ، والحجوم
7:57المحدودة ، والعناصر
7:58المحدودة ، والمحاكاة
7:59المباشرة ، ونماذج
8:00الاضطراب . إنها طرق
8:01عددية . لدي دورة كاملة
8:03حول هذا الموضوع في
8:04القناة . اضغط على زر
8:05الانضمام . زيادة الدقة
8:06تحسن التفاصيل ، لكنها
8:07تستهلك الذاكرة
8:08والوقت . المحاكاة ،
8:09مهما كانت دقيقة ، تظل
8:11تراجع عدداً محدوداً
8:12من الخلايا والخطوات ،
8:14وقد تلهم برهاناً ،
8:15لكنها لا تغني عن
8:16إثبات رياضي للمقاييس
8:17اللانهائية . وفي عام
Soluciones débiles de Jean Leray y el Premio del Instituto Clay (2000)
8:191934 ، أثبت ليريه وجود
8:21حلول ضعيفة عالمية ذات
8:23طاقة محدودة . الحل
8:24الضعيف يلبي المعادلة
8:26بصيغتها التكاملية .
8:27ورغم أنه قد لا يكون
8:28سلساً عند كل نقطة ، ظل
8:29السؤال مطروحاً عما
8:31إذا كانت البيانات
8:32الأولية السلسة تنتج
8:33دائماً حلاً سلساً
8:34وفريداً لكل الأوقات .
8:35وفي عام 2000 ، جعل معهد
8:37كلاي هذه المسألة
8:38واحدة من مسائل
8:39الألفية السبع . تسمح
8:40الصياغة الرسمية
8:41بمسارين . الأول ، إثبات
8:43أن أي حل ثلاثي
8:44الأبعاد مقبول يظل
8:46سلساً دون قوة خارجية ،
8:47والآخر هو بناء بيانات
8:49وقوة خارجية سلسة
8:50تماماً بحيث لا يوجد
8:52حل عالمي سلس ذو طاقة
8:53محدودة . المسار الثاني
8:55يتوافق مع الخيارات ( ج )
8:57و ( د ) ، وهذا التمييز
8:58حاسم لأن مقترح " OpenAI "
9:00الجديد يستخدم قوة
9:01سلسة ، وهو لا يحل
9:02الحالة بدون قوة ، لكنه
9:04يشير إلى أحد المسارات
9:05الرسمية للجائزة .
El manuscrito de 166 páginas de OpenAI y su prueba en Lean
9:07والآن ، في الثامن من
9:09سبتمبر 2026 ، اليوم ،
9:11تنشر " OpenAI " مخطوطة من 166
9:13صفحة بعنوان " Finite Blow-up
9:15for Navier-Stokes " مع إضفاء
9:17الطابع الرسمي عليها
9:19بلغة " Lean " . المبرهنة
9:21المقترحة تبدأ من سائل
9:22في حالة سكون ، وتطبق
9:24قوة سلسة ومدمجة ،
9:25وتبني دوامة تتركز في
9:26نقطة . يتناقص نصف
9:27القطر ، ويمتد عمودها ،
9:29وتنمو السرعة بلا حدود
9:30. مع الاقتراب من الوقت
9:32واحد ، وبينما تظل
9:33الطاقة الكلية محدودة
9:34، تقوم نبضات تذبذبية
9:36بتصحيح عدم التوازن .
9:37لكي لا تصبح القوة
9:39الخارجية أحادية ( singular
El sistema de 10,000 agentes y el trabajo en paralelo de Euler
9:41) ، تعزو " OpenAI " هذا
9:42الاكتشاف إلى نظام
9:44داخلي يضم حوالي 10,000
9:46وكيل ، و 88 ساعة ، و 2.7
9:48مليون رسالة ، وحوالي
9:50130 مليار رمز .
9:51وبالتوازي ، نشر
9:52تريستان بوكمار وإل
9:54أبول ، وهو موظف في "
9:55Anthropic " ، تفجراً ( blow-up )
9:56بقوة سلسة لمعادلات "
9:58أويلر " ثلاثية الأبعاد
10:00. وهنا الحدود متداخلة
10:01، فقد استخدموا " Claude " و
10:03" Codex " ، لكن تعاونهم كان
10:04شخصياً ولم يظهروا
10:06معادلات " نافييه - ستوكس
10:07" . لدينا هنا " مسلسل
10:09الدراما " الخاص
10:10بمعادلات نافييه -
10:11ستوكس . أخيراً ، دييغو
La influencia clave de Diego Córdoba y Luis Martínez-Zoroa
10:12كوردوبا ولويس
10:13مارتينيز أوروبا ،
10:15وهما رياضيان
10:15إسبانيان ، فتحا
10:16برنامج التفردات مع
10:18الطبقات في أعمال
10:19حديثة يعترف بها
10:20كسابقة . لقد فتحوا باب
10:21برنامج المتفردات
10:22الطبقية الذي تعترف به
10:24الأعمال الحديثة كسلف
10:25لها . لا يظهرون
10:26كمؤلفين مشاركين في
10:27مخطوطة " أوبن إيه آي "
10:28ويجب قول ذلك ، لكن
10:29أفكارهم ساعدت في
10:30تحويل حدس إلى مسار
10:31ملموس . هل تم حل
Los 2 años de revisión formal del Instituto Clay
10:33المشكلة ؟ همم . اليوم
10:35الإجابة المسؤولة
10:36ستكون : هناك مقترح
10:38علني ، لكن لا يزال
10:39أمامنا وقت طويل
10:40لإثباته . تتطلب مؤسسة "
10:42كلاي " أيضاً نشراً
10:43مؤهلاً لمدة عامين
10:45وإجماعاً دولياً قبل
10:46النظر في الجائزة . إذا
10:48صمد الإثبات ، لن يكون
10:49مجرد علامة فارقة في
10:50ميكانيكا الموائع ، بل
10:51سيكون نقطة تحول في
10:53العلاقة بين علماء
10:54الرياضيات والذكاء
10:55الاصطناعي والإثبات
10:56القابل للتحقق . حسناً ،
10:57ها هي الورقة البحثية ،
10:59يمكنك تنزيلها من هناك
11:00. 166 صفحة ، تحتوي على
11:02فهرسها وكل شيء . أوه ،
11:04نعم لقد أُعدت
11:05باستخدام الذكاء
11:06الاصطناعي . يجب توضيح
11:07أولاً معنى كلمة " حل " ،
11:09أي أن " أوبن إيه آي "
11:10تدعي أنها بنت حلاً
11:12يصبح متفرداً في زمن
11:14محدود ، ويتناسب مع
11:15الخيارين C و D في
11:16البيان الرسمي لمؤسسة
11:18" كلاي " . سيكون ذلك
11:19كافياً لحل مسألة
11:21الألفية إذا كان
11:22الإثبات صحيحاً . يجب
11:24توضيح هذا ، لكن اليوم ،
11:26أي 8 سبتمبر 2026 ، لا
11:27تزال " كلاي " تعتبرها
11:29غير محلولة لأن
11:30المخطوطة نُشرت للتو
11:32ويجب على المجتمع
11:33مراجعتها . سيستغرق
11:35الأمر عامين كاملين .
11:36المقال هو " Finite Log " وقد
11:38تم تقديمه مؤسسياً
11:39بواسطة " أوبن إيه آي " .
11:41ها هي . هنا سيعطونهم
11:43المليون . من هنا سيحصل
11:45على ميدالية فيلدز ؟
11:46جائزة نوبل ، لا أعلم .
11:48لا يقدم محاكاة أو
11:49قياساً تجريبياً ،
11:50انتبه . يقدم بناءً
La construcción del vórtice: Núcleo delgado y energía acotada
11:52رياضياً لكل لزوجة
11:53موجبة . في الواقع ،
11:55يبدأ بسرعة أولية
11:56صفرية ويطبق قوة
11:57خارجية ضئيلة للغاية
11:58وموضعية . ها هي هنا .
12:00ويحصل على سرعة تنمو
12:01بلا حدود عندما يقترب
12:02الزمن من الواحد ، ورغم
12:04ذلك ، تظل الطاقة
12:05الحركية الكلية
12:06محدودة بشكل موحد . هذا
12:07المزيج هو جوهر
12:08النظرية . حول هذا
12:09الجزء ، انظر ، الحدس هو
12:11دوامة . سأضع لك الصورة
12:13هنا لتراها . ستصبح هذه
12:15الصورة هي الأكثر شهرة
12:16في هذه الأيام . وتخيل
12:17عمود السباغيتي هذا
12:19وهو يدور بشكل أسرع
12:20فأسرع ، ويشغل حجماً
12:22أقل فأقل . بالقرب من
12:23الزمن المتفرد ، يصبح
12:25القلب رفيعاً للغاية ،
12:26ويمكن للسرعة أن تنمو
12:28بشكل كبير ، ولكن بما
12:29أن المنطقة السريعة
12:31تتقلص أكثر ، فإن تكامل
12:32مربع السرعة قد يظل
12:34محدوداً . تحاول
12:35اللزوجة تنعيم التدفق
12:37، لكن البناء ينظم
12:38النقل والهندسة بحيث
12:40ينتصر التضخيم محلياً .
12:42هذا كل ما يفعله هنا .
12:43في جميع الصفحات . انظر
12:45، ما الذي يقوم به ؟ لقد
12:47كنت أراجعه . نعم ، إنه
12:49معقد للغاية ، أي أنه
12:51يقع في 166 صفحة .
12:53>> يا سيمبسون ، أنت
12:54شيطاني .
12:56>> لا يكفي ابتكار سرعة
12:58تنفجر ، بوم ، ثم تحديد
13:00أي قوة لدعمها . الخدعة
El truco diabólico: Pulsos oscilatorios y fuerza suave
13:03هي أن تلك القوة يجب أن
13:05تكون سلسة أيضاً .
13:07الخلفية الدوامية
13:09وحدها ستترك بقايا
13:11مفردة . تضيف الورقة
13:12البحثية عائلات من
13:13النبضات التذبذبية في
13:15حلقة حول النواة .
13:16تتطابق تدفقات زخمها
13:18المتوسط مع الأجزاء
13:19الخطيرة من البقايا .
13:21ثم تطبق تصحيحات
13:22متتالية ، وتقص البناء
13:24في الفضاء حتى تصبح
13:25القوة سلسة وذات دعم
13:27مضغوط . وفي الواقع ،
13:28تشغل الحجة الكاملة 166
13:30صفحة ، لأن كل إلغاء
13:32يجب التحكم فيه مع
13:34جميع مشتقاته ، أي كل
13:35ما يفعله هنا ، انظر
13:37إلى تلك الصورة التي
13:39أصبحت الأكثر شهرة على
13:41الإنترنت في هذه
13:42اللحظات . إذن ، كل هذا
13:46هو التبرير . لنرى ،
Verificación en Lean y la necesidad de revisión humana
13:48قامت OpenAI أيضاً بنشر
13:50إضفاء طابع رسمي في " Lean
13:52" . هذا مهم لأن " Lean "
13:53يتحقق من أن كل خطوة
13:55رسمية تتبع قواعد
13:57صريحة . هذا ما أضعه لك
13:58هنا . أعني أنها ورقة
14:00بحثية جيدة ، ليست مجرد
14:01تغريدة ، إنه يقوم بعمل
14:02جيد ، لكن هذا الإضفاء
14:03للطابع الرسمي ، أي
14:04حقيقة أنهم رفعوه على "
14:06Lean " ، لا يلغي المراجعة
14:07البشرية بالكامل .
14:08سيمضي عامان . يجب على
14:09الخبراء أيضاً التحقق
14:11من أن التعريفات
14:12الرسمية تتطابق
14:13تماماً . هل سيختبرونه
14:15بالذكاء الاصطناعي ؟
14:16لا أعلم . لا أعلم كيف
14:18سيختبرونه . انظر ، هنا
14:20الورقة البحثية ، بشكل
14:22عام ، استغرق الأمر 88
14:24ساعة لإنجازها ، أليس
14:26كذلك ؟ وهنا يكمن
Colaboraciones, modelos y citas teóricas
14:27الارتباك المهم . لاحظ ،
14:29لم تنشر Anthropic إعلاناً
14:30مؤسسياً يقول : " لقد
14:31حللت معادلات نافييه -
14:33ستوكس " ، سيحدث لهم مثل
14:34نيوتن وليبنتز ،
14:36بوكماستر الذي هو
14:37أستاذ ، وآبل الذي هو
14:38عالم رياضيات موظف في
14:40Anthropic ، أي أنهم يصفون
14:41عملهم بأنه تعاون شخصي
14:43دون مشاركة مؤسسية .
14:44استخدموا عدة نماذج ،
14:46بما في ذلك Claude و Codex ،
14:48ونشروا الورقة بقوة
14:49سلسة لثلاثي الأبعاد .
14:51إذن ، لا توجد لزوجة
14:53هنا ، لذا فهو تقدم
14:54قريب جداً ، لكنه ليس
14:56نفس المبرهنة . إنهم
14:58يقولون : " هل تعلم ؟ كدت
15:00أحله مثل توريتو في
15:02فيلم " Fast and Furious " . كدت
15:04أن أهزمك . إنهم يفعلون
15:06الشيء نفسه . وهنا
15:07يعترف المجموعتان
15:08بفضل دييغو قرطبة
15:09ولويس مارتينيز أوروا .
15:11من هنا تأتي
15:12الاقتباسات التي
15:13لديهم لهما . انظر كم من
15:15الصفحات ، أعني أن
15:16هؤلاء الرياضيين
15:17درسوا كيفية بناء
15:19التفردات من خلال تلك
15:20الطبقات . إذاً ، أو
15:22تذبذبات أصغر فأصغر مع
15:23التحكم في نفس الوقت
15:25بالقوة اللازمة ، فهم
15:26لا يظهرون كمؤلفين
15:28مشاركين . في نهاية
15:29المطاف ، إنها مجرد
15:31إلهام . إذن ، انظر ، هذا
15:33كله . إنه أمر مذهل حقاً
15:37. ولنرى ، يجب أن يكون
15:40هنا في جزء ... كم صفحة
15:41قرأت حتى الآن ؟ أوه .
15:43سيكون موجوداً ، أعتقد
15:45في النهاية . إنه أمر
15:47مذهل ، يعني كل هذا
15:48مبرر لما ذكرته لك
15:50للتو بشكل عام في
15:51الشرح . بمعنى ، إذا
15:52أردت شرحاً للورقة
15:54البحثية كاملة ، فلن
15:55تجده هنا . هذا شيء محدد
15:57للغاية . أنا فقط أعطيك
15:59لمحة بسيطة . وهنا ،
16:00لاحظ ، استنتاجي هو أنه
16:02ليس فوز شركة وخسارة
Los 3 niveles: Matemáticos humanos, Euler y Navier-Stokes
16:04أخرى ، لأنهم في
16:05النهاية كما لو أن
16:06فريق أنثروبيك عملوا
16:08مع أوبن إيه آي وقالوا :
16:10" حسناً ، لننشره ، ولكن
16:12احذفوا اسم أنثروبيك " .
16:14آه ، هناك ثلاثة
16:15مستويات مختلفة ، انظر .
16:17الاستراتيجية
16:18الرياضية السابقة
16:20للباحثين البشر ، وهم
16:21الإسبان . النتائج
16:22القريبة لأويلر وطرق
16:24أخرى تم الحصول عليها
16:25مع كلاود وكودكس ، أعني
16:27مع كلاود وكودكس ،
16:28وكودكس هو شات جي بي تي
16:30، الذي أستخدمه لاحقاً
16:32ليساعدني في جزء
16:33الرسوم المتحركة هذا ،
16:35ومقترح أوبن إيه آي
16:36المحدد لنظام نافيير -
16:38ستوكس كزوجة موجبة .
16:39انظر ، إذا اجتازت
16:41الورقة المراجعة
16:42الدولية ، فسنكون أمام
16:44أول حل مقبول لمسألة
16:46الألفية ، بمساعدة
16:48حاسمة من الذكاء
16:49الاصطناعي . هذا هو
16:51المهم . إذاً ، العبارة
16:53الدقيقة لن تكون أن
16:55كلاود وأوبن إيه آي
16:57دمروا أول مسألة من
16:58مسائل الألفية . ستكون
17:02أن المقترح عبارة عن
17:04حل منشور وقيد
17:05المراجعة . هذا كل شيء ،
17:08انظر ، مقعد . لنرَ ،
17:11انظر . همم . حسناً ،
17:13أتركها لك كمهمة ،
17:14لتقوم بمراجعتها .
17:16>> يا له من تكتيك عبقري ،
17:17أليس كذلك ؟
17:18>> هنا يقتبسون ، هذه هي
17:19الاقتباسات التي كنت
17:20أخبرك عنها . انظر ،
17:21الإسبان . ها هم
17:23موجودون . إذن ، هذا ما
17:25فعلوه للتو . إنه إنجاز
17:28تاريخي . بالفعل ، ولذا
17:29قدموا تحية لأعضاء
Consecuencias para el futuro de la ciencia y la IA
17:31القناة . إنه يوم مهم
17:33للرياضيات ، يوم مهم
17:34للعالم ، ولا أعرف ما
17:36هي العواقب التي
17:37سيترتب عليها كل هذا .
17:39هذا هو الشيء المهم . لم
17:41ينشروا بعد بشكل جيد ،
17:43وبشكل عام ، ما الذي
17:44يحدث بالضبط . إليكم
17:46الورقة البحثية ، يجب
17:48عليكم مراجعتها ومنها
17:50سننطلق ، فالأمر يزداد
17:52إثارة للقلق . لا أدري ،
17:54كنت أخبركم قبل نهاية
17:56العام أنهم سيحلون
17:57مسألة الألفية ، وها هم
17:59يفعلون ذلك . منذ فترة
18:00لم يكن الذكاء
18:02الاصطناعي يجيد جمع
18:03الكسور ، وهذا ما
18:04يقدمونه لنا ، فما الذي
18:06يفعله من يملكون أقوى
18:08أنظمة الذكاء
18:09الاصطناعي بها ؟
18:10السؤال ليس عما إذا
18:12كان " سكاي نت " قد وصل ،
18:14السؤال هو : من يتحكم في
18:16" سكاي نت " ؟ إذا تمكنوا
18:18بالفعل من حل أصعب
18:19معضلات الرياضيات
18:21والفيزياء ، فكيف
18:22يستخدمون هذا الذكاء
18:23الاصطناعي ؟ هل
18:25سيفعلون ذلك للسيطرة
18:26علينا ؟ ربما سيطروا
18:28عليَّ لأقوم بعمل هذا
18:30الفيديو ، لا أعلم . لذا
18:32اضغط على زر الإعجاب ،
18:34وانضم لأعضاء القناة ،
18:36ويا للهول ، لقد حُلَّت
18:38مسألة الألفية .
18:40بالنسبة لي ، أثق بما
18:42فعله بينيا ولن أنشر
18:44أي شيء هكذا ببساطة .
18:46وعلى العموم ، هكذا
18:48تسير الأمور . أنا
18:49الأستاذ جون ، وهذا كان
18:51" Math fucking Rocks " .