OpenAI می‌گوید معادله ناویه-استوکس را حل کرده است. حکم: NEEDS REVIEW.

این ویدیو چه مواردی را پوشش می‌دهد

• OpenAI: انفجار ناویه-استوکس، حدود 10,000 عامل، 88 ساعت، 130 میلیارد توکن خروجی، تأیید شده توسط Lean
• Buckmaster و Alpöge: یک سال روی همان رویکرد، یک شایعه، و یک تماس یکشنبه با دو پیشنهاد
• Terence Tao: "حتی شایعه کار کردن کسی روی یک مسئله می‌تواند مقدار زیادی تلاش مبتنی بر هوش مصنوعی را برای حل آن تحریک کند."
• Jacob Coxon از Anthropic استعفا می‌دهد: هر دو آزمایشگاه "مستقیماً به سمت ابرهوش خودبهبود دهنده مسابقه می‌دهند."
• متا Muse را SHIP IT کرد: یک عامل شخصی روی VM ابری خودش، در واتس‌اپ، فقط در ایالات متحده

رونوشت ترجمه شده

ترجمه شده از روایت اصلی انگلیسی. صوت و زیرنویس‌های موجود توسط YouTube کنترل می‌شوند.

0:00 دیروز، OpenAI اعلام کرد که هوش مصنوعی آن یک مسئله جایزه هزاره را حل کرده است، نود سال باز، یک میلیون دلار، در هشتاد و هشت ساعت، و دو ریاضیدانی که یک سال روی همین مسئله کار کرده بودند، درباره آن اطلاع پیدا کردند در یک تماس تلفنی یکشنبه که، به گفته یکی از آنها، شامل این بود: چرا شما شغلتان را خراب می‌کنید؟ دوشنبه طولانی بود. سحرگاه یک استاد دانشگاه NYU مطلبی پست کرد یک بیانیه چهار صفحه‌ای؛ شانزدهصد امتیاز در Hacker News. بعدازظهر OpenAI اثبات را منتشر کرد.

0:26 عصر Terence Tao گفت مسائل باز اکنون مانند یک منبع تجدیدناپذیر استخراج می‌شوند، و یک شب یک محقق Anthropic در X استعفا داد، چهل و چهار میلیون بازدید، زیرا هر دو آزمایشگاه، به نقل از او، با جان ما قمار می‌کنند. همچنین، متا یک عامل شخصی را SHIP IT کرد که در واتس‌اپ زندگی می‌کند و کامپیوتر خودش را دارد. در این ویدئو: اثبات، تماس تلفنی، پاورقی، و جمله‌ای که Terence Tao می‌خواهد آزمایشگاه‌ها بشنوند.

0:49 چهارشنبه، 9 سپتامبر است و این The Daily Diff است. اول ریاضیات. ناویه-استوکس نحوه حرکت سیالات را توصیف می‌کند، و از سال 1934 هیچ کس نمی‌دانست که آیا یک سیال 3D صاف می‌تواند به یک تکینگی برخورد کند: سرعت در زمان محدود به بی‌نهایت می‌رسد. سیستم OpenAI می‌گوید بله. در حالت سکون شروع کنید، یک نیروی صاف اعمال کنید، انرژی را محدود نگه دارید، و یک گرداب به سمت داخل مانند اسپاگتی می‌پیچد تا سرعت منفجر شود. بیانیه‌های C و D از فرمول‌بندی Clay، در Lean،

1:16 هفده ساعت Astra برای تأیید. پس سیالات می‌توانند منفجر شوند، که هر کسی که قهوه روی مک‌بوک ریخته بود می‌دانست، اما حالا در Lean است. چگونه: OpenAI یک مدل داخلی جدید دارد که آن را به طور قابل توجهی توانمندتر از Astra می‌نامد، و در 1 سپتامبر آنها شایعه‌ای شنیدند که دو مسئله هزاره حل شده بودند، بنابراین آن را به سمت هر مسئله باز نشانه گرفتند. گروه ناویه-استوکس: حدود ده هزار عامل همزمان، صد و سی میلیارد توکن خروجی؛ سیصد میلیارد در مجموع برای همه

1:42 مسائل. با قیمت‌های فهرست Astra، پانزده میلیون دلار توکن برای یک جایزه یک میلیون دلاری که OpenAI می‌گوید ادعا نخواهد کرد، و با این حاشیه سود، چه کسی ادعا خواهد کرد. طرف دیگر. Tristan Buckmaster در NYU و Levent Alpöge، که در Anthropic کار می‌کند، یک سال را صرف پیگیری رویکردی از Córdoba و Martínez-Zoroa با Claude و Codex کردند، با پرداخت به OpenAI از بودجه تحقیقاتی خود Buckmaster. در 15 آگوست آنها انفجار را برای معادلات اویلر به دست آوردند؛ Buckmaster اولین اثبات LLM را وحشتناک‌ترین چیزی که تا به حال خوانده است می‌نامد،

