OpenAI تقول إنها حلت معادلات نافييه-ستوكس. الحكم: NEEDS REVIEW.

ما يغطيه هذا الفيديو

• OpenAI: انفجار نافييه-ستوكس، حوالي 10,000 وكيل، 88 ساعة، 130 مليار توكن إخراج، تم التحقق منه بواسطة Lean
• باكماستر وألبوج: عام على نفس النهج، إشاعة، ومكالمة يوم الأحد مع عرضين
• تيرينس تاو: "حتى الإشاعة عن شخص يعمل على مشكلة يمكن أن تثير كمية هائلة من الجهد المدعوم بالذكاء الاصطناعي لتسويتها"
• يعقوب كوكسون يستقيل من Anthropic: كلا المختبرين "يتسابقان مباشرة نحو ذكاء خارق ذاتي التحسين"
• Meta تصدر Muse: وكيل شخصي على VM سحابي خاص به، في واتساب، الولايات المتحدة فقط

النص المترجم

مترجم من السرد الإنجليزي الأصلي. يتم التحكم في الصوت والتعليقات التوضيحية المتاحة بواسطة YouTube.

0:00 بالأمس، أعلنت OpenAI أن ذكاءها الاصطناعي حل مشكلة جائزة الألفية، مفتوحة منذ تسعين عامًا، بمليون دولار، في ثمانٍ وثمانين ساعة، والعالمان الرياضيات اللذان قضيا عامًا على نفس المشكلة علما بذلك في مكالمة هاتفية يوم الأحد، وفقًا لأحدهما، تضمنت: لماذا ستدمر مسيرتك المهنية؟ كان يوم اثنين طويل. عند الفجر، نشر أستاذ من جامعة نيويورك بيانًا من أربع صفحات؛ ستمائة نقطة على Hacker News. بعد الظهر، نشرت OpenAI الإثبات.

0:26 في المساء، قال تيرينس تاو إن المشاكل المفتوحة أصبحت الآن تُستخرج كمورد غير متجدد، وفي الليل استقال باحث في Anthropic على X، أربعة وأربعون مليون مشاهدة، لأن كلا المختبرين، على حد قوله، يغامران بحياتنا. أيضًا، أصدرت Meta وكيلًا شخصيًا يعيش في واتساب ولديه جهازه الكمبيوتر الخاص. في هذا الفيديو: الإثبات، المكالمة الهاتفية، الحاشية، والجملة التي يريد تيرينس تاو أن يسمعها المختبرات.

0:49 إنه الأربعاء، 9 سبتمبر، وهذا هو The Daily Diff. الرياضيات أولاً. تصف معادلات نافييه-ستوكس كيفية تحرك السوائل، ومنذ عام 1934 لم يعرف أحد ما إذا كان سائل ثلاثي الأبعاد أملس يمكن أن يصل إلى تفرد: سرعة تتجه إلى اللانهاية في وقت محدود. نظام OpenAI يقول نعم. ابدأ من السكون، طبق قوة سلسة، حافظ على الطاقة محدودة، وتلتف دوامة إلى الداخل كالمعكرونة حتى تنفجر السرعة. البيانات C و D من صياغة كلاي، في Lean،

1:16 سبعة عشر ساعة من Astra للتحقق. إذن يمكن للسوائل أن تنفجر، وهو ما عرفه أي شخص سكب القهوة على جهاز MacBook، ولكنه الآن في Lean. كيف: لدى OpenAI نموذج داخلي جديد تسميه أكثر قدرة بكثير من Astra، وفي 1 سبتمبر سمعوا إشاعة بأن مشكلتين من الألفية قد تم حلهما، لذا وجهوه إلى كل مشكلة مفتوحة. مجموعة نافييه-ستوكس: حوالي عشرة آلاف وكيل متزامن، مائة وثلاثون مليار توكن إخراج؛ ثلاثمائة مليار عبر جميع

1:42 المشاكل. بأسعار قائمة Astra، خمسة عشر مليون دولار من التوكنات لجائزة مليون دولار تقول OpenAI إنها لن تطالب بها، وبهذا الهامش، من سيفعل. الجانب الآخر. تريستان باكماستر في جامعة نيويورك وليفنت ألبوج، الذي يعمل في Anthropic، أمضوا عامًا يدفعون نهجًا لكوردوبا ومارتينيز-زوروا مع Claude و Codex، يدفعون لـ OpenAI من أموال باكماستر البحثية الخاصة. في 15 أغسطس، حصلوا على انفجار لمعادلات أويلر؛ يصف باكماستر إثبات الـ LLM الأول بأنه الأكثر فظاعة الذي قرأه على الإطلاق،

2:10 وتم التحقق منه في Lean في 22 أغسطس. ثم انتشرت إشاعة، وفي 3 سبتمبر أرسل رسالة إلكترونية إلى OpenAI: إنه نحن، إنها شخصية، سننشر قريبًا. يوم الأحد في الساعة 12:45 طلبت OpenAI الاجتماع في أي وقت اليوم، وانضم سيباستيان بوبيك. قيل لباكماستر إن النموذج أثبت معادلات نافييه-ستوكس القسرية بمدخلات بشرية قليلة جدًا، والتي تحولت خلال المكالمة إلى فريق كامل، مشاكل أسهل أولاً، موجه مكتوب بواسطة Codex، وكمية جنونية من

