OpenAI Navier–Stokesni hal qildim deydi. Hukm: TEKSHIRISH KERAK.

Bu video nimani qamrab oladi

• OpenAI: Navier–Stokes portlashi, ~10 000 agent, 88 soat, 130B chiqish tokenlari, Lean-tomonidan tasdiqlangan
• Buckmaster va Alpöge: bir yil davomida bir xil yondashuvda, mish-mish va ikkita taklifli yakshanba kungi qoʻngʻiroq
• Terence Tao: "hatto kimdir muammo ustida ishlayotgani haqidagi mish-mish ham uni tekislash uchun juda katta miqdordagi sun'iy intellektga asoslangan harakatni ishga tushirishi mumkin"
• Jacob Coxon Anthropic'dan iste'foga chiqdi: ikkala laboratoriya ham "oʻz-oʻzini takomillashtiruvchi superintellekt sari toʻgʻri poyga qilmoqda"
• Meta Muse'ni chiqardi: WhatsApp'da oʻzining bulutli VM'ida joylashgan shaxsiy agent, faqat AQSHda

Tarjima qilingan transkript

Asl inglizcha hikoyadan tarjima qilingan. Mavjud audio va subtitrlar YouTube tomonidan boshqariladi.

0:00 Kecha, OpenAI oʻzining sun'iy intellekti Mingyillik mukofoti muammosini hal qilganini e'lon qildi, toʻqson yil ochiq boʻlgan, bir million dollar, sakson sakkiz soat ichida, va bir yil davomida shu muammo ustida ishlagan ikki matematik bu haqda bilib oldi yakshanba kungi telefon qoʻngʻirogʻida, ulardan birining soʻzlariga koʻra, quyidagilar boʻlgan: nima uchun siz karerangizni barbod qilasiz? Bu uzoq dushanba edi. Tongda NYU professori e'lon qildi toʻrt sahifali bayonot; oʻn olti yuz ball Hacker News'da. Tushdan keyin OpenAI isbotni e'lon qildi.

0:26 Kechqurun Terence Tao ochiq muammolar endi qayta tiklanmaydigan resurs kabi qazib olinayotganini aytdi va bir kechada Anthropic tadqiqotchisi X'da ishdan boʻshadi, qirq toʻrt million koʻrish, chunki ikkala laboratoriya ham, iqtibos, hayotimiz bilan qimor oʻynayapti. Shuningdek, Meta WhatsApp'da yashovchi va oʻzining kompyuteriga ega boʻlgan shaxsiy agentini chiqardi. Ushbu videoda: isbot, telefon qoʻngʻirogʻi, izoh, va Terence Tao laboratoriyalar eshitishini istagan gap.

0:49 Bugun chorshanba, 9-sentyabr va bu The Daily Diff. Avvalo matematika. Navier–Stokes suyuqliklarning harakatlanishini tasvirlaydi va 1934-yildan beri hech kim silliq 3D suyuqlik yakka nuqtaga urilib ketishi mumkinmi yoki yoʻqmi bilmas edi: cheklangan vaqtda tezlik cheksizlikka chiqishi. OpenAI tizimi ha deydi. Haraksizlik holatidan boshlang, silliq kuch qoʻllang, energiyani cheklang, va bir girdob spagetti kabi ichkariga burilib, tezlik portlab ketadi. Clay formulasi C va D bayonotlari, Lean'da,

1:16 tasdiqlash uchun oʻn yetti soat Astra. Shunday qilib, suyuqliklar portlashi mumkin, bu MacBook'iga kofe toʻkkan har bir kishi bilgan, lekin endi bu Lean'da. Qanday qilib: OpenAI'da Astra'dan sezilarli darajada qobiliyatliroq deb ataydigan yangi ichki modeli bor, va 1-sentyabrda ular ikki Mingyillik muammosi hal qilingani haqida mish-mishni eshitishdi, shuning uchun ular uni har bir ochiq muammoga yoʻnaltirdilar. Navier–Stokes guruhi: oʻn mingga yaqin bir vaqtning oʻzida ishlaydigan agentlar, yuz oʻttiz milliard chiqish tokenlari; barcha

1:42 muammolar boʻyicha uch yuz milliard. Astra roʻyxat narxlarida, bir million dollarlik mukofot uchun oʻn besh million dollarlik tokenlar OpenAI da'vo qilmasligini aytadi, va bu marjada, kim da'vo qilardi. Boshqa tomon. NYU'dan Tristan Buckmaster va Anthropic'da ishlaydigan Levent Alpöge, bir yil davomida Córdoba va Martínez-Zoroa'ning Claude va Codex bilan yondashuvini qoʻllab-quvvatladilar, Buckmasterning oʻz tadqiqot fondlaridan OpenAI'ga toʻlab. 15-avgustda ular Euler tenglamalari uchun portlashni topdilar; Buckmaster birinchi LLM isbotini u oʻqigan eng dahshatli deb ataydi,

2:10 va u 22-avgustda Lean'da tasdiqlandi. Keyin mish-mish tarqaldi va 3-sentyabrda u OpenAI'ga elektron pochta orqali yozdi: bu biz, bu shaxsiy, tez orada e'lon qilamiz. Yakshanba kuni 12:45 da OpenAI bugun istalgan vaqtda uchrashishni soʻradi, va Sébastien Bubeck qoʻshildi. Buckmasterga model juda kam inson ishtiroki bilan majburiy Navier–Stokesni isbotlagani aytildi, bu qoʻngʻiroq davomida butun jamoaga aylandi, avval osonroq muammolar, Codex tomonidan yozilgan taklif va behisob miqdordagi