2:10 و آن در Lean در 22 آگوست تأیید شد. سپس یک شایعه پخش شد، و 3 سپتامبر او به OpenAI ایمیل زد: این ماییم، این شخصی است، ما به زودی پست خواهیم کرد. یکشنبه ساعت 12:45 OpenAI درخواست ملاقات در هر زمانی امروز را داد، و Sébastien Bubeck به آن پیوست. به Buckmaster گفته شد که مدل ناویه-استوکس اجباری را با ورودی انسانی بسیار کمی اثبات کرده است، که در طول تماس تبدیل به یک تیم کامل شد، ابتدا مسائل آسان‌تر، یک پرامپت نوشته شده توسط Codex، و مقدار دیوانه‌کننده‌ای از

2:36 محاسبات. او پرسید چه زمانی اولین پرامپت ارسال شد. در نهایت: در چند روز گذشته، پس از اینکه اطلاعات کار ما به OpenAI رسیده بود. دو پیشنهاد به دنبال آن آمد. یک: شما اویلر را پست می‌کنید، ما روز بعد ناویه-استوکس را پست می‌کنیم. دو: Buckmaster به تنهایی اثبات OpenAI را می‌نویسد، و، او می‌گوید، Bubeck دو بار Alpöge را از مقاله خارج کرد زیرا او در Anthropic کار می‌کند. او رد کرد و گفت که عمومی خواهد کرد. پاسخ، طبق بیانیه: چرا شغلت را خراب می‌کنی،

3:00 سپس: اگر نمی‌خواهی مهربان باشم، لازم نیست مهربان باشم. معمولاً خط درست قبل از اینکه سر اسب در تخت ظاهر شود. نسخه OpenAI: هیچ کس کار آنها را ندید، هیچ داده کاربری دسترسی پیدا نکرد، و، پاورقی، آنها نمی‌توانند رد کنند که داده‌های ناشناس شده از استفاده اساتید از محصولاتشان به بهبود مدل کمک کرده است. بررسی Alpöge: به آنها به خاطر صداقتشان تبریک می‌گویم. سم آلتمن می‌گوید همه با صداقت و سخاوت عمل کردند و تیم دیگر

3:25 اتهامات بی‌اساس سرقت ادبی، با یک i نوشته شده، تهدید کرد. بنابراین موضع رسمی: ما تکالیف شما را کپی نکردیم، ما شنیدیم که شما در حال انجام تکالیف بودید. Terence Tao نتیجه اساتید را قابل توجه خواند و اشاره کرد که Buckmaster آن را تلفنی به او توضیح داد، یک تغییر تازه از روش‌های ارتباطی مبتنی بر هوش مصنوعی. سپس، چهار پست: مسائل باز خوب اکنون مانند یک منبع تجدیدناپذیر استخراج می‌شوند، حتی شایعه کار کردن کسی روی یکی از آنها، یک تلاش عظیم هوش مصنوعی را برای حل آن تحریک می‌کند، بنابراین انگیزه این است که به اشتراک گذاشتن مسیرهای تحقیقاتی را متوقف کنیم،

3:55 که قرن‌ها علم باز را معکوس می‌کند. سه گروه در یک آخر هفته انفجار سیال را پست کردند؛ مقاله بعدی ممکن است یک NDA باشد. که این حال و هوایی است که Jacob Coxon به دلیل آن استعفا داد: سه سال پیش‌آموزشی در OpenAI، سپس Anthropic؛ او می‌گوید هیچ یک از شرکت‌ها مسئولانه عمل نمی‌کنند، هر دو به سمت ابرهوش خودبهبود دهنده مسابقه می‌دهند، و پایان بازی نباید از اسلک یک شرکت خصوصی آغاز شود. چهل و چهار میلیون بازدید، در روزی که یک آزمایشگاه ده هزار عامل را روی یک شایعه گذاشت،

4:21 بنابراین رشته با یک دمو زنده منتشر شد. در همین حال، متا Muse را SHIP IT کرد: یک عامل شخصی روی VM ابری خودش با مرورگر خودش، و شما در واتس‌اپ با آن صحبت می‌کنید. فقط ایالات متحده، برای اکثر موارد رایگان. متا وعده یک نسخه را می‌دهد که حتی متا هم نمی‌تواند آن را بخواند، اواخر امسال، یک روش بسیار خاص برای توصیف امسال. نظر برتر Hacker News: من نمی‌خواهم زندگی‌ام را اینگونه با متا به اشتراک بگذارم. دوم: مدام سعی می‌کند به من یک کالسکه بفروشد.

4:45 اگر ترجیح می‌دهید این را بخوانید تا اینکه من آن را بگویم، The Daily Diff هر روز صبح به صندوق ورودی شما می‌رسد — رایگان در thedailydiff.dev، لینک زیر. بنابراین — حکم امروز: نیاز به بررسی دارد. اثبات کامپایل می‌شود؛ داستان کامپایل نمی‌شود. ده هزار عامل که یک مسئله نود ساله را در یک آخر هفته حل می‌کنند، نتیجه قابلیت سال است؛ اعلام آن با یک تماس تلفنی یکشنبه به دو نفری که از آنها در مورد آن شنیدید، نیست.

5:07 و این The Daily Diff امروز است. من نیکو از 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