OpenAI deyir ki, Navier-Stokes tənliyini həll edib. Qərar: NƏZƏRDƏN KEÇİRİLMƏLİDİR.

Bu videoda nələr əhatə olunur

• OpenAI: Navier–Stokes partlaması, ~10.000 agent, 88 saat, 130 milyard çıxış tokeni, Lean-təsdiqli
• Buckmaster və Alpöge: eyni yanaşma üzərində bir il, bir şayiə və iki təkliflə bazar günü zəngi
• Terence Tao: "hətta kimsə bir problem üzərində işləyir kimi bir şayiə belə, onu "yarıb keçmək" üçün böyük miqdarda süni intellektə əsaslanan səyləri tətikləyə bilər"
• Jacob Coxon Anthropic-dən istefa verdi: hər iki laboratoriya "özünü təkmilləşdirən superintellektə doğru yarışır"
• Meta Muse-u buraxdı: öz bulud VM-ində, WhatsApp-da, yalnız ABŞ-da fəaliyyət göstərən şəxsi agent

Tərcümə olunmuş transkript

Orijinal ingilis dilindəki nəqldən tərcümə edilmişdir. Mövcud audio və subtitrlər YouTube tərəfindən idarə olunur.

0:00 Dünən OpenAI, süni intellektinin Minillik Mükafat problemini həll etdiyini elan etdi, doxsan ildir həll olunmamış, bir milyon dollar dəyərində, səksən səkkiz saat ərzində, və eyni problem üzərində bir il işləmiş iki riyaziyyatçı bu barədə bazar günkü telefon danışığı zamanı xəbər tutdu, onlardan birinin dediyinə görə, danışığa bunlar daxil idi: niyə sən karyeranı məhv edirsən? Uzun bir bazar ertəsi idi. Səhər tezdən bir NYU professoru dörd səhifəlik bir bəyanat yerləşdirdi; Hacker News-də on altı yüz bal. Günorta OpenAI sübutu yerləşdirdi.

0:26 Axşam Terence Tao açıq problemlərin indi bərpa olunmayan bir resurs kimi "mənimləndirildiyini" bildirdi və gecə bir Anthropic tədqiqatçısı X-də istefa verdi, qırx dörd milyon baxışla, çünki hər iki laboratoriya, sitat gətirərək, həyatlarımızla qumar oynayır. Həmçinin, Meta WhatsApp-da yaşayan və öz kompüteri olan şəxsi bir agent buraxdı. Bu videoda: sübut, telefon zəngi, "alt qeyd", və Terence Taonun laboratoriyaların eşitməsini istədiyi cümlə. Bu, sentyabrın 9-u, çərşənbə günüdür və bu The Daily Diff-dir.

0:49 Əvvəlcə riyaziyyat. Navier-Stokes mayelərin necə hərəkət etdiyini təsvir edir və 1934-cü ildən bəri heç kim bir hamar 3D mayenin bir təkliyə çatıb-çatmayacağını bilmirdi: sürət sonlu müddətdə sonsuzluğa gedir. OpenAI-nin sistemi bəli deyir. Sükunətdə başlayın, hamar bir qüvvə tətbiq edin, enerjini sonlu saxlayın, və bir burulğan spagetti kimi içəriyə doğru spiral çəkərək sürət partlayana qədər davam edir. Clay formulasiyasının C və D bəyanatları, Lean-də, təsdiq etmək üçün on yeddi saat Astra.

1:16 Beləliklə, mayelər partlaya bilər, bu hər hansı bir MacBook-a qəhvə tökən adamın bildiyi bir şeydir, amma indi bu Lean-dədir. Necə: OpenAI-nin Astra-dan əhəmiyyətli dərəcədə daha qabiliyyətli adlandırdığı yeni bir daxili modeli var, və sentyabrın 1-də iki Minillik problemin həll edildiyi barədə bir şayiə eşitdilər, beləliklə onu hər bir açıq problemə yönəltdilər. Navier-Stokes qrupu: təxminən on min paralel agent, yüz otuz milyard çıxış tokeni; bütün problemlər üzrə üç yüz milyard. Astra-nın siyahı qiymətləri ilə, bir milyon dollarlıq mükafat üçün on beş milyon dollarlıq tokenlər, OpenAI onu tələb etməyəcəyini deyir,

1:42 və bu marjada, kim tələb edər. Digər tərəf. NYU-dan Tristan Buckmaster və Anthropic-də işləyən Levent Alpöge, Claude və Codex ilə Córdoba və Martínez-Zoroanın yanaşmasını irəli sürmək üçün bir il sərf etdilər, Buckmasterin öz tədqiqat fondlarından OpenAI-yə ödəniş edərək. Avqustun 15-də Euler tənlikləri üçün partlama əldə etdilər; Buckmaster ilk LLM sübutunu indiyə qədər oxuduğu ən dəhşətli adlandırır və bu, avqustun 22-də Lean-də təsdiqləndi. Sonra bir şayiə yayıldı və sentyabrın 3-də o, OpenAI-yə e-poçt göndərdi: bizik, bu şəxsidir, tezliklə yerləşdirəcəyik.