2:36 hisoblash quvvati. U birinchi taklif qachon yuborilganini soʻradi. Oxir-oqibat: soʻnggi bir necha kun ichida, bizning ishimiz haqidagi ma'lumotlar OpenAI'ga yetib borganidan keyin. Ikkita taklif keldi. Birinchisi: siz Euler'ni e'lon qilasiz, biz Navier–Stokesni ertasi kuni e'lon qilamiz. Ikkinchisi: faqat Buckmaster OpenAI isbotini yozadi, va, u aytadi, Bubeck Alpöge'ni Anthropic'da ishlagani uchun ikkilanib hujjatdan chiqarmoqchi boʻlgan. U rad etdi va buni ommaga e'lon qilishini aytdi. Javob, bayonotga koʻra: nima uchun karerangizni barbod qilasiz,

3:00 keyin: agar men yaxshi boʻlishimni istamasangiz, men yaxshi boʻlishim shart emas. Odatda ot boshining karavotda paydo boʻlishidan oldingi satr. OpenAI'ning versiyasi: hech kim ularning ishini koʻrmagan, foydalanuvchi ma'lumotlariga kirish imkoni boʻlmagan, va, izoh, ular professorlarning mahsulotlaridan foydalanishidan olingan shaxssizlashtirilgan ma'lumotlar modelni yaxshilashga yordam berganini istisno qila olmaydilar. professorlarning mahsulotlaridan foydalanishidan olingan shaxssizlashtirilgan ma'lumotlar modelni yaxshilashga yordam berganini istisno qila olmaydilar. Alpöge'ning sharhi: toʻgʻridan-toʻgʻri rostini aytganlari uchun ularga hurmat. Sam Altman hamma halollik va saxovat bilan ish tutganini va boshqa jamoa

3:25 asossiz plagiat ayblovlari bilan tahdid qilganini aytdi, bitta i harfi bilan yozilgan. Shunday qilib, rasmiy pozitsiya: biz sizning uy vazifangizni koʻchirmadik, biz siz uy vazifasi qilayotganingizni eshitdik. Terence Tao professorlarning natijasini ajoyib deb atadi va Buckmaster uni telefon orqali tushuntirganini ta'kidladi, bu sun'iy intellektga asoslangan aloqa usullaridan tetiklantiruvchi oʻzgarish. Keyin, toʻrtta post: yaxshi ochiq muammolar endi qazib olinmoqda qayta tiklanmaydigan resurs kabi, hatto kimdir biror narsa ustida ishlayotgani haqidagi mish-mish ham uni tekislash uchun katta sun'iy intellekt harakatini qoʻzgʻatadi, shuning uchun tadqiqot

3:55 yoʻnalishlarini baham koʻrishni toʻxtatishga undaydi, asrlar davomida ochiq fan tamoyilini oʻzgartirib. Uchta guruh bir hafta oxirida suyuqlik portlashini e'lon qildi; keyingi maqola NDA boʻlishi mumkin. Bu Jacob Coxon iste'foga chiqqan holat: uch yil davomida OpenAI, keyin Anthropicda oldindan oʻqitish; u aytadi, ikkala kompaniya ham mas'uliyatli ish tutmayapti, ikkalasi ham oʻz-oʻzini takomillashtiruvchi superintellektga qarab poyga qilmoqda, va yakuniy oʻyin xususiy kompaniyaning Slack'idan boshlanmasligi kerak. Qirq toʻrt million koʻrish, bir laboratoriya oʻn ming agentni bir mish-mish ustiga qoʻygan kuni,

4:21 shuning uchun bu ip jonli namoyish bilan chiqarildi. Shu bilan birga, Meta Muse'ni chiqardi: oʻzining bulutli VM'ida oʻz brauzeri bilan shaxsiy agent, va siz u bilan WhatsApp'da gaplashasiz. Faqat AQSHda, koʻp narsalar uchun bepul. Meta bu yil oxirida hatto Meta ham oʻqiy olmaydigan versiyani va'da qiladi, bu yilni tasvirlashning juda oʻziga xos usuli. Hacker News'ning eng yaxshi izohi: Men oʻz hayotimni Meta bilan bunday boʻlishishni istamayman. Ikkinchisi: u menga doim kolyaska sotishga urinmoqda.

4:45 Agar buni men aytganimdan koʻra oʻqishni afzal koʻrsangiz, farq har kuni ertalab pochta qutingizga tushadi — daily diff dot dev'da bepul, havola pastda. Shunday qilib — bugungi hukm: tekshirish kerak. Isbot tuziladi; hikoya esa yoʻq. Oʻn ming agentning toʻqson yillik muammoni bir hafta oxirida hal qilishi bu yilning qobiliyat natijasi; bu haqda eshitgan ikki kishiga yakshanba kungi telefon qoʻngʻirogʻi orqali e'lon qilish esa emas. bu haqda eshitgan ikki kishiga yakshanba kungi telefon qoʻngʻirogʻi orqali e'lon qilish esa emas.

5:07 Va bugun uchun farq shu. Men Axrisi'dan Nikoman. Mas'uliyat bilan birlashtiring.

Manbalar

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