2:36 العمليات الحسابية. سأل متى تم إرسال الموجه الأول. في النهاية: في الأيام القليلة الماضية، بعد أن وصلت معلومات حول عملنا إلى OpenAI. تبع ذلك عرضان. الأول: أنت تنشر أويلر، ونحن ننشر نافييه-ستوكس في اليوم التالي. الثاني: يكتب باكماستر وحده إثبات OpenAI، و يقول، أراد بوبيك مرتين إبعاد ألبوج عن الورقة لأنه يعمل في Anthropic. رفض وقال إنه سيعلن الأمر. الرد، وفقًا للبيان: لماذا ستدمر مسيرتك المهنية،

3:00 ثم: إذا كنت لا تريد مني أن أكون لطيفًا، فلن أكون لطيفًا. عادةً ما يظهر الخط مباشرة قبل أن يظهر رأس الحصان في السرير. نسخة OpenAI: لم ير أحد عملهم، ولم يتم الوصول إلى بيانات المستخدم، وحاشية، لا يمكنهم استبعاد أن البيانات غير المحددة الهوية من استخدام الأساتذة لمنتجاتهم ساعدت في تحسين النموذج. مراجعة ألبوج: تحية لهم على الاعتراف بالحقائق مباشرة. سام ألتمان يقول إن الجميع تصرفوا بـ نزاهة وكرم وأن الفريق الآخر

3:25 هدد باتهامات لا أساس لها بالانتحال، مكتوبة بحرف i واحد. إذن الموقف الرسمي: لم ننسخ واجباتكم، سمعنا أنكم تقومون بواجباتكم. وصف تيرينس تاو نتيجة الأساتذة بأنها رائعة وأشار إلى أن باكماستر شرحها له عبر الهاتف، وهو تغيير منعش عن طرق الاتصال القائمة على الذكاء الاصطناعي. ثم، أربع منشورات: المشاكل المفتوحة الجيدة تُستخرج الآن كمورد غير متجدد، حتى إشاعة عن شخص يعمل على واحدة تثير جهدًا هائلاً من الذكاء الاصطناعي لتسويتها، لذا الحافز هو التوقف عن مشاركة اتجاهات البحث،

3:55 عكس قرون من العلم المفتوح. ثلاث مجموعات نشرت انفجار السوائل في عطلة نهاية أسبوع واحدة؛ قد تكون الورقة التالية اتفاقية عدم إفشاء. وهذا هو المزاج الذي استقال فيه يعقوب كوكسون: ثلاث سنوات من التدريب المسبق في OpenAI، ثم Anthropic؛ لا تعمل أي من الشركتين بمسؤولية، يقول، كلاهما يتسابقان نحو ذكاء خارق ذاتي التحسين، ولا ينبغي إطلاق نهاية اللعبة من Slack لشركة خاصة. أربعة وأربعون مليون مشاهدة، في اليوم الذي وضع فيه مختبر عشرة آلاف وكيل على إشاعة،

4:21 لذا تم إطلاق الموضوع مع عرض حي. في غضون ذلك، أصدرت Meta Muse: وكيل شخصي على VM سحابي خاص به مع متصفح خاص به، وتتحدث إليه في واتساب. الولايات المتحدة فقط، مجاني لمعظم الأشياء. تعد Meta بإصدار لا تستطيع Meta قراءته، في وقت لاحق من هذا العام، طريقة محددة جدًا لوصف هذا العام. التعليق الأعلى على Hacker News: لا أريد مشاركة حياتي مع Meta هكذا. الثاني: يستمر في محاولة بيع عربة أطفال لي.

4:45 إذا كنت تفضل قراءة هذا بدلاً من سماعي أقوله، فإن التحديث يصل إلى بريدك الوارد كل صباح — مجانًا على the daily diff dot dev، الرابط أدناه. إذن — حكم اليوم: NEEDS REVIEW. الإثبات يتوافق؛ القصة لا تتوافق. عشرة آلاف وكيل يغلقون مشكلة عمرها تسعون عامًا في عطلة نهاية أسبوع هو نتيجة القدرة لهذا العام؛ الإعلان عنها بمكالمة هاتفية يوم الأحد للشخصين اللذين سمعت عنهما ليس كذلك.

5:07 وهذا هو الفرق لليوم. أنا نيكو من Axrisi. ادمج بمسؤولية.

المصادر

1. OpenAI: On the Navier–Stokes Millennium Prize Problemopenai.com
2. OpenAI Lean formalizationgithub.com
3. Tristan Buckmaster, statement (PDF)cims.nyu.edu
4. HN: Buckmaster statementnews.ycombinator.com
5. HN: OpenAI postnews.ycombinator.com
6. Terence Tao on the Alpöge–Buckmaster resultmathstodon.xyz
7. Terence Tao: open problems mined non-renewablymathstodon.xyz
8. HN: Tao threadnews.ycombinator.com
9. Clay Mathematics Institute: Navier–Stokes problem statementwww.claymath.org
10. GPT-6 Astra pricing (used for the token-bill arithmetic)openai.com
11. Jacob Coxon's resignation threadx.com
12. HN: I resigned from Anthropic todaynews.ycombinator.com
13. Meta: Introducing Museabout.fb.com
14. Museai.meta.com
15. HN: Musenews.ycombinator.com