2:10 Bazar günü saat 12:45-də OpenAI bu gün istənilən vaxt görüşməyi xahiş etdi, və Sébastien Bubeck qoşuldu. Buckmasterə modelin "çox az insan müdaxiləsi ilə" məcburi Navier-Stokes-i sübut etdiyi söylənildi, bu isə danışıq əsnasında bütün bir komandaya, əvvəlcə daha asan problemlərə, Codex tərəfindən yazılmış bir göstərişə və inanılmaz miqdarda hesablama gücünə çevrildi. O, ilk göstərişin nə vaxt göndərildiyini soruşdu. Nəhayət: son bir neçə gün ərzində, işimiz haqqında məlumat OpenAI-yə çatdıqdan sonra. İki təklif gəldi. Bir: siz Euler-i yerləşdirirsiniz, biz ertəsi gün Navier-Stokes-i yerləşdiririk.

2:36 İki: tək Buckmaster OpenAI sübutunu yazır və o deyir ki, Bubeck iki dəfə Alpöge-ni "kağızdan" çıxarmaq istədi, çünki o, Anthropic-də işləyirdi. O, imtina etdi və ictimaiyyətə açıqlayacağını bildirdi. Cavab, bəyanata görə: niyə karyeranı məhv edirsən, sonra: əgər mənim "xoş" olmağımı istəmirsinizsə, mən "xoş" olmaq məcburiyyətində deyiləm. Normalda bir atın başı yataqda görünməzdən əvvəlki cümlədir. OpenAI-nin versiyası: heç kim onların işini görməyib, heç bir istifadəçi məlumatına daxil olunmayıb, və, "alt qeyd", onlar professorların öz məhsullarından istifadəsindən alınan şəxsiyyəti müəyyən edilməmiş məlumatların modeli təkmilləşdirməyə kömək etdiyini istisna edə bilməzlər.

3:00 Alpöge-nin rəyi: birbaşa təmiz gəldiklərinə görə onlara təşəkkürlər. Sam Altman deyir ki, hər kəs dürüstlüklə və səxavətlə hərəkət etdi və digər komanda bir "i" ilə yazılan əsasız plagiat ittihamları ilə hədələdi. Beləliklə, rəsmi mövqe: biz sizin ev tapşırığınızı kopyalamadıq, biz sizin ev tapşırığı etdiyinizi eşitdik. Terence Tao professorların nəticəsini diqqətəlayiq adlandırdı və Buckmasterin telefonla ona izah etdiyini qeyd etdi, bu, süni intellektə əsaslanan

3:25 ünsiyyət metodlarından təravətləndirici bir dəyişiklikdir. Sonra, dörd yazı: yaxşı açıq problemlər indi bərpa olunmayan bir resurs kimi "mənimləndirilir", hətta kimsə biri üzərində işləyir kimi bir şayiə belə onu "yarıb keçmək" üçün böyük bir süni intellekt səyini tətikləyir, buna görə də təşviq araşdırma istiqamətlərini paylaşmağı dayandırmaqdır, əsrlərlə davam edən açıq elmi tərsə çevirməkdir. Üç qrup bir həftə sonu maye partlamasını yerləşdirdi; növbəti kağız bir NDA ola bilər. Bu isə Jacob Coxonun isteifa verdiyi əhval-ruhiyyədir: üç il OpenAI-də, sonra Anthropic-də "pretraining"; o deyir ki, heç bir şirkət məsuliyyətli hərəkət etmir, hər ikisi özünü təkmilləşdirən superintellektə doğru yarışır,

3:55 və "oyunun sonu" özəl bir şirkətin Slack-dən başlamamalıdır. Bir laboratoriyanın on min agenti bir şayiəyə yönəltdiyi gün qırx dörd milyon baxış, beləliklə "thread" canlı demo ilə birlikdə buraxıldı. Bu vaxt, Meta Muse-u buraxdı: öz bulud VM-ində öz brauzeri olan şəxsi bir agent və siz WhatsApp-da onunla danışırsınız. Yalnız ABŞ, əksər şeylər üçün pulsuz. Meta, bu ilin sonunda, hətta Meta-nın belə oxuya bilməyəcəyi bir versiya vəd edir, bu ili təsvir etməyin çox spesifik bir yolu.

4:21 Hacker News-də ən çox oxunan şərh: Mən həyatımı Meta ilə bu şəkildə paylaşmaq istəmirəm. İkinci: o, mənə həmişə uşaq arabası satmağa çalışır. Əgər bunu mənim deməyimdən daha çox oxumaq istəyirsinizsə, diff hər səhər sizin gələn qutunuza düşür — thedailydiff.dev ünvanında pulsuz, link aşağıdadır. Beləliklə — bugünkü qərar: nəzərdən keçirilməlidir. Sübut tərtib olunur; hekayə isə yox. On min agentin doxsan illik bir problemi bir həftəsonu həll etməsi ilin

4:45 qabiliyyət nəticəsidir; bu barədə eşitdiyiniz iki nəfərə bazar günü telefon zəngi ilə elan etmək isə yox. Və bugünkü fərq bu qədərdir. Mən Axrisi-dən Nikon. Məsuliyyətlə birləşdirin. OpenAI: Navier–Stokes blow-up, ~10,000 agents, 88 hours, 130B output tokens, Lean-verified Buckmaster and Alpöge: a year on the same approach, a rumor, and a Sunday call with two offers Terence Tao: "even the rumor of someone working on a problem can trigger a massive amount of AI-powered effort to flatten it" Jacob Coxon resigns from Anthropic: both labs are "racing straight to self-improving superintelligence"

5:07 Meta ships Muse: a personal agent on its own cloud VM, in WhatsApp, US only Yesterday, OpenAI announced its AI solved a Millennium Prize problem, ninety years open, one million dollars, in eighty-eight hours,

Mənbələr

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