Free YouTube Transcribe

Video transcript

OpenAI DESTROZA un PROBLEMA del Milenio (Navier-Stokes)

Math Rocks · 3,100 words · 15 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

¡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 " .

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.